Research

My (recent and old) research interests include:

• Automated Reasoning
• Static Analysis of Programs
• Software and Hardware Verification
• Applications of Computational Logic
• Semantic Web Search
• Web Services
• Semantic Web
• Term Indexing
• Translation Validation

Please check my publication list on DBLP.