Frank Pfenning

Frank Pfenning

male
logical frameworks, Twelf, Proof Transformations in Higher-Order Logic, programming language theory, automated deduction, Type theory
Frank Pfenning is a professor of computer science, and adjunct professor in the department of philosophy, at Carnegie Mellon University. He...
Catherine Doyle

Catherine Doyle

female, 19 years old (Canada)
single, high school, atheist, fit, White / Caucasian, Libra
Hello. My name is Catherine -- most people call me Cat, or Doyle. I love music, and Im the drummer in.
Monika Aguirre

Monika Aguirre

female, 20 years old (somewhere hott, New Mexico, United States)
Christian, single, high school, MySpace, likes tv, virgo
Well If you Know anything about me You KNow that I !love! Jesus! he is my ultimate and my everything and I love him and he loves me!!!
Nicolle

Nicolle

female, 19 years old (United Kingdom)
single, high school, Pisces, likes tv, Some college, Black / African descent
Autumn!! yay...
Chelsea Fish

Chelsea Fish

female, 23 years old (Canada)
single, high school, bi, likes tv, White / Caucasian, Slender…likes twelf night (book)
I am in love with Charlie Manson, and Billy Idol and all of the beautiful people of the world. "I kill for pleasure and stalk for fun!".
Kat

Kat

female, 19 years old (Canada)
single, virgo, White / Caucasian, Likes Music, likes books, LAKESHORE CATHOLIC high…likes twelf night (book)
Panic! At The Disco Lyrics.
Tashina

Tashina

female, 23 years old (Cabot, Arkansas, United States)
married, Some college, Taurus, Likes Music, Likes movies, likes books…likes twelf night (book)
I live in Little Rock AR but im From New York. Im stationed here with the Air Force and its not so bad.I Miss the SNOW! I just married the sexiest...
Berto

Berto

male, 21 years old (Portugal)
single, Catholic, black hair, slim, student, brown eyes…likes Oceans Twelf (movie)
Sou amigo do amigo, determinado, um pouco timido as vezes... e sei la k + poxo dizer acerca d mim... more about me add berto_ramalho@hotmail.com...
Oliver

Oliver

male, 20 years old (la capital, Dominican Republic)
single, from New York, black hair, high school graduate, brown eyes, likes tv…likes Oceans Twelf (movie)
honest,dont take shit,very down to earth.If you get to know me well u might find in me a real reliable friend.out of everything else i like having...