Marius Minea

Marius Minea is Senior Lecturer in Computer Science at the University of Massachusetts Amherst and holds a position in the Manning College of Information and Computer Sciences. He previously served as Associate Professor at the Politehnica University of Timişoara, Romania (2002–2018) and conducted postdoctoral research at UC Berkeley (2000–2001). His academic ranks include Senior Teaching Faculty and Senior Lecturer roles.

Education:

• PhD, Computer Science, Carnegie Mellon University, 1999
• MS, Computer Science, Carnegie Mellon University, 1995
• Diploma-Engineer, Computer Science and Engineering, Technical University of Timişoara, 1993

Research: Focuses on formal verification (model checking), security, and software engineering. He applies formal methods to analyze software correctness and security, with work on symbolic execution, fuzzing, and program vulnerability detection. Notable projects include SPaCIoS (EU FP7), AVANTSSAR (EU FP7), and CONQUERS (Romanian grant).

Awards:

• Best Paper Awards at Euro-VHDL (1992, 1994)
• Romanian national teaching award (Bologna Professor, 2015)
• PC co-chair for CRiSIS 2010 and reviewer for formal methods/security journals

Teaching:

• Recent courses: COMPSCI 220 (Programming Methodology), 311 (Algorithms), 575 (Combinatorics), H311 (Honors Algorithms)
• Course design emphasizes programming methodology, testing, and software engineering principles

Professional Activities: Active in conferences like ARTIST2/FP7, and research networks on formal verification and embedded systems design.