Byron Cook

Eric Koskinen

Welcome to Eric Koskinen, who just started his PhD at Cambridge University under the supervision of myself and Matthew Parkinson.
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.