Home      |      Projects & Grants      |      Publications      |      Professional Activities      |      Google Scholar      |      Contact

Welcome to Florentin Ipate's web page!

  • I am a Full Professor in the Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest.

  • I hold a PhD in Computer Science from the University of Sheffield (PhD Thesis, "Theory of X-machines with Applications in Specification and Testing", supervisor Professor Mike Holcombe, nominated for the Distinguished Dissertation Award in UK), an MSc in Software Systems Technology (with Distinction) from the same university and an MEng in Computer Science and Automatic Control from the Politehnica University of Bucharest.

  • I have been local PI in the EU collaborative RTD projects DEPLOY and GAIA and PI in the nationally funded research projects MACPS, MuVeT and EvoMT. I have published over 120 research papers and a research monograph with Springer. I am the managing director and founder of the IFSoft software company.

  • My main research interests are in Formal Methods in Software Engineering, Model-based Testing, Search-based Software Testing, Natural Computing and its applications. Please feel free to contact me if you are interested in studying for a PhD.