Homepage of Kerstin I. Eder
I am a Senior Lecturer in Computer Science at the University of Bristol. I normally teach the Master-level Design Verification unit and the concurrency part of the Concurrency and Communications unit.
In November 2011 I initiated an application to the
Institute for Advanced Studies to set
up a series of workshops on Safe and Trustworthy Autonomous Assisitve Robots
(STAARs). This application has been successful! The STAARs initiative will
therefore kick-start shortly with a series of 3 funded workshops.
In January 2011 I initiated an application to the
Institute for Advanced Studies to set
up a series of workshops on Energy-Aware
COmputing (EACO). This application has been successful! There is now an EACO workshop
series. The next EACO workshop will be on 18 April 2012 on "Industrial-Academic Project Partnerships".
In collaboration with a consortium of local microelectronic design companies I have initiated the introduction of the new MSc in Advanced Microelectronic Systems Engineering in 2006. I am now the Director of this MSc programme which is run jointly between the Department of Computer Science and the Department of Electrical and Electronic Engineering. In addition, I am the Programme Director of the undergraduate MEng in Computer Science and Electronics.
In 2007 Bristol has been selected as a lead university to head the Cadence Academic Network in the area of Advanced Verification. I have been invited to present my state-of-the-art approach to Design Verification education and research at CDNLive! in April 2008. More information can be obtained from a press release that recently appeared at Electronicstalk.
I am a member of the new "u (micro)" research group. I work closely with local and international microprocessor design and verification teams and leading EDA companies. Our now well established EngD Centre in Systems Engineering provides a platform for industrial collaboration in this context.
Between October 2010 and September 2011 I've been sponsored by the Royal Academy of Engineering to work with the engineers at Xmos. I explored power-aware design techniques from silicon to software.
My research activities are focused on specification, verification and analysis techniques which allow designers to define a design and to verify/explore its behaviour in terms of functional correctness, performance, power consumption and energy efficiency. My work includes both formal methods and traditional simulation-based approaches. I have a strong background in computational logic, especially formal verification, declarative programming languages and their implementation, abstract machines, compilation techniques and meta programming.
Now that I am fully back after parental leave, I am re-starting my research. I am engaged in new work that explores linking on-chip power consumption to application software, effectively developing methods for power profiling from silicon to software.
I have also recently started a collaboration
with the Bristol Robotics Lab looking into
the verification and
certification of robots involved in Human Robot Interaction. An area of
ongoing research is the application of machine learning techniques in order to
automate the parts within the simulation-based verification process that
consume large amounts of engineering time, such as test generation and debug.
Since December 2003, my new favourite "hobbies" are my daughter Lena and my son Carl. We enjoy being active. Some of our favourite occupations are swimming (yes, teaching kids swimming is a lot of fun), cycling, winter sports, drawing and sticking, travelling and taking photographs. I find African drumming is lots of fun and very relaxing. Recently, I have been introduced to the game of Set - great fun. I come from Zwickau and Dresden in Germany, and have lived in Bristol since Summer 1995. To keep fit I train with a Personal Fitness Trainer.
You can contact me by email, phone or post. Here are the addresses and numbers.
|
Email: Address: 
|
 Kerstin Eder University of Bristol Department of Computer Science Merchant Venturers Building 3.25 Woodland Road Bristol BS8 1UB United Kingdom |
Phone: |
[++44] 0117 954 5146 |