Homepage of Kerstin Eder

Bristol has recently 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.

In collaboration with the EEE Department and a consortium of local microelectronic design companies I have initiated the introduction of the new MSc in Advanced Microelectronic Systems Engineering; I'm now the Director of this new MSc programme.

I founded the Design Automation and Verification Group in the Department and work closely with local and international microprocessor design and verification teams. Our newly established EngD Centre in Systems Engineering provides a new platform for industrial collaboration in this context. There are a number of open EngD positions in collaboration with world-leading local semiconductor design companies to start from October 2007.

My research activities are now focused on specification, verification and analysis techniques which allow designers to define a design and to verify/explore its behaviour in terms of performance and correctness. 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, my most recent research project is in feedback-based Coverage-Directed test Generation (CDG) for simulation-based verification. The latest results of a new CDG method will soon be available as a Technical Report. Please contact me if you would like to receive further details.

It is important to me to combine my research interests with practical applications. When I am not teaching, mostly during the Summer months, I work as a consultant Design Verification Engineer in world-class microelectronic design and verification teams.

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, baby 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

Useful links

• Publications
• IEEE Conferences