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.

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

• Google Scholar

• DBLP