Lennart Beringer

Lennart Beringer

Room 2605
James Clerk Maxwell Building
King's Buildings
Mayfield Road
Edinburgh EH9 3JZ

Phone: ++44-131-6505142
E-mail: lenb@inf.ed.ac.uk

Research assistent in the Mobile Resource Guarantees (MRG) project.

Research interests:

  • Mobile computation
  • Reasoning principles for low-level languages
  • Program analysis
  • Reasoning about (asynchronous) processor architectures

    Publications:

  • PhD thesis (University of Edinburgh, 2002): Asynchronous Queue Machines with explicit forwarding.

  • Typing assembly programs with explicit forwarding. Presented at the 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001). Proceedings are available from Springer.

  • Type-correct Forwarding in Asynchronous Processors. Presented at the 9th UK Asynchronous forum, Cambridge, 2000
  • Diplomarbeit (TU Berlin 1998): Deadlock-free Scheduling in Micronet-based Asynchronous Processors