8,901 reputation
15 44

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 (159)

Score 209
Posts 52
Posts % 29
Score 84
Posts 17
Score 73
Posts 17
Score 37
Posts 6
Score 24
Posts 6
Score 22
Posts 12

Top Posts (179) All Questions Answers | Votes Newest

View all questions and answers

Badges (59)

Gold
Silver 15

Rarest

Bronze 44

Rarest