Welcome to Florentin Ipate's web page!

• Professor in the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest

• Managing Director of IfSoft, Bucharest.

• Home page: http://www.ifsoft.ro/~florentin.ipate/

• Email:   florentin.ipate@ifsoft.ro

• Agent-based Modelling

• Model based Testing

• Modelling, Verification and Testing of Biology-inspired Computing Systems

• Evolutionary testing from Event-B and state-based models

• Agile Modelling and Testing

• PhD in Computer Science, University of Sheffield, UK. PhD Thesis, Theory of X-machines with Applications in Specification and Testing (supervisor Professor Mike Holcombe), nominated for the Distinguished Dissertation Award in UK.

• MSc in Software Systems Technology (with Distinction) University of Sheffield, UK.

• BSc in Computer Science and Automatic Control, "Politehnica" University of Bucharest, Romania.

• Honorary Invited Professor of the Xihua University, Chengudu, China, 2010.

• In Hoc Signo Vinces Prize for research and publications awarded by the National Research Council, Romania, 2002.

• COPYRO Publishing Prize for Computer Science, Romania, 2000.

• PhD Research Scholarship awarded by the University of Sheffield, 1992-1995.

• Deploy

• EvoMT