Directory of Experts

Search again

Details for Dr Kerstin Eder

Personal details
Name Dr Kerstin Eder
Job title Reader in Design Automation and Verification
Department Department of Computer Science University of Bristol
Personal web page http://www.cs.bris.ac.uk/~eder
Contact details This expert can be contacted via the University of Bristol Public Relations Office.

To help us deal with your request, please mention the Directory of Experts when contacting the Public Relations Office.

work+44 (0)117 928 7777
email:
Qualifications Diplom (TUDresden), PhD(Bristol)
Professional details
Membership of professional bodies Association for Computing Machinery [ACM]
Keywords design verification
design automation
formal verification
formal specification
testbench automation
constrained pseudo-random test generation
energy aware computing
safe and trustworthy autonomous assistive robots
Areas of expertise I have established Design Automation and Verification as a research and teaching area of international recognition here at Bristol.

To develop the increasingly complex designs that are expected to provide the computing power for the future, we need to solve many challenging practical as well as interesting theoretical problems.

Inspired by the International Technology Roadmap for Semiconductors, my research activities are focused on the development of system modelling, verification and analysis techniques which allow designers to define an architecture and to verify or explore its behaviour a priori, e.g. in terms of performance and functional correctness.

My work includes both formal methods and traditional simulation-based approaches. I collaborate with world-leading design and verification teams e.g. at Infineon, Broadcom, XMOS and IBM. I often work as a visiting academic at these companies to better understand the practical problems and challenges, and to foster new joint projects.
Languages (other than English)
German spoken    written

Search again