My research interest are practical solutions for testing and verifying hardware designs, for example with the help of symbolic execution.
In the context of the research project Scale4Edge I am currently focussing on the specific challenges brought forth by peripheral device designs.