Associate Professor of Computer Science
URL:Darko Marinov's Website
Research Interests:Software reliability; software testing and model checking for sequential, parallel, and distributed code; and program transformations (refactorings).
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 35 conference papers, including three that won the ACM SIGSOFT Distinguished Paper awards. 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.
Previously, Marinov was an Assistant Professor until August 2011. He obtained his Ph.D. from MIT in 2005, advised by Martin Rinard. As a PhD student, Marinov 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. Marinov 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.