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
- 109 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
- 23 What is the typographically correct way to typeset name initials?
- 23 How to center one node exactly between two others with TikZ?
- View more network posts →