4,083 reputation
123
bio website
location Oxford, United Kingdom
age
visits member for 10 months
seen 9 hours 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.


103
× 31
23
36
× 13
23
32
× 10
23
24
× 2
22
23
× 2
21

178 Votes Cast

all time   by type   month  
174 up 58 question 2
4 down 120 answer