Home : Research Staff : Dr Stephen Fitzpatrick
 

Current Position and Projects

• Computer scientist & chief financial officer.

• Principal investigator on Diversity: Using Software Generation and Repair for Cyber-Defense

Using semantic information to automatically generate (i) multiple implementations of an application and (ii) run-time monitors. The objective is to enable applications to fight-through an attack that has penetrated one implementation and transition to another implementation (that is hopefully immune to the attack), recovering vital state and data.

• Researcher on VIBRANCE

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

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

- Back to Top -

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