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.
Top network posts
- 100 How to insert page number in Beamer navigation symbols?
- 72 draw colored world/US map in LaTeX
- 30 matlab2tikz logo
- 26 Your best snowflake with Tikz
- 25 How to draw Bar & Pie Chart
- 23 What is the typographically correct way to typeset name initials?
- 22 How to center one node exactly between two others with TikZ?
- View more network posts →