4,185 reputation
124
bio website
location Oxford, United Kingdom
age
visits member for 11 months
seen 4 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

186 Votes Cast

all time   by type   month   week  
182 up 59 question 8 6
4 down 127 answer