Davide Soldà
I am a PhD candidate at the Knowledge-Based Systems (KBS) at TU Wien, under the supervision of professor Thomas Eiter. Here, I am part of the LogiCS-COFUND doctoral programme.
Broadly, my research interests lie in automated reasoning, and particularly in stream reasoning and planning.
I received
- a Bachelor’s Degree in Computer Science at the University of Udine (2019)
- a Master’s Degree in Computer Science at the University of Udine (2022)
- a Master’s Diploma at the School for Advanced Studies of the University of Udine
Both the bachelor’s and master’s thesis were supervised by professor Agostino Dovier.
Work experiences:
- OsmerFVG, where I worked on metereological datasets for 7 months under the supervision of Agostino Manzato.
- Fondazione Bruno Kesler (FBK), where I worked on an ESA project for 6 months under the supervision of Stefano Tonetta.
[NEWS!] I recently joined a project called TAIGER. Specifically, TAIGER will introduce effective frameworks for equipping RL-based agents with the ability to comply with norms in possible interplay with their goals.