tom7.org - Tom Murphy 7's Invincible Web Page

home > domains > tom7.org

Description: Tom 7's serious web page for graduate school. (But it has fun stuff nonetheless.)

design (78215) pa (5520) pittsburgh (1856) programming languages (129) sml (69) type theory (11) tom murphy (7) tom 7 (1) tom murphy vii (1) cs computer science graduate student cmu (1)

Example domain paragraphs

CS PhD alumnus (2001–2007) Advisors : Bob Harper , Karl Crary Phone : Who uses phones?? Thing disabled in your browser : Javascript Hi I finished grad school! A long time ago! Now I'm just a guy with a PhD , some papers , and a bunch of projects .

I love programming languages to the max. For my research I worked on the ConCert Project , eventually designing and implementing a typed programming language for distributed programming called ML5 . It's based on modal logic and I formalized lots of the proofs in Twelf so they can be verified by our patient and careful friends, computers. Lots of people don't care about programming languages, possibly because they think that all languages are the same, or they don't want help from their patient and careful

I love to make things. For many years, I used to crank out loads of TrueType fonts . I bet you have seen them on posters or T-shirts and not even known it. I also spent a long time writing and recording music in profusion for my album-a-day project or other bands. Like for example I like to make intricate Nintendo-esque songs with primitive waveforms, or bedroom acoustic guitar with my homebrew plugins .

Links to tom7.org (6)



© example3.com 2024