People

From K Framework
Jump to: navigation, search

\mathbb{K} was initiated by Grigore Rosu in 2003 and it has been continuously developed since then jointly with his FSL research group at the University of Illinois at Urbana-Champaign, USA. Starting with 2010, the K framework is being developed jointly by the FSL group at UIUC together with the FMSE group led by Dorel Lucanu at the Alexandru Ioan Cuza University of Iasi, Romania.

Project Leaders

Students and Researchers

  • Chris Hathhorn
  • Lucas Pena
  • Manasvi Saxena

Close Collaborators

Former Members

Personal tools
Namespaces

Variants
Actions
Navigation