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

Development Lead

Students and Researchers

Close Collaborators

Former Members

Personal tools