101 reputation
1
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age
visits member for 5 months
seen 2 days ago

I am a PhD student with strong interest in research.

My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.


This user has not answered any questions

5 Votes Cast

all time   by type   month  
5 up 3 question 4
0 down 2 answer