Dr Hans-Wolfgang Loidl received his MSc ("Dipl-Ing") degree from Johannes Kepler University in Austria in 1992. He received his PhD degree from the University of Glasgow in 1998 for his research on the parallel implementation of functional languages. From 1999 to 2002 he worked as a postdoctoral research fellow of the Austrian Academy of Sciences at Heriot-Watt University, Edinburgh, on architecture-independent parallelism. From 2002 to 2009 he worked as a postdoctoral researcher in the Theoretical Computer Science group at Ludwig-Maximilians University Munich on the EU-funded EmBounded projects MRG and EmBounded. The goal of these projects was to develop an infrastructure for resource-safe computation, dealing with statically inferring resource bounds, (automatically) verifying concrete resource bounds, and certifying resource bounds by employing proof-carrying-code techniques. Since 2009 he is a lecturer at the School of Mathematical and Computer Sciences of Heriot-Watt University, Edinburgh.
Last modified: Mon Feb 28 23:32:43 2011