Marius Minea is a senior lecturer in computer science at University of Massachusetts Amherst. His research is at the intersection of formal verification (in particular, model checking), security, and software engineering. His current interests include formal techniques to analyze the correctness and security of software systems, and detection of errors and vulnerabilities using techniques like symbolic execution and fuzzing.
Marius Minea received his M.S. and Ph.D. in computer science at Carnegie Mellon University, and was a postdoctoral researcher at the University of California, Berkeley, and an associate professor at the Politehnica University of Timişoara, Romania.