Research

My current research interests include:

• Automated Theorem Proving
• Static Analysis of Programs
• Web Services
• Keyphrase Extraction
• Document Analysis
• Software and Hardware Verification
• Term Indexing

Please check my publication list on DBLP.