Bordaigorl
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.
0
answers
1
question
~526
people reached
-
London, UK
-
Member for 7 years, 5 months
-
2 profile views
-
Last seen Jul 3 '19 at 21:08
Communities (11)
Top network posts
- 117 How to insert page number in Beamer navigation symbols?
- 77 draw colored world/US map in LaTeX
- 30 matlab2tikz logo
- 29 How to draw Bar & Pie Chart
- 26 Your best snowflake with Tikz
- 25 How to center one node exactly between two others with TikZ?
- 23 What is the typographically correct way to typeset name initials?
- View more network posts →
Top tags (2)
Score
0
Posts
1
Score
0
Posts
1
Badges (11)
Gold
—
Silver
7