Dr. Benjamin Brosgol, a senior member of the technical staff of AdaCore, has been involved with programming language design and implementation for more than 25 years, concentrating on languages and technologies for high-reliability systems. He led the development of the "Red" language candidate at Intermetrics, participated in the design of both Ada 83 and Ada 95, and was editor of the Safety and Security Annex of the Ada 95 standard.
Under Sun Microsystems' Java Community Process Dr. Brosgol was a member of the Expert Group for JSR-001 (Real-Time Specification for Java, or "RTSJ"), and he is currently a member of the Expert Groups for JSR-282 (RTSJ v1.1) and JSR-302 (Safety-Critical Java Technology). Dr. Brosgol is a past chair of the ACM Special Interest Group on Ada (SIGAda). He has spoken widely on safety-critical software technology. He holds a B.A. in Mathematics from Amherst College, and M.S. and Ph.D. degrees in Applied Mathematics from Harvard University.
He can be reached via email at brosgol at adacore.com
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
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 he was awarded the Chancellor’s Award for Excellence in Teaching. His 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. John's 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. He moved to Iowa in 1996.
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 is currently Chair of ACM SIGAda.
He can be reached via email at mccormick at cs.uni.edu
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 mitre.org