Welcome to the '''''Formal Systems Laboratory (FSL)''''' of the [http://cs.uiuc.edu Department of Computer Science] at the [http://illinois.edu University of Illinois at Urbana-Champaign] (UIUC). FSL was founded in 2002 by [[Grigore Rosu]], when he joined UIUC. In the FSL, we design and develop

+

Welcome to the '''''Formal Systems Laboratory (FSL)''''' of the [http://cs.uiuc.edu Department of Computer Science] at the [http://illinois.edu University of Illinois at Urbana-Champaign] (UIUC). FSL was founded in 2002 by [[Grigore Rosu]], when he joined UIUC (from [http://www.nasa.gov/centers/ames/home/index.html NASA Ames]). In the FSL, we design and develop

:* theoretical models,

:* theoretical models,

:* specification and programming languages and methodologies, as well as

:* specification and programming languages and methodologies, as well as