Darko Marinov

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 65 conference papers, winning four ACM SIGSOFT Distinguished Paper awards, one ACM SIGSOFT Impact Paper Award (2012), and one ASE Most Influential Paper Award (2015). He received an NSF CAREER award (2008), an Illinois CAS Beckman Fellowship (2010-2011), an Illinois DCS C.W. Gear Outstanding Junior Faculty Award (2010), and an Illinois Engineering Council Award for Excellence in Advising (2014). His work has been supported by Google, IBM, Intel, Microsoft, NSF, and Samsung.