Mihaela Sighireanu is a French and Romanian computer scientist specializing in

model checking In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification (also known as correctness). This is typically associated with hardware or software systems ...

and

software verification Software verification is a discipline of software engineering whose goal is to assure that software fully satisfies all the expected requirements. Broad scope and classification A broad definition of verification makes it equivalent to software t ...

. She works as a professor at

Paris-Saclay University Paris-Saclay University (french: Université Paris-Saclay) is a public research university based in Paris, France. It is one of the 13 prestigious universities that emerged from the division of the University of Paris, also known as the Sorbonne. ...

and as a member of the Formal Methods Lab run jointly by Paris-Saclay University,

CNRS The French National Centre for Scientific Research (french: link=no, Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 ...

, and the

École normale supérieure Paris-Saclay The École normale supérieure Paris-Saclay (also ENS Paris-Saclay or Normale Sup' Paris-Saclay), formerly ENS Cachan, is a grande école and a constituent member of Paris-Saclay University. It was established in 1892. It is located in Gif-sur-Yv ...

Education and career

Sighireanu was born in Romania, and holds French and Romanian dual citizenship. She studied computer science at the

University of Bucharest The University of Bucharest ( ro, Universitatea din București), commonly known after its abbreviation UB in Romania, is a public university founded in its current form on by a decree of Prince Alexandru Ioan Cuza to convert the former Princel ...

, earning a master's degree there in 1994, and then moved to

Joseph Fourier University Joseph Fourier University (UJF, french: Université Joseph Fourier, also known as Grenoble I) was a French university situated in the city of Grenoble and focused on the fields of sciences, technologies and health. It is now part of the Universit ...

(now part of

Grenoble Alpes University The Université Grenoble Alpes (UGA, French: meaning "''Grenoble Alps University''") is a public research university in Grenoble, France. Founded in 1339, it is the third largest university in France with about 60,000 students and over 3,000 resea ...

) for a second master's degree in 1995 and a doctorate in 1999. She earned a habilitation in 2014 through

Paris Diderot University Paris Diderot University, also known as Paris 7 (french: Université Paris Diderot), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 197 ...

. After postdoctoral research at the

French Institute for Research in Computer Science and Automation The National Institute for Research in Digital Science and Technology (Inria) () is a French national research institution focusing on computer science and applied mathematics. It was created under the name ''Institut de recherche en informatiq ...

, she became an assistant professor at Paris Diderot University in 1999 and an associate professor in 2014 at the

University of Paris , image_name = Coat of arms of the University of Paris.svg , image_size = 150px , caption = Coat of Arms , latin_name = Universitas magistrorum et scholarium Parisiensis , motto = ''Hic et ubique terrarum'' (Latin) , mottoeng = Here and a ...

, before moving to her present position at Paris-Saclay University. She has represented Romania as a delegate to

ISO/IEC JTC 1 ISO/IEC JTC 1, entitled "Information technology", is a joint technical committee (JTC) of the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). Its purpose is to develop, maintain and pr ...

, where she contributed to the development of the

E-LOTOS In computer science E-LOTOS (Enhanced LOTOS) is a formal specification language designed between 1993 and 1999, and standardized by ISO in 2001. E-LOTOS was initially intended to be a revision of the LOTOS language standardized by ISO 8807 in 198 ...

standard for formal specifications.

References

External links

Home page
* Year of birth missing (living people) Living people French computer scientists French women computer scientists Romanian computer scientists Romanian women computer scientists University of Bucharest alumni {{France-compu-bio-stub