Manasvi Saxena

From FSL
Revision as of 01:50, 19 September 2016 by Msaxena2 (Talk | contribs)

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

About

I'm a first year MS student under Prof. Grigore Rosu, currently working on the debugging capabilites of the K Framework. I graduated with a BS in Computer Science, from UIUC in 2015.

Contact

2107 Thomas M. Siebel Center for Computer Science, 201 N. Goodwin Avenue, Urbana, IL 61801

email - msaxena2@illinois.edu

Personal tools
Namespaces

Variants
Actions
Navigation