8,301 reputation
13 41

Bordaigorl

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

Top Tags (154)

Score 197
Posts 50
Posts % 30
Score 73
Posts 17
Score 71
Posts 17
Score 31
Posts 5
Score 23
Posts 6
Score 20
Posts 12

Top Posts (169) All Questions Answers | Votes Newest

View all questions and answers

Badges (54)

Gold
Silver 13

Rarest

Bronze 41

Rarest