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 mitre.org
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
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 sei.cmu.edu
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
http://www.eng.auburn.edu/users/hamilton/
He can be reached via email at
hamilton at auburn.edu
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 praxis-his.com
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 cs.uni.edu
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 stny.rr.com
or at
sb24 at att.blackberry.net
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 adacore.com
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 adacore.com
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. "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
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 mitre.org
|
