banner

Menu:

What's new:

Jul 31, 2010:
Music Pills #1 & #2
From TV Studio workshop in Russia

May 15, 2010:
Jake's Game (movie)
24 hour film race project

Dec 24, 2009:
The Devil in The Detail
Released the director's cut online [watch it]

Computer Science

My primary professional focus has been in Formal Verification, a branch of Computer Science that attempts to mathematically prove correctness of code (software or hardware alike). You can find some of the legacy I have left behind while pursuing my scientific path: