Upgrade to paid account! Bound to an altar of pain. OOC Cause really, too fun to NOT post XD. You are sexy because you are reserved. You keep most of your passion hidden.

I study static analysis metatheory and formally verified programming. Group at University of Maryland. Most recently I developed Galois Transformers. Ilya Sergey, Dominique Divriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens. Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler.

Do not claim as your own. Credit me, elzisawesome when using on livejournal. No credit is needed when used on an internet site other that livejournal. I really need to start writing in this shieeeeeet. But i probably never will because im a serious procratinator and lurker wtf. Oh btw world ends on wednesday HUZZAH.