Logo
Left
  • Home
  • Research
  • Teaching
  • Travel
  • Music
  • About
Right
  • About
  • Surreptitious Software
  • Summer School, May 21-25
  • SSP Workshop, June 16
  • DAPA
  • Postdoc Available!
  • Tigress
  • Haathi
  • NetViz
  • Publications
  • Older Projects
  • About
  • Teaching Evaluations
  • 340 Found. of Comp. Sys.
  • 372 Comp. Prog. Lang.
  • 453 Compilers & Sys. SW
  • 520 Princ. of Prog. Lang.
  • 553 Princ. of Compilation
  • 620 Surreptitious Software
  • 466/566 Computer Security
  • NEW: Morocco
  • Asia
  • North Africa
  • Middle East
  • Central America
  • Oceania
  • Europe
  • North America
  • Favorites
  • Videos
  • About
  • Undecidables
  • Older Music
  • Pictures
  • About me
  • Pictures
  • Videos
  • Contact
  • Recipes
  • FAQ
  • Credits