Ich beschäftige mich mit der formalen Verifikation im Electronic System Level-Design, wobei Systeme auf einer höheren Abstraktionsebene betrachtet werden. Außerdem interessiere ich mich für reversible Logik und Quantum Computing.