Home : Research Staff : Dr Stephen Fitzpatrick
 

Current Position and Projects

• Computer Scientist.

• Principal investigator for Kestrel on Criticality-Sensitive Coordination

A joint effort with ISI and Vanderbilt University on soft-real-time, distributed coordination of interacting teams.

• Researcher on CONSONA

Constraint-based approach to coordination in sensor networks.

Current Research Interests

• Abstract specification of algorithms and computational systems

• Program synthesis, transformation & optimization

• High-performance computation

Publications

Highlights:

• A Family of Intermediate Forms
• The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations
• The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation
• An Experimental Assessment of a Stochastic, Anytime, Decentralized, Soft Colourer for Sparse Graphs
• Distributed Coordination through Anarchic Optimization

Complete list of publications.

Education

• Ph.D. Computer Science, 1994, The Queen's University of Belfast

• M.Sc. Computer Science, 1990, The Queen's University of Belfast

• B.A. Physics, 1989, Oxford University (Keble College)

Previous Appointments

System Analyst, November 1996 - January 1997

Genesis Project Ltd.

Temporary Lecturer, July 1995 - November 1996

Department of Computer Science, The Queen's University of Belfast

Research Assistant, September 1993 - July 1995

Department of Computer Science, The Queen's University of Belfast

Visiting Scholar, October 1991 - May 1992

Mathematics and Computer Science Division, Argonne National Laboratory

Previous Projects

Kestrel Institute

• e-Merge-ANT
• Evolutionary Design of Complex Systems
• Real-time Asset Tracking and Continuous Rescheduling
• Automated Synthesis of Planners and Schedulers

The Queen's University of Belfast

• Transformational Refinement of Algorithms for Scientific Applications
• Ph.D. Thesis: The Specification of Array-Based Algorithms and the Automated Derivation of Parallel Implementations through Program Transformation
• M.Sc. Project: An Environment for Transformational Programming

Argonne National Laboratory

•Visiting Scholarship

Genesis Project Ltd.

• Web Dissemination of Local News Broadcasts

Teaching Material

The following are some online notes I prepared at Queen's University for introductory courses on computing and programming.

Introduction to Computers

An introduction to how computers work, how to use computers, and how computers are applied in industry, commerce and science.

Introduction to Programming

An introductory computer programming course based on Pascal. (You may find this EBNF definition of the Pascal syntax useful.)

Please note: these HTML documents are still hosted at Queen's and so contain links to my old Queen's home page and email address, neither of which is currently valid. I cannot guarantee how long the documents will remain available at Queen's - if I have time (a big if) I will try to copy them here.

Links

Department of Computer Science,

The Queen's Univerisity of Belfast, Northern Ireland

Mathematics and Computer Science Division,

Argonne National Laboratory, Ilinois, USA

Keble College,

Oxford University, England

Genesis Project Ltd.

Belfast, Northern Ireland (I believe GPL has disbanded.)

- Back to Top -

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -