CV

Summary

I am an expert in formal methods, modelling and verification. I have excellent problem-solving skills and my software engineering background ranges from discrete mathematics to programming (including assembly languages). I have advanced knowledge in the following areas: discrete mathematics, advanced algorithms, programming (imperative, functional), modelling and verification of software systems.

I have experience in developing industrial-strength software (e.g. the Goanna static analysis tool while I was at NICTA/Red Lizards) and leading small research teams (research on the Goanna project, static analysis tool Skink at Macquarie University). I have a passion for tackling hard problems and provide complete solutions to them. This involves developing the necessary theoretical framework and algorithms through to the implementation. I have great communication skills (oral and written) as well as a strong team spirit.

According to Google Scholar, my h-index is larger or equal to 27, with a total of more than 2600 citations.

I have published more than 20 journal papers, including TCS, IEEE, more than 40 international conference papers, 4 book chapters and was PC chair (and co-editor of the proceedings) of two leading international conferences (FORMATS’2008, http://formats08.inria.fr and ATVA’2014 in Sydney, http://www.atva-conferences.org.)

Education

• September 2007: “Habilitation à Diriger les Recherches” (HDR), University of Nantes (France).

• March 1993: PhD in Computer Science, École Centrale de Nantes & University of Nantes, France.

• September 1990: MSc in Computer Science, University of Nantes & École Centrale de Nantes, France.

• June 1990: Graduated from École Centrale de Nantes (France), French engineering Degree, specialisation in Computer Science and Data Processing, summa cum laude.

Work experience

• July 2019 to present: Applied Researcher, PegaSys/ConsenSys.

• January 2015 to July 2019: Associate Professor, Department of Computing, Macquarie University. Software Engineering program director.

• February 2012 to December 2014: Principal Researcher at NICTA (Sydney, Neville Roach Laboratory); Conjoint Associate Professor at UNSW (appointed June 2012). I was working 80% of my time for Red Lizards (a NICTA spin-off) developping the static tool Goanna.

• September 2010 to August 2011: Marie Curie Research Fellow and Research Scientist at the French National Centre for Scientific Research (CNRS). I was with the Institut de Recherche en Communication et Cybernétique de Nantes (IRCCyN), France.

• September 2008 to August 2010: Marie Curie Research Fellow and Research Scientist at CNRS. Seconded to NICTA, Sydney, Australia.

• October 1997 to August 2008: Research Scientist at CNRS. I was with the Institut de Recherche en Communication et Cybern´etique de Nantes (IRCCyN), France.

• September 1993 to September 1997: Assistant Professor, Department of Computer Science, University of Western Brittany, Brest, France.

• October 1990 to August 1993: PhD Research Fellow, CNRS (3-year scholarship).

Skills

• Problem solving
• Algorithms design
• Distributed systems
• Theoretical computer science, discrete maths
• Formal Methods
  • Modelling
  • Program verification
  • Model-checking (finite, infinite, timed systems)
  • Static analysis
• Software Development
  • Scala
  • Dafny