Mihaela Sighireanu
Professor at ENS Paris-Saclay
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolMihaela Sighireanu is a professor of computer science based in Paris with over two decades of academic and research experience specializing in formal methods and algorithmic verification. Her work spans logic, automata, Petri nets, process algebra and rewriting, with a recent focus on automated solvers for program logics such as first-order logic on arrays, separation logic and feature tree logic. She has a strong record of turning theory into prototypes, implementing static analysis and constraint-solving tools in C, C++ and OCaml. Before joining ENS Paris-Saclay she spent more than 20 years as faculty and researcher at University of Paris Diderot and INRIA, blending teaching, publication and tool development. Known for rigorous, application-oriented research, she connects deep formal foundations with practical verification techniques like abstract interpretation, symbolic execution and test generation.
11 years of coding experience
22 years of employment as a software developer
DEA, DEA at DEA, Université de GrenobleHabilitation, Computer Science, Habilitation, Computer Science at Université Denis Diderot (Paris VII)Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of GrenobleIngénieur, Ingénieur at Université Politehnica Bucarest
English, Romanian, French
Github Skills (33)
simultaneous9
smt-lib9
parse8
ocaml8
opam7
functor7
parser7
theorem-proving6
package-manager6
agda6
homotopy-type-theory5
dependent-types5
git5
grammars4
compiler4
Programming languages (3)
Github contributions (5)
mihasighi/smtcomp14-sl
May 2018 - Jun 2018
Contributions:20 commits, 20 pushes in 1 month
mihasighi/slcomp18
Feb 2018 - Mar 2019
Contributions:25 pushes, 1 branch in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.