Difference between revisions of "Formal Systems Laboratory"

From FSL
Jump to: navigation, search
Line 17: Line 17:
  
 
|}
 
|}
<private>[http://fsl.cs.uiuc.edu/index.php?title=Special%3AAllPages&from=&to=&namespace=102 Private Pages]</private>
 
 
 
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
 
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
 
:* foundational and theoretical models,
 
:* foundational and theoretical models,
Line 25: Line 23:
 
all aiming at increasing the quality of computing systems.
 
all aiming at increasing the quality of computing systems.
 
|}
 
|}
 
+
<private>[http://fsl.cs.uiuc.edu/index.php?title=Special%3AAllPages&from=&to=&namespace=102 Private Pages]</private>
 
+
 
{{Header | Current Research Areas}}
 
{{Header | Current Research Areas}}
  

Revision as of 19:30, 26 April 2013


Quick Links Downarrow.png

K

Matching Logic -- Online-sm.JPG

MOP

Circ -- Online-sm.JPG

Welcome to the Formal Systems Laboratory (FSL) of the Department of Computer Science at the University of Illinois at Urbana-Champaign (UIUC). FSL was founded in 2002 by Grigore Rosu, when he joined UIUC (from NASA Ames). In the FSL, we design and develop

  • foundational and theoretical models,
  • specification and programming languages, techniques and methodologies, as well as
  • software analysis prototypes and tools,

all aiming at increasing the quality of computing systems.

Current Research Areas
Programming Language Design and Semantics
Runtime Verification
Behavioral Specification


News

2017-11-02: Everett Hildenbrandt presents the KEVM work at Devcon3, video here.
2017-10-12: 25px-Zip_icon.png PPTX Info_circle.png Grigore Rosu gave an invited talk at LOPSTR'17.
2017-10-03: Everett Hildenbrandt and Grigore Rosu and K in CLICK! article.
2017-07-20: Everett Hildenbrandt won the IC3-Ethereum Cryto Bootcamp first-place for the KEVM semantics project [1].
2017-05-17: P4K was presented at P4 Workshop 2017.

[ all news ]

Personal tools
Namespaces

Variants
Actions
Navigation