Marius Minea

Ph.D. Student, Computer Science

Office: Wean Hall 7120
Office Address
Carnegie Mellon University
School of Computer Science
5000 Forbes Avenue
Pittsburgh, PA 15213-3891
phone: +1 412 268-7673, fax: +1 412 268-5576
Home Address
5807 Ellsworth Ave. #3
Pittsburgh, PA 15232-1707
phone: +1 412 661-4546


My main interest is in methods for formal verification of computer systems, specifically model checking. I have been investigating techniques for efficient verification and performance analysis of systems for which temporal properties are essential. My thesis topic is the combination of symbolic techniques with partial order reduction to the verification of real-time systems and combine the efficiency gain of both methods. My overall goal is to increase the applicability of formal verification techniques to industrial-size systems.
For papers or more information you can look at the CMU model checking project home page.


Where I come from
I was born in Timisoara, Romania, and did my undergraduate studies in the Department of Computer Science and Engineering at the Technical University of Timisoara. If you're interested, you might take a look at the Romania home page or the Timisoara home page.
What I like (among others)
Back to the local SCS home page or the official SCS Front Door.