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
- 115 How to insert page number in Beamer navigation symbols?
- 76 draw colored world/US map in LaTeX
- 30 matlab2tikz logo
- 29 How to draw Bar & Pie Chart
- 26 Your best snowflake with Tikz
- 24 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 →