SIGAda 2009 Tutorials Instructors Biographies

SIGAda 2009 logo
Tutorial Instructor Biographies

SIGAda 2009 Home

Conference Registration Information

Hotel Rates and Reservations

Exhibiting and Sponsorship Opportunities

Conference at a Glance
Advance Program:
    (PDF/US) or (PDF/A4)


Workshops and BoFs

Media Information

Conference Officers

Program Committee

Important Dates

Grants to Educators

Cynthia Cicalese, The MITRE Corporation

Dr. Cicalese is a Lead Software Systems Engineer at The MITRE Corporation in McLean, VA, USA where she provides software engineering support to the Army Robotics and other programs. She has experience both in industry as a software engineer specializing in distributed systems as well as in academia as a tenured associate professor of Computer Science at Marymount University in Arlington, VA. She has a BS in Electrical Engineering from The George Washington University, an MS in Computer Engineering from Carnegie Mellon University, and a DSc in Computer Science from The George Washington University.

She can be reached via email at cicalese at

Michael B. Feldman, The George Washington University (ret.)

Michael B. Feldman received the B.S.E. degree in Electrical Engineering from Princeton University, and the M.S. and Ph.D. degrees in Computer and Information Sciences from the University of Pennsylvania.

In 1975, Dr. Feldman joined the Computer Science faculty at The George Washington University, from which he retired in 2007 as Professor Emeritus. He now resides in Portland, Oregon.

While at GW, he taught a large number of different courses, from freshman to doctoral level. For many years he was responsible for the CS majors-oriented introductory programming course, and the undergraduate data structures and real-time systems courses. He received the Computer Science Professor of the Year Award in 2002, 2003, and 2006, and the University’s Oscar and Shoshana Trachtenberg Teaching Prize in 2003. From 1999 to 2005, he served as chairman of the Computer Science Curriculum Committee.

Dr. Feldman is an experienced teacher of Ada and Java and other computer programming languages: his University courses have been well received and his tutorials and short courses have had a number of government and industry clients. He is the author of "Ada 95: Problem Solving and Program Design," and "Software Construction and Data Structures with Ada 95," which have been among the best-selling texts of their kind. The latter book’s Ada 83 edition, published in 1985, was the first Ada-related text specifically targeted to undergraduate courses. Dr. Feldman also wrote "Ada 95 in Context" -- the Ada chapter in Macmillan’s "Handbook of Programming Languages" -- as well as the Software Engineering Institute Curriculum Module CM-25, "Language and System Support for Concurrent Programming," and "Inspiring Our Undergraduate Students’ Aspirations," published in the quarterly of the ACM Special Interest Group on Computer Science Education.

Dr. Feldman is Chair of the Education Working Group of ACM SIGAda, the Special Interest Group on Ada. He is also the editor of "Who’s Using Ada?", a web-based catalog of fielded projects that have used Ada as their programming language.

He can be reached via email at MFeldman at GWU.Edu

David Gluch, Software Engineering Institute
Embry-Riddle Aeronautical University

Dr. David P. Gluch is a visiting scientist at the Software Engineering Institute (SEI) and a professor in the Department of Computer and Software Engineering at Embry-Riddle Aeronautical University. His research interests are technologies and practices for model-based software engineering of complex systems, with a focus on software verification. Prior to joining the faculty at Embry-Riddle, he was a senior member of the technical staff at the SEI where he participated in the development and transition of innovative software engineering practices and technologies. His industrial research and development experience has included fault-tolerant computer, fly-by-wire aircraft control, Space Shuttle software modeling, and automated process control systems. He has co-authored a book on real-time UNIX systems and authored numerous technical reports and professional articles. Dave has a Ph.D. in physics from Florida State University and is a senior member of IEEE.

He can be reached via email at dpg at

Drew Hamilton, Auburn University

John A. “Drew” Hamilton, Jr., Ph.D., is a professor of computer science and software engineering with a joint appointment as a professor of management at Auburn University and is director of Auburn’s Information Assurance Center. Dr. Hamilton was responsible for Auburn University being designated an Information Assurance Center of Academic Excellence by the National Security Agency. He is the President of the Society for Modeling & Simulation, International (SCS), Vice-chair of ACM’s Special Interest Group on Simulation (SIGSIM) and is on the Board of Directors of the Alabama Modeling & Simulation Council and Director of Auburn University’s branch of the McLeod Institute of Simulation Science (MISS).

Dr. Hamilton received a B.A. in Journalism/Public Relations from Texas Tech University, an M.S. in Systems Management from the University of Southern California, an M.S. in Computer Science from Vanderbilt University and a Ph.D. in Computer Science from Texas A&M University. Dr. Hamilton is a graduate of the Naval War College with distinction.

Dr. Hamilton’s research interests include simulation of computer networks, practical applications of the DOD Architecture Framework (DODAF), prevention/protection against distributed denial of service attacks and software vulnerability analysis. CRC Press publishes his book, Distributed Simulation, written with Dr. David A. Nash and Dr. U. W. Pooch and SCS Press publishes his book Modeling Command and Control Interoperability. A complete bio is available at

He can be reached via email at hamilton at

Trevor Jennings

Trevor Jennings is an engineer with over 40 years of experience in the computer industry, both in hardware and software roles. He has worked in many fields ranging from safety critical systems, to formula 1 racing cars and designing football (soccer) scoreboards. His involvement with Ada started in 1979 during his postgraduate research at The City University in London. Whilst a research follow at Southampton University between 1986 and 1989 he developed SPARK, an annotated subset of Ada specifically designed for deep static analysis for use in high-assurance systems, and co-authored its first published definition with Dr Bernard Carré. He has worked for Praxis for the past 4 years and for the majority of that time he has either been a member of the SPARK team developing and supporting the SPARK Toolset, or has been training and mentoring engineers who are new to SPARK.

He can be reached via email at trevor.jennings at

John W. McCormick, University of Northern Iowa

John McCormick is Professor of Computer Science at the University of Northern Iowa. He began his career in computer science at the State University of New York in 1979. In 1993 John was awarded the Chancellor’s Award for Excellence in Teaching. He has served as Secretary, Treasurer, and Chair of ACM SIGAda. He received the SIGAda Distinguished Service Award in 2002 and the SIGAda Outstanding Ada Community Contributions Award in 2008. He was awarded the SIGAda Best Paper and Presentation Award in 1991 and the Ada Europe Best Presentation Award in 2008.

John’s interests include software quality, the specification, design, and implementation of real-time systems, and the design of courses and laboratories to support teaching of these topics. His real-time model railroad based embedded systems laboratory has been duplicated at schools in North America, South America, Europe, and Australia. He is the major author of Programming and Problem Solving with Ada and Ada Plus Data Structures: an Object-Oriented Approach. These introductory computer science textbooks are known for their early introduction of software engineering principles. With coauthors Franck Singhoff and Jérôme Hugues, he is currently writing the textbook Building Parallel, Embedded, and Real-Time Applications with Ada.

John first became enthralled with software development during his research on the nature of defects in rock forming minerals. His first major publication involved the computer simulation of transmission electron micrographs of atomic defects in experimentally deformed quartz crystals. Working at the U.S. Geological Survey, National Center for Earthquake Research, he wrote the software controlling a machine that deformed rocks and crystals under high pressure (with potential energy equivalent to several sticks of dynamite). He sat next to that machine during its operation. About this experience, he states, “I spent a lot of time on verification - even though I didn’t know that word at the time.”

John is a senior member of ACM, a member of SIGAda and SIGCSE, and an affiliate of the IEEE Computer Society.

He can be reached via email at mccormick at

Jeanne Murtagh, Lockheed Martin

Jeanne Murtagh served as an officer in the U.S. Air Force (USAF) for 20 years.

Her acquisition assignments included lead embedded software engineer, lead systems engineer or project manager on a number of tactical avionics projects, in addition to space-based and space lift programs. She was certified under the Acquisition Professional Development Program at Level III in Research, Development, Test and Evaluation and at Level II in Acquisition Management.

Jeanne also served in a number of teaching positions. She was a member of the faculty at the Air Force Institute of Technology, teaching software development and project management classes at both the undergraduate and graduate levels. She served a special duty tour as an Assistant Professor in the Department of Electrical Engineering and Computer Science (EECS) at the U.S. Military Academy at West Point, teaching advanced software development using Ada 95, serving as the Head Department Academic Counselor, and mentoring new EECS faculty members and cadets. At Auburn University, in Auburn, Alabama, she taught C++ programming and Oriented-Oriented software development using the Unified Modeling Language (UML) and C++.

Jeanne worked for Lockheed Martin in embedded software engineering, developing real-time code for several Navy helicopter programs, and integrating and testing this software in the System Integration Lab. She also served as a Subject Matter Expert in Ada 83, Ada 95, and C++ for other Lockheed programs.

She is currently establishing a consulting business, focusing on programming language training, Object-Oriented software development, independent verification and validation, and technical writing. She has published numerous technical articles, and is currently working on a professional / graduate software architecture book.

Jeanne holds a B.S. in Computer Science, including assembly language programming and digital hardware design, and a minor in Management, from Rensselaer Polytechnic Institute in Troy, NY. She holds an M.S. in Computer Science, with a focus on systems software, performance and optimization, from Boston University, in Boston, MA.

She is currently based in the Southern Tier of New York state.

She can be reached via email at jmurtagh at or at sb24 at

Quentin Ochem, AdaCore

Quentin Ochem has been working with the Ada language for the past eight years and joined AdaCore in 2005. He is one of the main programmers of the GNATbench Eclipse plug-in for Ada, and implemented a binding generator from Ada to Java in this context, which is now distributed as a standalone product by AdaCore. He has been working with the GNAT Programming Studio scripting capabilities as well, which are based on an Ada/Python interfacing technology.

He can be reached via email at ochem at

Pat Rogers, Ada Core Technologies

Dr. Patrick Rogers is a senior Member of the Technical Staff with Ada Core Technologies, specializing in high-integrity and real-time application support. A computing professional since 1975 and an Ada developer since 1980, he has extensive experience in real-time applications in both embedded bare-board and POSIX-based environments. An experienced lecturer and trainer since 1981, he has provided numerous tutorials and courses in hard real-time schedulability analysis, software fault tolerance, and the Ada programming language. He holds B.S. and M.S. degrees in computer science from the University of Houston and a Ph.D. in computer science from the University of York, England, in the Real-Time Systems Research Group on the topic of software fault tolerance.

He can be reached via email at rogers at

Joel Sherrill, OAR Corporation

Dr. Sherrill is the Director of Research and Development for OAR Corporation in Huntsville, AL, USA. He is the maintainer of the free real-time operating system RTEMS and a founding member of the GCC Steering Committee. He lead the team that ported and validated GNAT/RTEMS. He has a BS in Computer Science from University of Tennessee at Chattanooga and MS and PhD in Computer Science from the University of Alabama in Huntsville.

He can be reached via email at joel.sherrill at OARCorp.Com

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 Air Force A2U Unmanned Systems ISR Innovations Branch working to integrate full-motion video initiatives for unmanned aircraft systems. 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 is currently Chair of ACM SIGAda.

He can be reached via email at rsward at

Richard Weatherly, The MITRE Corporation

Dr. Weatherly is the Director of Army Robotics for the MITRE Corporation in McLean, VA, USA. His career in robotics began when he led the software development for MITRE’s successful entry in the DARPA Grand Challenge robot race. Long before that he worked on one of the first validated Ada compilers. He has a BS, MS, and PhD in Electrical Engineering from Clemson University.

He can be reached via email at weather at

last updated 30 November 2009 - cgr