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 2008: CS527: Advanced Topics in Software Engineering and CS591SE: Software Engineering Seminar

Students: I am always seeking bright, motivated (undergrad or grad) students to work with on projects related to my research interests.

Service upcoming: SAVCBS 2008, ISSTA 2009, ICST 2009, STEW 2009, recent: ISSRE 2008, SSEAT 2008, SIGSOFT FSE 2008, ASE 2008

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.

Curriculum Vitae

Publication List