Davide Solda

Davide Solda is a Researcher in the Knowledge-Based Systems group at Vienna University of Technology. His work focuses on formal methods in artificial intelligence, particularly temporal logic and knowledge representation.

Research interests include: computational logic, multi-agent systems, epistemic planning, and automated reasoning techniques. His investigations bridge theoretical foundations with practical applications in system verification.

Recent publications demonstrate consistent focus on temporal extensions of logical frameworks, with progressive applications in multi-agent scenarios and runtime verification contexts.