Information Trust Institute block of abstract images
Information Trust Institute block of abstract images

Darko Marinov

Profile Photo
Professor, Computer Science
2005 Ph.D., Computer Science, Massachusetts Institute of Technology, Cambridge, MA

Prof. Marinov's main research interests are in software engineering and programming languages, with emphasis on improving software reliability. He is interested in all aspects of rich specification languages and checking code conformance, both dynamically (software testing, run-time verification) and statically (theorem proving, model checking, program analysis). He is also interested in compilers, particularly in correctness of analyses and optimizations.

(217) 265-6117
marinovatillinois [dot] edu