Cansu Erdogan

From FSL
Revision as of 22:43, 8 April 2013 by Cerdoga2 (Talk | contribs)

Jump to: navigation, search

About

I am a first year M.S. student at UIUC Computer Science. I work with Prof. Grigore Rosu in Formal Systems Laboratory. I received my B.S. in Computer Engineering from Koc University, Istanbul, Turkey.

Currently, I am working on giving proper semantics to JavaScript and software memory transactions using K framework.

Contact

2111 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801

cerdoga2@illinois.edu

Personal tools
Namespaces

Variants
Actions
Navigation