From K Framework
Revision as of 16:19, 14 September 2017 by Grosu (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Join the K Team!

\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