Cyrille Comar is a co-founder of AdaCore. He is one of the key architects of the GNAT compilation technology, and he led the implementation of the Ada 95 object-oriented features and the GNAT library model. With a deep interest in safe and secure programming and certification, Cyrille is actively participating in the DO-178C Working Group and its Object Oriented Technology subgroup. Cyrille has published numerous papers on GNAT technology, software quality and multi-language programming. He holds Masters and PhD degrees in Computer Science from Universite Marie et Pierre Curie (Paris 6).
S. Tucker Taft is Director of Language Research at AdaCore. Tucker led the Ada 9X language design team, culminating in the February 1995 approval of Ada 95 as the first ISO standardized object-oriented programming language. His specialties include programming language design, compiler implementation, high-integrity software, integrated development environments, real-time systems, and parallel programming. Since 2001, Tucker has been a member of the ISO Rapporteur Group that developed Ada 2005, and is now finalizing Ada 2012. Most recently Tucker has been designing and implementing the parallel programming language ParaSail. Tucker received an A.B. Summa Cum Laude degree from Harvard University, where he has more recently taught compiler construction and programming language design.
Ed Schonberg is a co-founder of AdaCore. A professor of Computer Science at New York University, he has played a key role in the Ada community for over 15 years. One of the principal developers of the first validated Ada compiler at NYU, Ed has contributed significantly to several major advances in the Ada language and compiler technology. He has been notably a driving force behind the development of the GNAT front end. Among his many published works, Dr. Schonberg is co-author of and accompanist for Ada & the Mandate, and the Musical Adventures of Lady Ada. His research interests include the design and implementation of programming languages, Software Engineering and programming methodologies, and chamber music.
Richard Kenner is a co-founder of AdaCore. He was a researcher in the Computer Science Department at New York University from 1975 through 1998. During that time, he worked with the SETL Project, a research project in high-level programming languages, the PUMA Project, which designed and built an emulator for the CDC 6600 in the late 1970’s, and for many years with the Ultracomputer Project, which did research on highly-parallel computer systems. At Ultra, he worked on hardware design, VLSI design, and compilers. As part of the latter work, he was the maintainer of the GCC compiler (on which the GNAT technology is based) for the Free Software Foundation for the 2.5.x through 2.8.x releases. He published papers both on compiler design and VLSI design of a switching network for Ultra and was the designer of the interface between the GNAT front end and GCC.
Franco Gasperoni is a co-founder of AdaCore and has been involved with Ada both commercially and technically since 1991. Franco has an engineering degree from Mines ParisTech, France and a PhD in Computer Science from New York University, USA. While at Mines ParisTech, Franco worked on credit mechanisms and their potential instability with Maurice Allais, the French economics Nobel laureate. Franco has lectured and conducted research in computer science at New York University and Télécom ParisTech.