- Spectral methods and their application in logic design and testing.
- Concurrent error detection and fault tolerant design.
- Robust codes for reliable and secure computation channels.
- Coding for computer systems.
- Countermeasures mitigating side channel attacks on hardware systems
- Decision diagrams optimization.