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