Home | DoCS | IT | Bookmark | Misc | Meetings |Coauthors| CV
Detail

Hi! I. did a PhD under supervision of Björn Victor on the faculty of Information Technology Department of Computer Systems (DoCS) at Uppsala University, and a postdoc at University of Birmingham under the supervison of Paul Blain Levy. My interests cover formal methods, mathematical approaches to resoning about concurrency, type theory, coalgebraic theory, domain theory, categorical logic.

My Erdős number is ≤ 4


Events
  • CMCS 2004 (7th Workshop on CMCS, Barcelona, 27-29 March 2004)
  • ETAPS 2005 (ETAPS 2005, 2-10 April 2005 Edinburgh, Scotland)
  • CalCo 2005 First Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2005, University of Wales Swansea, UK
  • Publications

    Teaching
  • Computer Security
  • Category Theory
  • Talks
  • Profundis Workshop 04,Revereto Italy
  • CMCS 04, Barcellona, Spain
  • ETAPS 05 Edinburgh, Scotland
  • Grants
  • Sida/SAREC
  • FET-Global Computing
  • Liljewalchs

  • Valid HTML 4.01! Valid CSS! © Kidane Yemane
    Last modified: Date: 2005/02/15 14:12:12 eXTReMe Tracker