2,618 reputation
117
bio website
location Oxford, United Kingdom
age
visits member for 7 months
seen 8 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.


65
× 20
17
× 6
25
× 11
13
22
12
× 2
21
11
× 5
21
10
× 2

97 Votes Cast

all time   by type   month  
95 up 31 question 5
2 down 66 answer