Difference between revisions of "Cansu Erdogan"

From FSL
Jump to: navigation, search
Line 1: Line 1:
 +
== 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.
 
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 software memory transactions using K framework.
 
Currently, I am working on giving proper semantics to 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

Revision as of 07:36, 7 November 2012

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 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