Mihaela Sighireanu is a French and Romanian computer scientist[1] specializing in model checking and software verification.
[2] Sighireanu was born in Romania, and holds French and Romanian dual citizenship.
[1] After postdoctoral research at the French Institute for Research in Computer Science and Automation, she became an assistant professor at Paris Diderot University in 1999 and an associate professor in 2014 at the University of Paris,[1] before moving to her present position at Paris-Saclay University.
[2] She has represented Romania as a delegate to ISO/IEC JTC 1, where she contributed to the development of the E-LOTOS standard for formal specifications.
This article about a French computer specialist is a stub.