banner

 

CABDyN Project Profiles

Back 
z

Alexandru Baltag
University Lecturer
Department of Computer Science, University of Oxford
                                                   

Alexandru Baltag is a University Lecturer in Computer Science and belongs to the Foundations of Computation Research Group. He received his PhD in Mathematics from Indiana University and worked for three years at the Dutch National Institute for Mathematics and Computer Science. Research areas include the logics of knowledge, communication and information updating. In particular, he has developed the concepts of epistemic actions and epistemic programs, together with a specific mechanism for information updating in multi-agent systems: the so-called product update. He has also developed his previous ideas along several lines: formalising dialogue games and games of imperfect information, reasoning about communication over insecure channels, developing a Hoare logic to check partial correctness of knowledge programs, modeling ‘learning’ and other natural operations with epistemic programs, incorporating probability and probabilistic updates and generalizing epistemic actions to a category-theoretical setting as coalgebraic transformations.

Contact Details  

  
postal:  Department for Computer Science, University of Oxford
            Wolfson Building
            Parks Road
            Oxford
            OX1 3QD

tel:       01865 273842
fax:      01865 273839