SIGAda 2010 Tutorials Instructors Biographies

SIGAda 2010 logo
Tutorial Instructor Biographies

SIGAda 2010 Home

Register Online Now

Hotel Rates, Reservations, Travel

Reception Dinner & Cultural Program

Exhibiting and Sponsorship Opportunities

Conference at a Glance
Final Program:


Workshops and BoFs

Media Information

Conference Officers

Program Committee

Grants to Educators

Previous Conferences

Important Visa Information for

William Bail, The MITRE Corporation

Since 1990, Dr. Bail has worked for The MITRE Corporation in McLean, VA, as a Computer Scientist in the Software Engineering Center (SWEC). MITRE is a not-for-profit corporation chartered to provide systems engineering services to the U.S. Government agencies, primarily the DoD, the FAA, and the IRS. Within MITRE, the SWEC focuses on supporting various programs with consultation, particularly transitioning emerging technologies into practice.

Dr. Bail's technical areas of focus include dependable software design and assessment, error handling policies, techniques for software specification development, design methodologies, metric definition and application, and verification and validation. At MITRE, Dr. Bail is currently supporting the U.S. Navy, focusing on the practice of software engineering as applied to large real-time systems. Prior to 1990, Dr. Bail worked at Intermetrics Inc. in Bethesda MD.

Since 1989 he has served as an part-time Adjunct Professor at the University of Maryland University College where he develops instructional materials and teaches courses in software engineering, in topics such as Software Requirements, Verification and Validation, Software Design, Software Engineering, Fault Tolerant Software, and others. Previously, Dr. Bail taught part-time at The University of Maryland from 1983-1986 in the Computer Science Department for undergraduate courses in discrete mathematics, computer architecture, and programming language theory.

Dr. Bail has presented tutorials on Cleanroom Software Engineering, Semi-Formal Development Techniques, Statistical Testing, and Requirements Engineering for Dependable Systems at SIGAda, AdaEurope, SSTC, NDIA Systems Engineering Conference, and other venues.

Dr. Bail received a BS in Mathematics from Carnegie Institute of Technology, and an MS and Ph.D. in Computer Science from the University of Maryland.

He can be reached via email at bail at

Ben Brosgol, AdaCore

Dr. Benjamin Brosgol is a senior member of AdaCore's technical staff in the USA. He has over 30 years of experience in the computer software industry, with a focus on programming languages (Ada and Java in particular), software development methods, safety and security, and real-time systems.

Dr Brosgol has been directly involved with the Ada language development effort since its inception, and participated in both the initial language design and the Ada 95 revision. Dr. Brosgol has delivered presentations and tutorials at many Ada-Europe and SIGAda conferences, and has been conducting professional Ada courses for more than 20 years.

He can be reached via email at brosgol at

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

Peter Feiler, Carnegie Mellon University
Software Engineering Institute

Peter H. Feiler, Ph.D., is a senior member of the technical staff in the PCS Initiative at the SEI. He has authored more than 80 articles in the areas of dependable real-time systems, architecture languages for embedded systems, and predictable system analysis & engineering. Feiler is the technical lead and author of the SAE AS-2C Architecture Analysis & Design Language (AADL) standard. Feiler holds a Vordiplom degree in Math/CS from Technical University Münich and a doctorate in computer science from Carnegie Mellon University.

He can be reached via email at phf at

Bruce Lewis, US Army AMRDEC

Bruce Lewis is the chairman of the Society of Automotive Engineers (SAE), Avionic Systems (AS), Architecture Design Language Committee, AS-2C, and led the standardization of AS5506. He is a resident affiliate at the Software Engineering Institute working in Architecture-Centric Engineering. He works for the US Army's Research, Development and Engineering Command, Aviation and Missile Research, Development and Engineering Center, Software Engineering Directorate. His research has focused on computer/software system architecture, reuse, and computer system evolution since 1991.

He can be reached via email at bruce.a.lewis 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. His latest book, Building Parallel, Embedded, and Real-Time Applications with Ada, with coauthors Frank Singhoff and Jérôme Hugues is due out this year.

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

Robert Pettit, The Aerospace Corporation

Rob Pettit has over 20 years of experience in the software development industry and is an internationally recognized expert in the field of software design for object-oriented real-time and concurrent systems. In his current position as Sr. Project Leader for The Aerospace Corporation, Dr. Pettit provides technical leadership and research direction for the Office of Software Modeling and Analysis (OSMA), which he helped to found in 2006. In addition to his leadership role for the OSMA, Dr. Pettit is responsible for oversight, consulting, and mentoring for a number of object oriented software development projects. Dr. Pettit has also served as the principle investigator on multiple Aerospace-funded research programs primarily focused on applying object-oriented technology to real-time embedded systems.

Dr. Pettit has taught numerous industrial courses on software development and object-oriented technology; has given numerous presentations to international conferences and workshops; and has been invited to speak at international venues related to real-time and embedded software. Dr. Pettit is also an Adjunct Professor of Computer Science at George Mason University where he teaches object-oriented software analysis and design for the software engineering master’s program and where he established a course on mode-driven real-time and embedded software.

Dr. Pettit received his B.S., Computer Science degree in 1991 from the University of Evansville, his M.S., Software Systems Engineering degree in 1995 from the George Mason University, and his Ph.D. in Information Technology / Software Engineering from George Mason University in 2003. Dr. Pettit was the General Co-Chair for the Americas of IEEE’s 2007 and 2008 International Symposium on Object-oriented Real-time Computing (ISORC 2007 and ISORC 2008) and is the General Chair for the 2009 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2009). Dr. Pettit is a Senior Member of the IEEE; a member of ACM's SIGAda; and a co-author of Ada 95 Quality and Style.

He can be reached via email at RPettit at

Jean-Pierre Rosen, Adalog

Jean-Pierre Rosen is a professional teacher, teaching Ada (since 1979, it was preliminary Ada!), methods, and software engineering. He runs Adalog, a company specialized in providing training, consultancy, and services in all areas connected to the Ada language and software engineering. He is chairman of AFNOR's (French standardization body) Ada group, AFNOR's spokeperson at WG9, member of the Vulnerabilities group of WG9, and chairman of Ada-France.

Adalog offers regularly on-site and off-site training sessions in Ada. J-P Rosen is a consultant for companies involved in high reliability systems, such as Ansaldo for Railway systems and Thales Avionics for Airborne/OO systems.

He can be reached via email at rosen 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 23 October 2010 - cgr