Graduate Student, Computing Laboratory
Dr.Dan Olteanu
Dr.Alexandru Baltag
About
I am student at University of Oxford , reading for MSc in Computer Science @ the Oxford University Computing Laboratory, Oxford, UK.
I am currently working on project related to Model Checking for Belief Updates and Revision under Dr.Alexandru Baltag. The key element of the project is to design and develop a model checking algorithm to solve epistemic and doxastic dynamic logic for single and multi-agent belief revision.
.
Contact Information
