User Profile
Add Friend
Track User
Send Message
Send V-Gift
I never post here.
really, pretty much never.
Created on 2005-07-23 13:38:14 (#7815402), last updated 2008-07-27
314 comments received, 5,150 comments posted
Basic Account [Gift]
59 Journal Entries, 1 Tag, 0 Memories, 1 Virtual Gift, 5 Userpics
Basic Info| Name: | Erin |
|---|---|
| Location: | United States |
BioI suppose this is where I am supposed to put a paragraph of declarative sentences beginning with "I". I have just written one - or is it two now?. I will possibly add more in the future.
ConnectInterests (88):
LaTeX, abstract interpretation, acl2, algorithms, artificial intelligence, automated reasoning, automated theorem proving, axiomatic semantics, belief revision, bookstores, caffeine, caml light, carnegie mellon, category theory, classical logic, cmu, coffee, computability, computational logic, constructive logic, coq, curry-howard isomorphism, denotational semantics, domain theory, formal logic, formal verification, free software, functional programming, fyodor dostoyevsky, gabriel garcia marquez, gnu, gödel, haskell, hol, intuitionistic logic, isabelle, knowledge representation, lambda calculus, leo tolstoy, lf, libraries, linear logic, linux, lisp, logic, logic programming, logical frameworks, mathematical induction, mathematical logic, mathematics, metamathematics, ml, modal logic, monads, museums, ocaml, open source, operational semantics, organizing, philosophy, philosophy of mathematics, philosophy of mind, pittsburgh, procrastinating, programming, programming languages, programming semantics, proof theory, proof-carrying code, proofs, propositions-as-types, quizbowl, scheme, semantic analysis, sml, sml-nj, standard ml, structural induction, thomas mann, turing, type safety, type theory, types, unix, vegetarianism, waterskiing, wikipedia, wrct
External Services:
 | ekorber@livejournal.com | |
 | aCleverEpithet |  |
 | ekorber@gmail.com | |
Schools:
Spencerport High School - Spencerport, NY (1997 - 2001)Carnegie Mellon University - Pittsburgh, PA (2001 - 2005)
Friends [View Entries] Friends (32):
abooth, ajawa_took, buffo_alto, calmathgeek, catamorphism, cdbarker, chamois, chrisamaphone, easwaran, eigenvalue, ekorber, gibbedman, gilt, jcreed, jholomorphic, lode, lowenheimskolem, mattdawgfunk, mizmoose, muffinsicon, muppetmayhem, oxeador, quale, rdore, roofpig13, shaktool, stalkingmsd, sweetorsavory, theponchokid, unclebrady, vespa331, whittikerowens
Mutual Friends (28):
abooth, ajawa_took, buffo_alto, calmathgeek, catamorphism, cdbarker, chrisamaphone, easwaran, eigenvalue, ekorber, gibbedman, gilt, jcreed, jholomorphic, lowenheimskolem, mizmoose, muffinsicon, muppetmayhem, oxeador, quale, rdore, roofpig13, shaktool, stalkingmsd, sweetorsavory, theponchokid, unclebrady, whittikerowens
Communities [View Entries] Watching (1):
Feeds [View Entries] Watching (6):
