Wednesday, July 16, 2008

Highland workshop on XML, Logic, and Automata

I'll be attending Highlands Workshop on XML, Logic, and Automata organized by Leonid from tomorrow until this Sunday. The venue is actually quite interesting: a small town in the Highlands called Grantown-on-spey. I'm just hoping that they have a grocery store :) I will give a presentation on recurrent reachability in regular model checking based on this paper. Anyway, I'll post a summary of the workshop later on this week.

About Me

Welcome to my blog! By profession, I am a computer scientist researching in the development of principled techniques that can make software less error-prone, and more efficient. To this end, I look at fields like constraint solving, program analysis, and formal verification, web security, web performance optimisation, and concurrent systems. My secret weapons include automata, logic, algorithms, complexity, and computability.