Marius Minea

Ph.D. Student, Computer Science

E-mail: marius+@cs.cmu.edu
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

Research

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.

Personal

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)

classical music. Here's a link to the Pittsburgh Symphony home page
hiking, skiing and mountaineering. Take a look at the CMU Explorers Club.
volleyball. If you're in SCS and would like to play, send me mail.
ballroom dancing. Here's info on the CMU Ballroom Dancing Club.

Back to the local SCS home page or the official SCS Front Door.

marius+@cs.cmu.edu