6,860 reputation
8 36

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

Score 174
Posts 47
Posts % 32
Score 55
Posts 16
Score 53
Posts 13
Score 29
Posts 5
Score 20
Posts 6
Score 18
Posts 6

Top Posts (148) All Questions Answers | Votes Newest

View all questions and answers

Badges (44)

Gold
Silver 8

Rarest

Bronze 36

Rarest