2021 ACM SIGAda Election

(For the term of 1 July 2021 – 30 June 2023)


Candidate for Chair

Candidate for Vice-Chair

Candidate for Secretary-Treasurer

Candidate for International Representative

PDF of the statements and biographies


Candidate for Chair

Richard Dale Riehle

International Technological University, San Jose, CA, USA

BIOGRAPHY

Academic Background:
Ph.D., Naval Postgraduate School, 2008, Software Engineering.

Professional Experience:
Adjunct Professor, International Technological University, San Jose, CA, 2012 – Present;
Professor of Practice, Naval Post Graduate School, Monterey, CA, 2000 – 2012;
CEO, Adaworks, Palo Alto, CA, 1987 – 2001.

Professional Interest:
Software Engineering, Ada Software Development, Software Engineering Education, Programming Language Philosophy and Design, Writing About Software Engineering.

ACM Activities:
Local Chairperson, Honolulu, HI, 1967 – 1969.

Awards Received:
Outstanding Ada Community Contribution, 1996.

STATEMENT

It is a singular honor to be considered for the position of SIGAda Chairperson. As Chair of the SIGAda, my objective will be to continue to promote Ada in the larger software community and provide greater visibility for the language. I will also continue to publish Ada-related articles in professional publications. Most recently, I co-authored an article in the January Issue of IEEE Computer, and I will happily co-author more articles with anyone from the Ada community who would like to highlight their successes with the language.

[top]


Candidate for Chair

S. Tucker Taft

AdaCore, Lexington, MA, US

BIOGRAPHY

Academic Background:
A.B., Harvard College, 1975, Chemistry.

Professional Experience:
Director of Language Research, AdaCore, Lexington, MA, 2011 – Present;
Founder, SofCheck, Lexington, MA, 2002 – 2011;
Chief Scientist, Intermetrics/AverCom, Billerica, MA, 1980 – 2002.

Professional Interest:
Programming language design and implementation, Advanced static analysis and formal methods, Model-based software engineering, High-integrity software engineering, Real-time software engineering.

ACM Activities:
Vice President, ACM SIGAda, 2012 – Present;
Program Co-Chair, ACM SIGAda HILT Conference/Workshop, 2012 – Present.

Awards Received:
ACM SIGAda Award for Outstanding Ada Community Contributions, 1995;
ACM SIGAda Distinguished Service Award, 2020.

STATEMENT

ACM SIGAda, and its precursor "AdaTEC", have been the driving force behind Ada conferences in the U.S. since 1980. In addition, SIGAda's newsletter "Ada Letters" has provided an ongoing forum for publishing both formal and informal notes of interest to the U.S. Ada community. In the meantime, AdaEurope has provided similar services in Europe. We have begun to take steps to reduce this strong geographical divide, and to coordinate Ada Letters with the corresponding newsletter for AdaEurope, the "Ada User Journal." I favor strengthening ties with AdaEurope, and should online conference options continue, make more of an effort to attract a joint attendance and consider joint memberships. In addition, we need to reach out to the new generation of potential Ada users, and provide resources, sponsor contests and hack-a-thons, etc., to show that Ada can be relevant to the growing community of programmers interested in building secure, efficient, and reliable applications, including on small "Raspberry-Pi”-like boards and mobile devices.

[top]


Candidate for Vice-Chair

Jérôme Hugues

Carnegie Mellon University/Software Engineering Institute, Pittsburgh, PA, USA

BIOGRAPHY

Academic Background:
Ph.D., Telecom ParisTech, 2005, Distributed systems.

Professional Experience:
Senior Researcher, CMU/Software Engineering Institute, Pittsburgh, PA, 2019 – Present;
Professor, ISAE, Toulouse, France, 2009 – 2019;
Associate Professor, Telecom ParisTech, Paris, France, 2005 – 2009.

Professional Interest:
Safety-Critical Systems, Formal methods, Architecture Description Language, Model-Based Engineering, Programming Languages.

Membership and Offices in Related Organizations:
Member of SAE AS2-C standardisation group, SAE, 2006 – 2021.

STATEMENT

I am honored to have been asked to run for the SIGAda Vice-Chair position. As a long-time member of the Ada community, I value the impact SIGAda and other Ada interest groups have had on the safety-critical systems community. I have been a member of Ada-Europe International Conference on Reliable Software Technologies Program Chair for numerous years, and first contributed in 2004; and President of Ada France from 2007 to 2009.

As an academic with a background in safety-critical systems, formal methods, and programming languages, I contributed to Ada open-source projects like the PolyORB middleware or the Ocarina AADL toolset. I contribute to the SAE AS2-C committee in charge of the AADL language. I also took part in the organization of conferences as Program Committee or General Chair.

As Vice-Chair, I will aim to continue the long-running impact SIGAda had for our community: organizing the HILT conference comes first, but also supporting outreach programs and technical meetings. If elected as Vice-Chair, I will work with each and every active group member to ensure SIGAda’s continued success.

[top]


Candidate for Vice-Chair

Richard Wai

ANNEXI-STRAYLINE, Toronto, ON, Canada

BIOGRAPHY

Academic Background:
Hon. BA with Distinction, University of Toronto, 2012, Architecture.

Professional Experience:
CEO/CTO, Tame Tactical Systems, Toronto, ON, 2020 – Present;
Managing Director, ANNEXI-STRAYLINE, Toronto, ON, 2017 – Present;
Consultant, Konstruct West Partners, Hong Kong, 2013 – 2015.

Professional Interest:
Operating Systems, IoT and Embedded, High Integrity Software, Cloud-native and Hyperscale applications, Cyber-Physical systems.

ACM Activities:
Co-chair, ACM SIGAda HILT 2020 Workshop, 2020.

Membership and Offices in Related Organizations:
Voting Member, Ada Rapporteur Group (ARG), 2018 – Present;
Member, ISO/IEC JTC 1/SC 22 WG9 (Ada), 2020 – Present.

STATEMENT

It is my honor to be nominated as a candidate for the position of Vice-Chair for SIGAda. Though I am relatively new to the Ada community, I bring a future-focused, long-term commitment to Ada. I am passionate about furthering the use of Ada in cloud-native software and mainstream CD/CI distributed systems, with strong interests in IoT/edge embedded computing and cyber-physical systems. I have been increasingly involved in the maintenance and evolution of Ada, and am an active member of the ARG, and ISO JTC1/WG9.

It is my strong belief that Ada has never been more relevant than it is today and will only become more relevant. Society has become irreversibly dependent on software, and as a result, critical software has gone mainstream. Ada remains one of the only languages both specifically designed for, and proven in, the disciplined engineering of important, long-lived, complex software. As Vice-Chair, my goals will be to assist in any way I can the continued vitality of this important SIG, and to continue my efforts towards the promotion of Ada as a truly general-purpose language for contemporary software engineering challenges.

[top]


Candidate for Secretary-Treasurer

Carl Brandon

Vermont Technical College, Randolph Center, VT, USA

BIOGRAPHY

Academic Background:
Ph.D., University of Massachusetts, 1979, Zoology.

Professional Experience:
Professor, Vermont Technical College, Randolph Center, VT, 1977 – Present;
Junior Physicist, IBM Components Division, East Fishkill, NY, 1967 – 1969.

Professional Interest:
CubeSat Software - we had first use of SPARK/Ada in space, Encryption.

ACM Activities:
Education Chair, SIGAda, 1985 – 1987.

Awards Received:
Outstanding Ada Community Contributions, 2014.

STATEMENT

I have been involved with Ada since its beginning. I taught the first undergraduate Ada course in the early 1980’s. I have written multiple papers and conference presentations. In 2013, while at Vermont Tech, I obtained NASA grant funding for work on CubeSats, leading to the first satellite launched by a college in the Northeast. It was the only successful university satellite for five years. It was the first, and still is the only spacecraft programmed in SPARK/Ada with software written primarily by undergrad students, under the supervision of my colleague Peter Chapin. We have continued developing that system into a general-purpose satellite software suite, CubedOS (see cubesatlab.org) written in SPARk/Ada. I support encouraging the use of SPARK/Ada in all mission-critical functions.

[top]


Candidate for Secretary-Treasurer

Luis Miguel Pinho

Polytechnic Institute of Porto, Portugal

BIOGRAPHY

Academic Background:
Ph.D., University of Porto, 2001, Computer and Electrical Engineering.

Professional Experience:
Coordinating Professor, School of Engineering of the Polytechnic of Porto, Portugal, 1996 – Present;
Research Associate, Polytechnic Institute of Porto, Portugal, – Present;
Pro-President for Research and Innovation, Polytechnic Institute of Porto, Portugal, 2018 – Present.

Professional Interest:
Real-Time Systems, Cyber-Physical Systems, Programming Languages, Ada, Edge computing.

ACM Activities:
Ada Letters Technical Editor, SIGAda, 2020 – Present;
HILT 2020 Program Committee Member, SIGAda, 2020;
Member, SIGAda, 1998 – Present;
Senior Member, SIGAda, 2015 – Present.

Membership and Offices in Related Organizations:
Board Member, Ada-Europe, 2007 – Present;
Ada User Journal Editor-in-Chief, Ada-Europe, 2007 – 2019;
Member of JTC1/SC22/WG9, ISO, 2013 – Present.

Awards Received:
Robert Dewar Award for Outstanding Ada Community Contributions, 2012.

STATEMENT

It is both a pleasure and an honor to run for the position of Secretary-Treasurer of SIGAda. I have been an active member of the Ada community since I started my research activities, and a member of SIGAda for more than 20 years, as well as attending the SIGAda conference (and the HILT workshop) regularly.

Both through my membership, as well as my research work, I had the opportunity to connect extensively with SIGAda officers, and could understand the importance of the work to support and promote the activities of the SIG. We tend to take these activities for granted, but this only happens because a group of individuals takes this task forward.

Therefore, and through this application, I am sure I will be able to help promote SIGAda activities, both through the specific tasks of the Secretary-Treasurer, as well as supporting the other SIG officers in the planning and promotion of activities, such as conferences and publications (together with my role as Ada Letters Technical Editor). I am confident that my background and experience will allow me to work together with the other officers in ensuring the continuation of SIGAda’s activities, and the revitalization of its community.

[top]


Candidate for International Representative

Dirk Craeynest

Eurocontrol / Network Management Directorate (NMD), KU Leuven, Belgium

BIOGRAPHY

Academic Background:
Licentiaat Informatica, KU Leuven (University in Leuven, Belgium), 1982, Construction of an ELL(1) Syntax Analyser for Ada with the Compiler-Generator LILA.

Professional Experience:
Senior IT Consultant, Eurocontrol / Network Management Directorate (NMD), Brussels, Belgium, 2007 – Present;
Academic Staff (part time), KU Leuven / Dept. of Computer Science, Leuven, Belgium, 1995 – Present;
Senior IT Consultant, Belgocontrol / CANAC (air traffic control), Steenokkerzeel, Belgium, 2003 – 2006.

Professional Interest:
Ada Programming Language & Technology, Programming Languages & Software Quality, Software Engineering, Portability & Migration of Ada Software Systems, Air Traffic Flow Management & Air Traffic Control.

ACM Activities:
Executive Committee member (International Representative), SIGAda, 2005 – Present;
Program Committee member, SIGAda HILT 2018 Workshop;
Organizing Committee member, SIGAda HILT 2016 Workshop;
Conference Officer, SIGAda 2011 Conference.

Membership and Offices in Related Organizations:
Head of Belgian Delegation, Ada-Europe Representative, ISO/IEC JTC1/SC22/WG9 (ISO working group for Ada), 2004 – Present;
Vice-President, Ada-Europe (international non-profit organization), 1996 – Present;
Co-founder, Board Member, President, Ada-Belgium (national non-profit organization), 1991 – Present.

Awards Received:
ACM SIGAda Distinguished Service Award, 2014;
Best Paper, Ada-Europe 2002 Conf. on Reliable Software Technol., 2002;
ACM SIGAda Award for Outstanding Ada Community Contributions, 1999.

STATEMENT

The Ada language incorporates invaluable knowledge and experience gained over several decades and is the result of an ongoing international effort. The language has matured over the years to an unprecedented level and obtained an impressive track record of successful projects worldwide. Still, it remains most important to increase public awareness of the qualities of Ada and related technology, and this too requires international cooperation.

I have been studying, teaching, implementing, using, and advocating Ada for many years, and have also been involved in running national and international Ada organizations, producing national and international Ada related publications, and organizing national seminars and international conferences. From the start, I have been looking for international cooperation, e.g., working with SIGAda to distribute Ada material in Europe, inviting international Ada personalities to Belgian and European events, and encouraging people to submit Ada related contributions to publications and conferences.

If re-elected as International Representative, I will continue using my experience and contacts to increase the international nature of SIGAda to further improve, both in the USA and worldwide, the visibility of Ada and its qualities and achievements. SIGAda, together with other similar organizations in industry and academia, can make a difference!

[top]


Candidate for International Representative

Jean-Pierre Rosen

Adalog, Issy-Les-Moulineaux, France

BIOGRAPHY

Academic Background:
Ph.D., Telecom Paris, 1984, A virtual machine for Ada: operating system.

Professional Experience:
Technical director, Adalog, Issy-Les-Moulineaux, France, 1989 – Present;
Professor, Telecom Paris, Paris, France,1977 – 1989.

Professional Interest:
Ada language, Static analysis, Compilation.

ACM Activities:
International representative, SIGAda, 2001 – 2005.

Membership and Offices in Related Organizations:
President, Ada-France, 2009 – Present.

Awards Received:
Robert Dewar Award for Outstanding Ada Community Contributions, 2007.

STATEMENT

No candidate statement provided.

[top]


-->