K
Research Interests
Formal Methods
Interactive Theorem Proving
Math and Computer Science Intersection
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Formal Methods in Verification
Natural Language Processing Techniques
Cryptography and Data Security