Difference between revisions of "Manasvi Saxena"

From FSL
Jump to: navigation, search
(Created page with "=== 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 Scien...")
 
Line 1: Line 1:
 
=== About ===
 
=== 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.
+
I'm a first year MS student advised by 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 ===
 
=== Contact ===

Revision as of 01:52, 19 September 2016

About

I'm a first year MS student advised by 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