Research Interests
Computer Networks
Computer Architecture
Computer Arithmetic
Formal Approaches for Design, Synthesis and Verification