Department of Computer Science
University of Illinois at Urbana-Champaign
3116 Siebel Center
201 N. Goodwin Ave.
Urbana, IL 61801, USA
phone: none in office (email me or call my cell)
email: email@example.com why mailto?
Short Bio: Darko Marinov is an Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. His main research interests are in Software Engineering: improving software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings). He has a lot of fun looking for software bugs. He published over 50 conference papers, including three that won the ACM SIGSOFT Distinguished Paper awards, of which one also won the ACM SIGSOFT Impact Paper Award (2012). He received an NSF CAREER award (2008), an Illinois CAS Beckman Fellowship (2010-2011), and an Illinois DCS C.W. Gear Outstanding Junior Faculty Award (2010). His work has been supported by IBM, Intel, Microsoft, NSF, and Samsung.
Additional Affiliations: Darko is a member of the Programming Languages, Formal Methods, and Software Engineering (PL-FM-SE) area and the Information Trust Institute at the University of Illinois at Urbana-Champaign.
Previously: Darko was an Assistant Professor until August 2011. He obtained his Ph.D. from MIT in 2005, advised by Martin Rinard. As a PhD student, Darko co-led the MulSaw project with Sarfraz Khurshid, and the two have collaborated ever since, with at least one joint paper per year in DBLP since 2001. Darko obtained his S.M. in Computer Science from MIT for work on Credible Compilation and his B.S. in Computer Science and Engineering from the School of Electrical Engineering at the University of Belgrade, Yugoslavia. His first research experience was at the University of Illinois at Chicago in 1995, when he visited as an undergrad through the (Yugoslav Student) Summer Program.