I’m a logician working in mathematics and philosophy. PhD Candidate at ILLC, University of Amsterdam.
Professor Emeritus, Emory University, Atlanta, GA, USA
Computer science teacher, author, blogger, speaker, nice guy.
Googler and Haskeller. Please note that the opinions/facts presented do not necessarily reflect the opinion/views of my employer and affiliated groups.
Assistant Professor at @serg_delft. I like: Presenting, spreadsheets, running, software engineering, research, lindyhop, Lego Mindstorms, XBox and movies.
manic pixie lambda girl. writing a book for learning Haskell: http://haskellbook.com. i like children, mountains, beer, and Boolean logic.
Haskell programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, Bahá’í, and lover of philosophy.