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


326
427
votes
40
answers
188k
views
68
104
votes
5
answers
5k
views
17
28
votes
4
answers
4k
views
2
6
votes
0
answers
100
views

TikZ library creation

jun 15 at 18:54 s__C 1,301