Umberto Bonollo's Computer Science Page

[Picture of Isaac Newton]

Mail: Department of Computer Science
Melbourne University
Parkville, 3052, Melbourne, AUSTRALIA
Phone: +61 3 9287 9100 (CS office)
Fax: fax: +61 3 9348 1184
Email: umberto@cs.mu.oz.au

Sir Isaac Newton

Research

I am completing a Ph.D. in the Department of Computer Science at the University of Melbourne. My supervisors are Associate Professor Liz Sonenberg and Associate Professor Ron van der Meyden. My thesis is entitled Real-Time Distributed Control in Artificial Intelligence (currently in-progress). I am using a knowledge-theoretic approach to the specification, design and verification of distributed and multi-agent systems based on modal logics of knowledge and time.

An introduction to this field is J.Y. Halpern, "Using Reasoning about knowledge to analyze distributed systems." In J.F. Traub et. al. Annual Review of Computer Science Vol 2, (1987) pp. 37-68. Palo Alto, Calif.: Annual Reviews Inc.

You can look at my list of publications for more information.

Subject Areas of Interest

Knowledge-Theoretic Approach to Distributed and Multi-Agent Systems
Distributed Systems
Object-Oriented Software Engineering
Object-Oriented Databases
Artificial Intelligence
Telecommunications Management Network (TMN) Systems

Publications

You can look at my list of publications for more information on some of these subject areas.

Check out Anita Bonollo's Psychology Home Page (Counselling Heroin Addicts undergoing detoxification).

AltaVista

Visitors to this page since 28 Dec 1996:

University Regulation 8.1.R7, s. 1.2(5) requires the following:
Author: Umberto Bonollo, umberto@cs.mu.oz.au Last Modified: 28 December 1996
Disclaimer: "This page, its contents and style, are the responsibility of the author and do not necessarily represent the views, policies or opinions of The University of Melbourne". A Departmental Home Page Link: The Computer Science Department.