I research formal software specification and work with distributed systems. I'm interested in challenges between programming languages and system's performance. Devoted Emacs user, I waste a lot of time customizing and automating my linux environment.
