K Developer Interviewed in Illinois Paper

Posted on February 14, 2017 by Brandon Moore

Posted in News

A local paper, the News-Gazette interviewed Cosmin Radoi. He has contributed to the K framework for  several years while studying at UIUC with Grigore Rosu. Cosmin's latest project Kale uses the rewriting approach of the K framework to suggest program transformations and improvements, instead of using it to examine how programs execute according to a formal language semantics, as in RV-Match and much of the academic work with K. We wish Cosmin well in his own efforts to provide powerful software development tools.

News-Gazette Interview


company mission and vision news team careers publications presentations videos faq Embedded Systems Blockhain Advisory Services Smart Contract Verification Protocol Verification Formal Design and Modeling The IELE Virtual Machine Partnerships contact media kit blog