5,789 reputation
734
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 3 months
seen 13 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,789 Reputation

15 Dec 15
60 Dec 10
72 Dec 8
30 Dec 7
35 Dec 6
65 Dec 2
10 Nov 25
10 Nov 23
30 Nov 22
15 Nov 18
10 Nov 12
10 Nov 11
20 Nov 5
10 Nov 4
10 Nov 3
30 Oct 23
35 Oct 22
10 Oct 19
25 Oct 18
125 Oct 17
110 Oct 16
10 Oct 12
15 Oct 10
55 Oct 9
20 Oct 8
10 Oct 7
25 Oct 6
2 Oct 1
70 Sep 29
55 Sep 28