# People

$\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.

## Students and Researchers

• Chris Hathhorn
• Lucas Pena
• Manasvi Saxena