5,964 reputation
734
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 4 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.

Check out my package for multi-author commenting: https://github.com/bordaigorl/latex-commenting


5,964 Reputation

40 Jan 16
20 Jan 15
75 Jan 14
10 Jan 8
10 Jan 5
10 Jan 2
10 Dec 28 '14
15 Dec 15 '14
60 Dec 10 '14
72 Dec 8 '14
30 Dec 7 '14
35 Dec 6 '14
65 Dec 2 '14
10 Nov 25 '14
10 Nov 23 '14
30 Nov 22 '14
15 Nov 18 '14
10 Nov 12 '14
10 Nov 11 '14
20 Nov 5 '14
10 Nov 4 '14
10 Nov 3 '14
30 Oct 23 '14
35 Oct 22 '14
10 Oct 19 '14
25 Oct 18 '14
125 Oct 17 '14
110 Oct 16 '14
10 Oct 12 '14
15 Oct 10 '14