People - c-semantics - Semantics of C in the K Framework

| Sign in

Project Home Downloads Wiki Issues Source

Summary People

1 - 5 of 5

Project People

Name	Role	Duties	Notes
cmelliso	Owner	Lead Developer	Chucky Ellison is a PhD candidate at the University of Illinois. http://fsl.cs.uiuc.edu/~celliso2
grigore....@gmail.com	Owner	Lead by providing a project vision and roadmap	Grigore Rosu is an associate professor at UIUC. http://fsl.cs.uiuc.edu/grosu
Traian.S...@gmail.com	Committer	----	----
andreis...@gmail.com	Committer	----	----
k-l...@cs.uiuc.edu	Committer	----	----

1 - 5 of 5