Graduate Student, Computing Laboratory
Thesis Title: A Model Checker for the Logic of Conditional Beliefs And Belief Upgrades
|
Dr.Dan Olteanu
Dr.Alexandru Baltag |
About
I have finished reading for Master of Science in Computer Science @ the Oxford University Computing Laboratory, Oxford, UK.
My final project was a Model checker for logic of conditional Belief Upgrades 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.
My research interests are in Probabilistic Model Checking, Compilers, Epistemic Logic, Model checking for multi-agent information flow, information merge and interactive belief updates, upgrade and revision. Also I have inclination towards Artificial Intelligence, Machine learning specifically Neural Networks , fuzzy logic and genetic algorithm.
Previously I hold a Bachelor of Engineering Degree in Information Science and Computer Engineering. I am a member of British Computer Society and a Microsoft certified(MCAD).
Contact Information
| IM: | skype:snischal9
|
