101 reputation
2
bio website cs.ox.ac.uk/people/…
location Oxford, United Kingdom
age
visits member for 11 months
seen Feb 13 at 2:05

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
TeX - LaTeX 6,236 rep 735
Computer Science 191 rep 6
Ask Ubuntu 108 rep 6
Stack Overflow 101 rep 3
Photography 101 rep 2

5 Votes Cast

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