Michael Ilseman

From FSL
Jump to: navigation, search
FullMichael.JPG

Researcher under Grigore Rosu.

Contents

Research

I am interested in programming language semantics, runtime verification, and software engineering.

Additional Information

Curriculum Vitae

Affiliation

Formal Systems Laboratory
Department of Computer Science
University of Illinois at Urbana-Champaign

Contact Data

2107 Siebel Center
201 N. Goodwin, Urbana, IL, 61801
email: ilseman2@illinois.edu
Personal tools
Namespaces

Variants
Actions
Navigation