Faculty Recruiting Support CICS

Marius Minea

Senior Teaching Faculty
(413) 545-1734


Formal methods with focus on model checking, program analysis, modeling and verification of security protocols, symbolic execution and testing.


Marius' 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.


Marius Minea received his Diploma-Engineer (Honors) title in Computer Science and Engineering in 1993 from the Faculty of Automation and Computers, Technical University of Timisoara, Romania. In 1995 he received his M.S. and in 1999 his Ph.D. in Computer Science at Carnegie Mellon University. In 2000-2001 he was a postdoctoral researcher at the University of California, Berkeley. Since 2002 he has been Associate Professor in the Department of Computer and Software Engineering at the Politehnica University of Timisoara, Romania. He joined UMass in September 2018 as Senior Lecturer.

Activities & Awards

Marius has co-authored 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.