5,387 reputation
533
bio website
location Oxford, United Kingdom
age
visits member for 1 year, 1 month
seen 10 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,387 Reputation

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
120 Sep 18
20 Sep 16
70 Sep 15
12 Sep 11
20 Sep 10
5 Sep 7
10 Sep 5
20 Sep 4
32 Sep 1