Browse/search for people

Professor Kerstin Eder

Professor Kerstin Eder

Professor Kerstin Eder
MSc, Ph.D.(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 >

Biography

Kerstin is a Professor of Computer Science at the Department of Computer Science of the University of Bristol. She set up the Energy Aware COmputing (EACO) initiative (http://www.bris.ac.uk/engineering/research/trustworthy-systems-laboratory/research/eaco/) and leads the Verification and Validation for Safety in Robots research theme at the Bristol Robotics Laboratory (http://www.brl.ac.uk/vv).

Her research is 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, performance and energy efficiency. Kerstin has gained extensive expertise in verifying complex ...

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.