Home Up Reach Us Contents                             

Gregory  

Students Gregory Menouer Weiping

Home
Up
Research
Publications

 

 GREGORY M. PROVAN

    Department of Computer Science

     University College Cork, Cork, Ireland

     Phone: +353 21 420 5928(office);  +353 420 5984 (lab)

     e-Mail: g.provan-at-cs.ucc.ie

 

PROFESSIONAL EXPERIENCE


University College Cork, Department of Computer Science (Professor): 2004-present.

bullet

Director, Cork Complex Systems Lab   

bullet

Head of Department (2004-2007)

Rockwell Scientific Company, Autonomous and Intelligent Systems Group (Manager): 1995-July 2004.

Institute for Decision Systems Research (Associate Director): 1994.

University of Pennsylvania, Dept of Computer and Information Science (Assistant Professor): 1990-1993.

University of British Columbia, Department of Computer Science (Postdoctoral Fellow): 1988-1990.

AT&T Bell Laboratories, Holmdel NJ (Member of Technical Staff): 1982-1983.

 

SELECTED RECENT EXTERNAL GRANTS (as Principal Investigator/co-Principal Investigator):


bullet

Information Technology for Optimised Building Operations (ITOBO) [Science Foundation Ireland]: (January 2008-January 2012).     7.2M. [Lead: Karsten Menzel]

bullet

A Framework for Analysis and Control of System-of-Systems (SoS) [Science Foundation Ireland]: (February 2005-July 2008). 0.9M.

 

EDUCATION


BSE:      Princeton University, Basic Engineering/Operations Research, 1982.

M.Sc.:   Stanford University, Engineering Economic Systems, 1984.

Ph.D.:   University of Oxford, Mathematics, 1990.

 

 

RESEARCH INTERESTS

 

Overview

I am interested in the design and analysis of complex systems. This interest spans the multiple representations and algorithms that must work together in a coordinated fashion to build software tools for complex systems. My work has covered issues focused on:

bulletRepresentation,
bulletControl,
bulletInference, and
bulletSystems integration.

 I have worked in the design and analysis of complex systems in several application areas, including:

bulletDistributed networked systems, such as
bulletWireless sensor networks
bulletDistributed computer networks
bulletPower grid networks
bulletCollections of unmanned vehicles (UVs)
bulletCommercial aircraft,
bulletNavy ships,
bulletCollections of text corpora, and
bulletHuman cardiovascular and digestive systems; biochemical modeling/analysis

Key Research Areas

bulletModel-based diagnosis
bullet Distributed, embedded systems
bulletProbabilistic Inference
bulletMachine Learning
bulletApproximate Inference and Modeling
bulletCompilation
bulletComplex Systems
bulletConstraint-Based Inference
bulletMulti-Formalism Modeling
bulletBioInformatics

 

PUBLICATIONS


all my publications

 

Send mail to ccsl@cs.ucc.ie with questions or comments about this web site.
Copyright 2008 Cork Complex Systems Lab
Last modified: 05/26/08