My research interests include:

• using AI for natural language formalization
• completeness of formal theories
• formal verification of code without annotations
• seamless secure software development lifecycle
• seamless computing on accelerator-rich architectures

Reading, cooking healthy food, cross-country skiing, jogging

The following projects are available for student theses with my supervision:

• Low-energy similarity search on edge devices
• RAG for natural language formalization and verification
• RAG for requirements engineering
• Detection of insecure code patterns based on open source security patches for known vulnerabilities
• Methodology and tools for formal verification of code without annotations

If you are interested in any of these topics --- get in touch, and we will extract a sub-topic based on your level of studies (i.e. BS, MS, or Ph.D.).