Morgan Deters

You've reached the work pages of Morgan Deters.

I am was a graduate student in the Distributed Object Computing Laboratory in the Computer Science department at Washington University in St Louis. I'm currently Then I was a postdoc in the Computational Logic group. Now I'm at UPC in the LSI department working with Robert Nieuwenhuis.

In April 2007 I defended a dissertation; so that's that.

Activities, Summer 2008

• I'm giving a tutorial on GCC internals at PLDI 2008 in Tucson with Ron Cytron
• I'm co-organizer of SMT-COMP once again this year

How to get to something more exciting...

• Programming Language Seminars
• Courses
• Why not try my projects page (reflects Wash U projects---older)?
• Various talks I've given at doctoral seminars
• Some HOW-TOs for various computing topics
• A short, repetitive bio
• My curriculum vitae (or the text version)
• A list of alternative media links

Work telephone: +34 93 41 37882
Work address:

Universitat Politecnica de Catalunya
Dept. LSI, Edifici Omega 111
Jordi Girona 1-3
E-08034 Barcelona, Spain

My schedule for the next 24 hours (times are CET):

This plot shows the size of my Doctoral dissertation with time. It was updated automatically every night at 3:00am (central) while I worked on it. The final page count was 232 (of which 187 were mainmatter pages, so that excludes the table of contents, preface, references, index, etc.).