Byron Cook

Professor Cook

Queen Mary, University of London has now appointed me as full professor of computer science. I'm not leaving Microsoft, of course, its a joint appointment with Microsoft Research.
at Tuesday, October 28, 2008
Newer Post Older Post Home

Byron Cook

View my complete profile

Blog Archive

  • ►  2012 (3)
    • ►  April (2)
    • ►  February (1)
  • ►  2011 (1)
    • ►  June (1)
  • ►  2010 (3)
    • ►  November (2)
    • ►  September (1)
  • ►  2009 (7)
    • ►  October (1)
    • ►  August (1)
    • ►  June (2)
    • ►  April (1)
    • ►  March (1)
    • ►  January (1)
  • ▼  2008 (31)
    • ►  December (2)
    • ►  November (1)
    • ▼  October (3)
      • Eric Koskinen
      • Professor Cook
      • methods of proving recursive programs terminating
    • ►  August (3)
    • ►  July (3)
    • ►  June (2)
    • ►  May (4)
    • ►  April (5)
    • ►  March (4)
    • ►  January (4)
  • ►  2007 (12)
    • ►  December (7)
    • ►  November (5)

Links

  • Byron at work
  • TERMINATOR project
  • SLAyer project
  • SLAM project
  • SDV product
  • East London Massive
Simple theme. Powered by Blogger.