Darko Marinov Assistant Professor Department of Computer Science University of Illinois at Urbana-Champaign 3116 Siebel Center 201 N. Goodwin Ave. Urbana, IL 61801 phone: (217) 265-6117 email:

Teaching Fall 2009: CS427: Software Engineering I CS591SE: Software Engineering Seminar Students CV Publications Software: ASTGen JPF Korat ReAssert

Service upcoming: ABZ 2010, ISSTA 2010, MBT 2010, CSTVA 2010, STEP 2010, recent: ASE 2009, ISSRE 2009, SSEAT 2009, ISSTA 2009

My main research interests are in Software Engineering, with emphasis on improving software reliability. I am interested in all aspects of rich specification languages and checking code conformance using software testing, model checking, run-time verification, theorem proving, and program analysis. I am also interested in compilers, particularly in correctness of analyses and transformations.

I was a graduate student in the CS & AI Lab at MIT, where I co-led the MulSaw project. I defended my Ph.D. thesis in 2004. I received my S.M. in Computer Science from MIT for work on Credible Compilation and my B.S. in Computer Science and Engineering from the School of Electrical Engineering at the University of Belgrade, Yugoslavia.

My first research experience was at the University of Illinois (Chicago campus) in 1995, when I visited as an undergrad through the (Yugoslav Student) Summer Program.