Computer Science
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl's user avatar
Bordaigorl
  • Member for 9 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
425
reputation
2k
reached
2
answers
1
question
Communities
View all
About

I am a post-doctoral fellow in Theoretical Computer Science at Imperial College London.

My research interests are Semantics, Programming Languages, Model Checking, Static Analysis, Abstract Interpretation, Concurrency, Process Algebra, Declarative Programming.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
14
bronze badges
Top tags
View all tags
5
Score
1
Posts
33
Posts %
5
Score
1
Posts
33
Posts %
5
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
4
Score
1
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
question
20
Recipe book for SAT encodings?
Oct 9, 2014
answer
5
Terminologies of "Process calculus" and "Process algebra"
Oct 9, 2014
answer
4
Pi Calculus: Restriction necessary for molecular (atomic) action?
Sep 24, 2015
Top network posts
View all network posts
147
How to insert page number in Beamer navigation symbols?
83
draw colored world/US map in LaTeX
31
How to center one node exactly between two others with TikZ?
30
matlab2tikz logo
30
How to draw Bar & Pie Chart

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.