SIGAda 2004 Tutorials
SIGAda 2004
Tutorial Instructor Biographies

Eugene W.P. Bingue, Independent Consultant

Eugene W.P. Bingue is a software-engineering consultant. He is currently developing a theater geospatial database for US Army Pacific. He has Developed and taught a variety of Ada software engineering courses since 1985. He developed an Ada software-engineering curriculum consisting of eight courses for the Strategic Air Command; curriculum was consider the best in the Department of Defense (DOD) and was adopted by other DOD agencies and numerous civilian contractors. Software Engineering consultant to Strategic Air Command HQ community on Ada Development. Was the lead consultant to Coulter Electronics on their Ada programming activities during the development of their Automated Multiparameter Analyzer for blood cells. He has presented papers and tutorials on Ada, Ada 95 and other topics at numerous conferences such as DOD Software Technology Conference 89,90,95,96,97, 2003, Salt Lake City, Washington Ada Symposium, 91,92,93 and ACM Computer Science Conference, 94,95.

Dr. Bingue retired from the Air Force as a Captain after 20 years of service. Most recently, he was a Software Engineer in the Satellite Control and Simulation Division at the USAF Phillips Laboratory. He was instrumental in the architecture design of the MAGIC satellite health and status system for Space Command. He was also the lead software engineer for the development of the Reactor Control Unit (RCU) for the Russian Topaz II space base nuclear reactor.

Dr. Bingue has been a major contributor to the Ada Software Engineering Education Training (ASEET) Team since 1987. He chaired several working groups on educational issues and assisted in organization of ASEET annual symposium and workshops.

Dr. Bingue received his Doctor of Philosophy from Nova Southeastern University, Graduate School of Computer and Information Sciences. His area of concentration was Information Systems and research filed was the effect of OOP on hard realtime systems. He can be reached via email at Dr.Bingue 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

Martin Carlisle, United States Air Force Academy

Martin C. Carlisle is an associate professor, Department of Computer Science, United States Air Force Academy. He has 7 years experience in the Ada community, and was recently awarded the SIGAda Outstanding Ada Community Contributions Award. He is most well known for AdaGIDE, a Windows IDE for GNAT, RAPID, a multiplatform GUI design tool for Ada, and A#, a port of Ada to the .NET Framework. Prof. Carlisle has a B.S. in Mathematics and Computer Science from the University of Delaware, and an M.A. and Ph.D. in Computer Science from Princeton University. He can be reached via email at Martin.Carlisle at USAFA.AF.Mil

Roderick Chapman, Praxis High Integrity Systems, Ltd.

Roderick Chapman is a Software Engineer with Praxis High Integrity Systems, Ltd., specialising in the design and implementation of high-integrity, real-time, and embedded systems. He currently leads the development of the SPARK language and its associated static analysis tools. Dr. Chapman is a member of the British Computer Society and is a Chartered Engineer. He received an 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 can be reached via email at rod.chapman at

Ed Colbert, Absolute Software Co., Inc.

Ed Colbert is consulting with U.S. Army Aviation & Missile Command, and Honeywell Technology Center, on the definition of the Avionics Architecture Description Language (AADL) for the Society of Automotive Engineers (SAE). He is also lecturing in the Computer Science Department of the University of Southern California on software engineering and architectures, contributing to the Model-Based Software Engineering (MBASE) method of the USC Center for Software Engineering, and researching costing estimation for secure system development. Ed has been teaching object-oriented methods, software engineering, and the Ada programming language since 1982, and since 1986 consulting as well. He created the Colbert Object-Oriented Software Development method ("OOSD"), which supports analysis and design for implementation in languages such as Ada, C++, and SmallTalk. NASA Langley Research Center used OOSD for a Software Engineering Process manual, chosen partly for its strength in real-time software development. He can be reached via email at Colbert at Abssw.Com

Rick Conn, Microsoft

Richard Conn is a 1976 Computer Science graduate of Rose-Hulman Institute of Technology, and received his Master's in Computer Science from the University of Illinois at Urbana in 1978. He was a 4-year ROTC Scholarship Cadet while at Rose, and attended the University of Illinois as an Army Fellow. Since then, he has worked in academia, industry, and government, seeing many large-scale successes and failures in the development of software-intensive systems from these three points of view. His previous jobs have included being a professor in Electrical and Computer Engineering at the Air Force Institute of Technology, a professor in Software Engineering at Monmouth University, a Software Engineer at Texas Instruments and General Electric, a Computer Scientist for the US Army Software Development and Support Center of its Communications-Electronics Command, a Member of the Technical Staff of the MITRE Corporation (under the auspices of a Federally Funded Research and Development Center for the DoD within MITRE), a member of the Federal Advisory Board on Ada, a Senior Engineering Specialist in Software Process for Lockheed Martin and, most recently, an Academic Developer Evangelist for Microsoft. Richard maintains close ties with Lockheed Martin and Microsoft, and is currently teaching as an Adjunct Professor for the Department of Computer Science and Information Systems at Kennesaw State University and the Department of Computing and Software Engineering at Southern Polytechnic State University. He is editor of the Systems Engineering Resource Guide for Educators and Practitioners and has recently published papers in Crosstalk - The Journal of Defense Software Engineering and IEEE Software on the C-130J Software Factory and the education required for its engineers. He can be reached via email at RConn at Microsoft.Com

David A. Cook, AEgis Technologies Group, Inc.

David A. Cook is the Principal Engineering Consultant, AEgis Technologies Group, Inc. He is currently assigned as a software engineering consultant to the Software Technology Support Center, Hill AFB, Utah. David has over 27 years experience in software development and software management, and was formerly an associate professor of computer science at the U. S. Air Force Academy (where he was also the department research director), and also a former deputy department head of the Software Engineering Department at the Air Force Institute of Technology. He was a member of the Air Force Ada 9x Government Advisory Group, and has published numerous articles on software process improvement, software engineering, object-oriented software development, and requirements engineering. He has a B.S. in computer science (University of Central Florida), a M.S. in Teleprocessing from the University of Southern Mississippi, and a Ph.D. in computer science from Texas A&M University. He can be reached via email at DCook at AEgisTG.Com

Brian Dobbing, Praxis High Integrity Systems, Ltd.

Brian Dobbing is a principal consultant at Praxis High Integrity Systems. Previously he was Chief Technical Consultant at Aonix Europe and has been involved in the production of Ada development tools and runtime systems for almost 20 years. He is a member of the UK delegation to ISO WG9, and spearheaded the definition of the Ravenscar Profile and its subsequent proposed addition to the Ada05 standard. He can be reached via email at brian.dobbing at

Bruce Lewis, US Army Aviation and Missile Command

Bruce Lewis has worked with DARPA over the last 8 years on architecture-based software development and re-engineering. He is the DARPA technical agent for developing AADL, and Chairman of the SAE task group developing a standard Avionics Architecture Description Language. He is co-moderator for architecture on the International Real-Time Systems Symposium Website. He can be reached via email at Bruce.Lewis at SED.Redstone.Army.Mil

Jean-Pierre Rosen, Adalog

J-P. Rosen graduated from ENST (Ecole Nationale Supérieure des Télécommunications) in 1975, and obtained PhD in 1986.

He started as a software engineer at the computing center of ENST. After a Sabbatical at New York University on the Ada/ED Project, he worked as Professor at ENST, where he was responsible for the teaching of Operating Systems, Software Engineering, Compilation and Ada. He created ENST's master's degree in Software Engineering. He has now formed Adalog, a company specialized in high level training, consultancy, and software development in the fields of Ada, OOD, and associated technologies.

J-P. Rosen has written "HOOD: an Industrial Approach for Software Design", the tutorial book for the HOOD 4 method. This was undertaken on behalf and under control of the HOOD User Group. This book is currently the only official tutorial book for the HOOD method; details can be obtained from

Other book publications by J-P. Rosen include the translation in French of Booch's "Software Engineering with Ada", and a book called "Méthodes de Génie Logiciel avec Ada 95" (Software Engineering Methods with Ada 95). He can be reached via email at rosen at

Joyce Tokar, Pyrrhus Software, Inc.

Joyce Tokar is the President of Pyrrhus Software - a software consultancy and training company. Dr. Tokar has been working with Ada, Ada 95, C/C++ and embedded technology for over 15 years. During this time she has focused primarily on the design and implementation of efficient runtime systems for embedded processors such as the PowerPC, the i960, and the 1750A. In some instances this included demonstrating compliance with FAA DO-178B requirements. Presently, Dr. Tokar working with the AADL team to define the Ada and C interfaces for software modules included in an AADL systems model.

Dr. Tokar is the Head of the US Technical Advisor Group (TAG) to ISO Working Group 9, the group that is responsible for the definition and evolution of the Ada language. She is a member of the Ada Rapporteur Group (ARG) and has served in various roles within SIGAda and the Ada9X Project. Dr. Tokar has been very active in the Ada Semantic Interface Specification Working Group (ASISWG). She has also been a regular participant in the International Real-Time Ada Working Group (IRTAWG) where she has contributed to the definition and standardization of the Ravenscar Profile; a tasking subset of Ada 95 that is suitable for use in safety critical and high integrity real-time systems.

Dr. Tokar has authored a large number of papers and reports, most of which are in the area of the Ada programming language and real-time, embedded systems.

Dr. Tokar received her PhD in Computer Engineering from Clemson University in South Carolina. She holds an MS and a BS in Computer Science from the University of Pittsburgh. She can be reached via email at tokar at

Back to Main Page Back to Main Page
last updated 10 November 2004 - cgr