5,512 reputation
634
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 2 months
seen 1 hour 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,512 Reputation

10 2 days ago
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
15 Sep 27
182 Sep 26
70 Sep 25
10 Sep 24
10 Sep 23
10 Sep 20