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

Grigore Rosu

Profile Photo
Professor, Computer Science
Ph.D. in Computer Science, University of California at San Diego, 2000

Professor Rosu is interested in software in a broad sense. He has worked on the following subjects.

  • Design, semantics, and implementation of programming and specification languages.
  • Automated software engineering and formal methods, especially "push-button" techniques for certification, monitoring, synthesis, and modularization.
  • Automated reasoning about computer systems, applications of logics, and theorem proving.
(217) 244-7431
grosuatillinois [dot] edu