S
Research Interests
Emerging Computing Paradigms
Formal Methods and Logic
Machine Learning
Advanced Memory and Neural Computing
Ferroelectric and Negative Capacitance Devices
Formal Methods in Verification
Adversarial Robustness in Machine Learning
Gene Regulatory Network Analysis