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

Both the bachelor’s and master’s thesis were supervised by professor Agostino Dovier.

Work experiences:

CV Download

[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.