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.)
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.
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).
- Problem solving
- Algorithms design
- Distributed systems
- Theoretical computer science, discrete maths
- Formal Methods
- Program verification
- Model-checking (finite, infinite, timed systems)
- Static analysis
- Software Development