Hotel Rates, Reservations, Travel
Exhibiting and Sponsorship Opportunities
Additional Promotional Opportunities
Conference at a Glance
Final Program:
(PDF/US)
Jay Abraham, The Mathworks, Inc.
Jay Abraham's area of expertise is in software tools for the verification of critical embedded applications. He has 20 years software and hardware design experience. Jay began his career as a microprocessor designer at IBM followed by engineering and design positions at hardware, software tools, and embedded operating systems companies. He has held vice-chairmanships in IEEE standards committees and has presented at conferences such as the International System Safety Conference, American Institute of Aeronautics and Astronautics, and Embedded Systems Conference. Jay has a MS in Computer Engineering from Syracuse University and a BS in Electrical Engineering from Boston University.
Jeff Boleng, US Air Force Academy
LtCol Jeff Boleng is an Associate Professor of Computer Science at the USAF Academy in Colorado Springs, CO, USA. He teaches a wide variety of computer science courses in programming, computer security, networking, operating systems, and algorithms. His operational Air Force Experience includes evaluating and implementing SOA solutions for command and control and knowledge management applications. He is a 1991 graduate of the US Air Force Academy and has an M.S. (1997) and Ph.D. (2002) in Mathematical and Computer Sciences from Colorado School of Mines.
He can be reached via email at Jeff.Boleng at usafa.edu
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 adacore.com
Jeff Chapple, The Mathworks, Inc.
Jeff Chapple joined PolySpace Technologies as a Field Application Engineer in July 2004 bringing over 20 years of system & software engineering experience. Previous companies include Ferranti, Siemens-Plessey, Hughes and Raytheon. He has worked on diverse projects from small embedded systems through to large distributed systems, mostly real-time and mission critical. He transferred to The MathWorks in August 2007 as a Senior Application Engineer. Jeff has a BSc in Physics from Imperial College, London.
Andrew Coombes, Rapita Systems
Dr. Andrew Coombes runs the Marketing and Engineering Services groups at Rapita Systems Ltd, a company specialising in tools for on-target verification of high-integrity embedded software. For the last 13 years he has been involved in the development and commercialisation of software tools for embedded, real-time applications. Prior to this, he worked in a consultancy and for the BAE Systems DCSC (Dependable Computing Systems Centre). He received his DPhil in Computer Science at the High-Integrity Systems Engineering Group at the University of York.
He can be reached via email at ACoombes at RapitaSystems.Com
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 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.
He can be reached via email at MFeldman at GWU.Edu
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 cs.uni.edu
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 adalog.fr
Frank Singhoff, University of Brest, France
Frank Singhoff is Professor of Computer Science and head of the Computer Science Department at the Université de Bretagne Occidentale, France. He received his engineering degree in Computer Science from the CNAM/Paris in 1996 and his PhD from Télécom-Paris-Tech in 1999. Frank Singhoff is part of the LISyC laboratory. His current research focuses on real-time scheduling theory and architecture description languages. His research work has lead to the development of an open-source toolset called Cheddar, a toolset designed to perform analysis with the real-time scheduling theory. Frank Singhoff is also member of the AADL/AS-2C committee of the SAE. He received the SIGAda Outstanding Ada Community Contributions Award in 2010.
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 mitre.org
Tucker Taft, SoftCheck, Inc.
Tucker Taft has been involved with language design since 1975, and with Ada since 1980. He was the technical lead for the design of Ada 95, and was heavily involved in the design of Ada 2005 and the ongoing design of Ada 2012. In addition to language design, he has been the technical lead on the development of an Ada 83 and of an Ada 95 compiler, as well as of an advanced language-independent static analysis technology.