program transformations

Darko Marinov

Darko Marinov

Darko Marinov

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).

Biography:

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.

Syndicate content