Marius Minea

Marius Minea's research lies at the intersection of formal verification, security, and software engineering. He applies techniques grounded in formal methods to analyze the correctness and security of software systems, including protocols, web applications and services. He has worked on formally modeling security properties and attacks, extracting abstract verifiable models from programs, and is particularly interested in detecting program errors and vulnerabilities.

Minea joined the Manning College of Information and Computer Sciences (CICS) in 2018 and has been associate professor in the Department of Computer and Software Engineering at the Politehnica University of Timisoara, Romania. From 2000 to 2001 he worked as a postdoctoral researcher at the University of California, Berkeley.

Minea has coauthored papers that won Best Paper Awards at Euro-VHDL 1992 and 1994, and received a Romanian student-voted national teaching award ("Bologna Professor") in 2015. Marius was a PC co-chair for the International Conference on Risks and Security of Internet and Systems (CRiSIS) in 2010, and serves on the PC of conferences and as reviewer for journals in formal methods, security, and software engineering.