People

From K Framework

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

• Grigore Rosu (Urbana, USA)
• Dorel Lucanu (Iasi, Romania)

Development Lead

• Traian Florin Serbanuta

Students and Researchers

• Andrei Arusoaie

• Chucky Ellison

• David Lazar

• Radu Mereuta

Close Collaborators

• Mihail Asavoae

• Irina Asavoae

• Kyle Blocher

• Peter Dinges

• Gheorghe Grigoras

• Patrick Meredith

• Vlad Rusu

• Andrei Stefanescu

Former Members

• Feng Chen

• Mark Hills

• Michael Ilseman