Browse/search for people

Professor Kerstin Eder

Professor Kerstin Eder

Professor Kerstin Eder
Dipl-Inf (MEng in Computer Science), MSc, PhD(Bristol)

Professor of Computer Science

Area of research

Design Automation and Verification, Energy Efficient Computing, Verification and Validation for Safety in Robots

Office 3.25 MVB
Merchant Venturers Building,
Woodland Road, Clifton BS8 1UB
(See a map)

Tel. +44 (0) 117 954 5146

Research summary

My research activities are focused on specification, verification and analysis techniques which allow engineers to design a system and to verify/explore its behaviour in terms of functional correctness, safety, 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 have re-started my research with three new funded research projects.

I am engaged in new research that explores Energy Transparency ...

Read more >

Recent publications

Read more >

View complete publications list in the University of Bristol publications system

Edit this profile If you are Professor Kerstin Eder, you can edit this page. Login required.

All details on one page > for printing etc.