SIGAda 2007 Tutorials Instructors Biographies
SIGAda 2007
Tutorial Instructor Biographies

John G.P. Barnes, John Barnes Informatics

John has been involved in programming language design for more years than he cares to remember. He was a member of the original Ada design team and has continued to be involved with the development of Ada. He is the UK representative for ISO standardization of Ada.

John is the author of a well known textbook on Ada. This was originally entitled Programming in Ada and now some 7 versions later is entitled Programming in Ada 2005. He is also the author of High Integrity Software which addresses the use of Spark for even more reliable programming.

He graduated from Cambridge with a degree in Mathematics and originally worked in the chemical industry on understanding chemical process control.

He can be reached via email at jgpb at

Ben Brosgol, AdaCore

Dr. Ben Brosgol has over 25 years of experience in the computer software industry, with a focus on programming languages, software development methods, and real-time systems.

Dr. Brosgol is an internationally-recognized expert on Ada. He participated in both the initial language design and the Ada 95 revision, and he is the past chairman of ACM SIGAda. He has published numerous papers on Ada, has delivered presentations and tutorials at SIGAda, Ada Europe, STC, and TOOLS conferences, and has been conducting courses on real-time programming in Ada since the late 1980s.

More recently, Dr. Brosgol has been participating in an effort designed to add real-time support to the Java platform. He was a primary member of the Real-Time for Java Expert Group under Sun Microsystems’ Java Community Process, and a coauthor of the resulting Real-Time Specification for Java (“RTSJ”). He is currently a member of the Technical Interpretations Committee for the RTSJ. He has been delivering Java-related tutorials and courses since 1997, and has written a number of papers comparing Ada and Java.

Dr. Brosgol is a senior member of the technical staff of AdaCore, in the Boston area. He can be reached via email at brosgol at

Rod Chapman, Praxis High Integrity Systems, Ltd.

Dr. Roderick C. Chapman is a Principal Engineer with Praxis Critical Systems Ltd., specializing in the design and implementation of safety and security-critical systems. He led the development of the SPARK language and its associated analysis tools. Recently Praxis has been appointed by UK's National Air Traffic Services (NATS) to work on a large Air Traffic Control (ATC) partnering contract to write the specification and develop the software for a new ATC System called iFACTS which will trigger the biggest change in ATC since the introduction of radar.

Dr. Chapman is a well-known conference speaker and has presented papers, tutorials, and workshops at many international events including STC, NSA HCSS, SIGAda, Ada-Europe and the Society of Automotive Engineers (SAE) World Congress. In addition to SPARK, Rod has been the key contributor to many of Praxis' major projects such as SHOLIS, MULTOS CA, Tokeneer and Software verification tools. He received a MEng in Computer Systems and Software Engineering and a DPhil in Computer Science from the University of York, England, in 1991 and 1995 respectively. He is a chartered engineer and a Fellow of the British Computer Society.

He can be reached via email at rod.chapman at

John W. McCormick, University of Northern Iowa

John McCormick is professor in the Computer Science Department at the University of Northern Iowa. Previously, he was professor of Computer Science at the State University of New York at Plattsburgh, where he received the Chancellorís Award for Excellence in Teaching. He is the author of two Ada-based textbooks for introductory computer science courses. He received his Bachelorís degree from Pennsylvania State University and his Doctorate from the University of California at Los Angeles.

He can be reached via email at mccormick at

Frank Singhoff, University of Brest, France

Frank Singhoff is an assistant professor at the Department of Computer Science, University of Brest, France. His contribution to the Ada Community is Cheddar, an Ada framework designed to perform scheduling analysis of real time applications. Frank Singhoff received his engineering degree in computer science, from the Conservatoire National des Arts et Metiers of Paris in 1996. He received his PhD in computer science from The ENST Paris in 1999.

His website can be found at He can be reached via email at singhoff at

Ricky E. Sward, The MITRE Corporation

Ricky E. "Ranger" Sward is a Lead Information Systems Engineer for the MITRE Corporation in Colorado Springs, CO, USA. He currently supports the Electronic Systems Center (ESC) 850th ELSG/NGS, Space System Program Office (SPO). In his role as the software technical lead for the Space SPO, he supports the Agile Development Branch during development of Space Command and Control systems. This branch is leading the way in Service Oriented Architecture (SOA) design and implementation using the latest Enterprise Service Bus (ESB) technology. Ranger retired from the Air Force in August 2006 after a 21 year career as a Communications and Computer officer. He taught at the US Air Force Academy for 10 years where he taught courses such as Software Engineering and Unmanned Aircraft Systems. He has a B.S. and an M.S. in Computer Science, as well as a Ph.D. in Computer Engineering.

He can be reached via email at rsward at

Back to Main Page Back to Main Page
last updated 3 November 2007 - cgr