James Power's Homepage

James F. Power
Department of Computer Science,
National University of Ireland,
Maynooth, Co. Kildare,
Ireland.

E-Mail:

Phone: +353 1 708 3447
Fax: +353 1 708 3848
Office: Room 2.103, Callan Building

... and we've just launched a new BSc in Computational Thinking
uniting computer science, mathematics and philosophy.

... plus we're holding a seminar series on Turing-related topics this semester.

Research

My research centers on parsers and (front-end) compiler technology for object-oriented languages as part of the Principles of Programming research group here. Primary areas of application include program analysis, software testing and verification and reverse engineering.

Publications

We currently have an open PhD. position in program verification, funded by the Science Foundation Ireland Research Frontiers Programme.

Teaching

The modules I'm teaching in the 2011-12 academic year are:
- CS310 Compilers (3rd CSSE, 4th CS)
- CS357 Software Verification (3rd CSSE, 4th CS)
- CS430 Advanced Concepts and Issues in Computer Science [Understanding Post's Problem] (4th CS/CSSE)
- CS619 Program Comprehension (MSc in SE)
- An introduction to computational thinking, from Feb 13th at our Kilkenny Campus
Other Courses I've taught in the past include:
- Fundamentals of Software Engineering, 2nd year undergraduate, at Zhejiang University (in Hangzhou, China) in May-June 2011.
- CS430 Advanced Concepts and Issues in Computer Science [Reading Church's Paper] (4th CS/CSSE)
- CS431 Advanced Concepts and Issues in Computer Science II [Reading Gödel's Theorem] (4th CS/CSSE, 2009)
- Program Analysis a graduate-level course at Zhejiang University, China (March 2007)
- CS614 Component Based Software Engineering (MSc in SE, 2005)
- SE304/CS407 Formal Methods (2000-2004)
- SE301/CS310 Compiler Design (2001-2004)
- SE209 Virtual Machines (1999)
- SE101/CS100 Principles of Computer Programming (1999-2004)
In previous years (in DCU) I've given courses on computability, logic, formal semantics and compiler design

Qualifications

BSc. (Computer Science), University College Dublin, 1990.
MSc., Dublin City University, 1991.
Thesis: Linking Programs and Specifications in Z,
PhD., Dublin City University, 1995.
Thesis: Institutional Approaches to Programming Language Specification
Diploma in Classical Studies, Open University, 2009.
Postgraduate Diploma in Teaching and Learning for Higher Education, NUI Maynooth, 2010.

James Power,
Dept. of Computer Science, NUI Maynooth
Last revised: 7 March 2012