Kyle Blocher

From K Framework
Jump to: navigation, search

Kyle Blocher is a PhD student at University of Illinois at Urbana-Champaign.

Role in the K Framework Project

Improving the usability of K
Define schemas, transmission formats
Design a GUI system for K

Publications Related to the K Framework

Personal tools
Namespaces

Variants
Actions
Navigation