D
Daniel Hono
Visiting Assistant Professor - Instructional
Research Interests
Automated Deduction
Functional Analysis and Mathematical Physics With Applications to Quantum Computing
Semigroups and Automata Theory
Cryptography and Data Security
Advanced Authentication Protocols Security
Logic, Programming, and Type Systems
Formal Methods in Verification