|
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
|
Back 