4,195 reputation
124
bio website
location Oxford, United Kingdom
age
visits member for 11 months
seen 7 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
× 32
24
36
× 14
24
32
× 10
24
25
× 2
22
24
× 2
21

189 Votes Cast

all time   by type   week  
185 up 60 question 3
4 down 129 answer