Dmitry Rozplokhas

I am a PhD student in the doctoral programme “Logics for Computer Science” at TU Wien. I work under the supervision of Prof. Agata Ciabattoni within Theory and Logic group.

My reseach focuses on developing proof- and model-theoretic methods for the investigation of logics for knowledge representation, with a particular emphasis on conditional logics.