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.

Random Musings of Stolen Free Time. Upgrade to paid account! Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away. Writing is a lot like sex. At first you do it because you like it. Then you find yourself doing it for a few close friends and people you like. Being deeply loved by someone gives you strength. While loving someone deeply gives you courage. Is this real life? .

Задание включает 60 вопросов, к каждому из них предложено 4 варианта ответа. На каждый вопрос выберите только один ответ, который вы считаете наиболее полным и правильным.