2017 ACM SIGAda Election

(For the term of 1 July 2017 – 30 June 2019)


Candidate for Chair

Candidate for Vice-Chair

Candidate for Secretary-Treasurer

Candidate for International Representative

PDF of the statements and biographies


Candidate for Chair

Alok Srivastava

Engility Corporation, Washington, DC, USA

BIOGRAPHY

Academic Background:
Ph.D., Agra University, 1981, Physics.

Professional Experience:
Technical Fellow, Engility Corporation, Washington, DC, 1994 – Present;
Computer Scientist, Computer Sciences Corporation (CSC), Washington, DC, 1990 – 1994;
Lead Systems Engineer, EER Systems, Washington, DC, 1986 – 1990.

Professional Interest:
Software Engineering; High Integrity Programming Languages; Command and Control Systems; Enterprise Architecture.

ACM Activities:
Conference, Workshops, Tutorials, Exhibits or Publicity Chair, SIGAda, 2000 – Present;
Executive Committee Member, SIGAda, 2005 – Present;
Managing Editor, ACM Ada Letters, SIGAda, 2005 – Present;
Vice Chair, SIGAda, 2009 – 2013.

Membership and Offices in Related Organizations:
Panel Member Grants (Electrical, Communication & Cyber Systems), National Science Foundation (NSF), 2013 – Present;
Member, IEEE, 2010 – Present.

Awards Received:
ACM SIGAda: Distinguished Service Award, 2011;
Secretary US Dept. of Transportation’s Award, 2001;
Computer Sciences Corporation (CSC) President's Award, 1994.

STATEMENT

I am honored to be running for the Chair position. For the last 30 years I have been continuously working on large high integrity Ada based systems used in daily life and been very active in the SIGAda community. Throughout these years, I have developed a deep appreciation for language’s strengths; specifically with safety critical systems.

My experience as SIGAda Vice-Chair, and experience gained through the last fifteen SIGAda conferences as Conference, Workshops, Tutorials, Publicity or Exhibits Chairs, have provided me with insight into the challenges our organization is facing while the last twelve years as Managing Editor of ACM Ada Letters, revealed to me the R&D obstacles. I’ve worked with Ada Europe Leaders, attended all recent Ada Europe Conferences and acted as ISO WG9 Secretary.

I will focus on Ada technology’s growth by:

  • Working with users/vendors/researchers
  • Long-term planning for conferences and member services
  • Financial stability
  • Expanding Working Groups
  • Ada Awareness Initiative, SIGAda and language’s manifestation on the internet

Your vote will give me greater opportunity to work with a broader IT community, promote SIGAda’s mission to new markets in the field of High Integrity Systems and further develop the collaborative and growth spirit that illustrate SIGAda.

[top]


Candidate for Chair

John Andrew Hamilton, Jr.

Mississippi State University, Mississippi State, MS, USA

BIOGRAPHY

Academic Background:
Ph.D., Texas A&M University, 1996, Computer Science.

Professional Experience:
Director and Professor, Center for Cyber Innovation, Mississippi State University, Mississippi State, MS, 2013 – Present;
Director and Professor, Cyber Research Center, Auburn University, Auburn, AL, 2001 – 2013;
Director, Joint Forces Program Office, Space & Naval Warfare Systems Command, San Diego, CA, 1998 – 2001.

Professional Interest:
Computer Security; Network Simulation; Software Architecture; High Integrity Software; Combat Simulation and Wargaming.

ACM Activities:
Immediate Past Chair, SIGSIM, 2012 – 2016;
Chair, SIGSIM, 2010 – 2012;
Vice-Chair, SIGSIM, 2008 – 2010;
Secretary Treasurer, SIGSIM, 2004 – 2008.

Membership and Offices in Related Organizations:
Immediate Past President, Society for Modeling and Simulation, 2009 – 2011;
President, Society for Modeling and Simulation, 2006 – 2009;
Senior Vice President, Society for Modeling and Simulation, 2004 – 2006.

Awards Received:
Fellow of the Society for Modeling and Simulation International, 2015;
Auburn Outstanding Computer Science & Software Engineering Faculty, 2012;
Auburn Engineering Senior Research Award for Excellence, 2012;
Society for Modeling and Simulation Presidential Service Award, 2010.

STATEMENT

I am honored to be nominated to serve as Chair of SIGAda. I have experience in leading an ACM special interest group having served as Secretary-Treasurer, Vice-Chair, Chair and immediate Past Chair of SIGSIM. Based on that experience I know how important it is for SIGAda to continue HILT conferences and Ada Letters. A SIG has to give members a reason to join. In the ACM economic model, it is important that a SIG provide publication opportunities for its members. In this regard, I think SIGAda should cautiously explore in cooperation agreements in order to help fill the pipeline for Ada Letters and HILT submissions. The relationship of high integrity software to cyber security is a research area SIGAda should consider.

I have been a member of SIGAda for more than twenty years and was a member of the DOD Ada Software Engineering Education Team for more than a decade. Previously, I served on the TriAda Conference Committee and as chief of the Ada Joint Program Office. I have published in Ada Letters and presented at Tri-Ada, SIGAda, WADAS and HILT. If elected, I am committed to advancing SIGAda while maintaining SIGAda’s core values and identity.

[top]


Candidate for Vice-Chair

William Bail

The MITRE Corporation, McLean, VA, USA

BIOGRAPHY

Academic Background:
Ph.D., University of Maryland, 1983, Computer Science.

Professional Experience:
Software Systems Engineer, The MITRE Corporation, McLean, VA, 1990 – Present;
Software Engineer, Intermetrics Inc., Bethesda, MD, 1979 – 1990;
Software Analyst, Vitro Laboratories, Silver Spring, MD, 1966 – 1979.

Professional Interest:
Requirements analysis; Software dependability; Software/system architecture; Verification/testing; Language design.

STATEMENT

As a language technology, Ada has been shown to be an incredibly powerful and useful tool. Despite predictions of its sunsetting, it has thrived and is gaining popularity and usage. Its revisions over the years have added capability, and its spawning of SPARK have led the industry in terms of viable solutions to difficult problems. As such, preserving this momentum is crucial, especially via technically innovative conferences and effective awareness enhancement across industry and governments. Technology advancements should be encouraged and promulgated via publications, conference outreach, and conferences/technical meetings.

[top]


Candidate for Vice-Chair

S. Tucker Taft

AdaCore, Lexington, MA, USA

BIOGRAPHY

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

Professional Experience:
VP and Director of Language Research, AdaCore, Lexington, MA, 2011 – Present;
Founder and CTO, SofCheck, Burlington, MA, 2002 – 2011;
Chief Scientist, Intermetrics/AverStar, Bedford, MA, 1980 – 2002.

Professional Interest:
Programming Language Design; Parallel Programming; Real-Time Systems; Model-Based Development; Source Code Analysis.

ACM Activities:
Vice President, SIGAda, 2013 – Present;
Member, ACM, 1979 – Present;
Member, SIGPLAN, 1979 – Present;
Member, SIGAda, 1985 – Present.

Membership and Offices in Related Organizations:
Member, IEEE Computer Society, 1980 – Present.

STATEMENT

SIGAda is the primary user association for non-European Ada users. Organizing a conference or workshop at least every two years is an important way to serve the SIGAda community and to link Ada to the wider research community. Over the past 5 years I have helped organize three HILT (High Integrity Language Technology) conferences and one HILT workshop, all of which included engaging keynote speakers and a broad range of interesting submissions. I am happy to continue in my role of SIGAda Vice-Chair, and to continue to help organize such events.

[top]


Candidate for Secretary-Treasurer

Clyde Roby

Institute for Defense Analyses, Alexandria, VA, USA

BIOGRAPHY

Academic Background:
Master of Science, Georgia Institute of Technology, 1979, Information and Computer Science.

Professional Experience:
Research Staff Member, Institute for Defense Analyses, Alexandria, VA, 1985 – Present;
Project Leader, Control Data Corporation, Atlanta, GA, 1981 – 1984;
Research Scientist, Georgia Institute of Technology, Atlanta, GA, 1979 – 1981.

Professional Interest:
Software Engineering; Programming Languages; Programming Development Environments; Use of Internet for Development; User Interfaces.

ACM Activities:
Secretary/Webmaster, SIGAda, 2001 – Present;
Secretary/Webmaster, ASIS Working Group (ASISWG) of SIGAda, 1990 – 2009.

Membership and Offices in Related Organizations:
Member, IEEE, 1991 – Present.

Awards Received:
ACM SIGAda Distinguished Service Award, 2002.

STATEMENT

As a candidate for SIGAda's Secretary-Treasurer, I welcome the opportunity to serve a healthy and vibrant organization. SIGAda stands for technical excellence in software engineering and especially in the use of the Ada programming language as THE programming language for the development of high integrity and reliable software.

SIGAda has several challenges in the future. It is incumbent upon SIGAda to identify the next generation of Ada users and to support them in their professions. It will also be a time to re-examine SIGAda's economic condition and re-evaluate how to improve it.

As Secretary-Treasurer, I will continue to advocate increased use of the Internet to bring SIGAda members closer together, especially as "owner" of the SIGAda website and maintainer of SIGAda email discussion lists.

SIGAda has a bright future. With the continued support of all members, we can make it better serve our community.

[top]


Candidate for Secretary-Treasurer

Shawn Fanning

PTC Inc., San Diego, CA, USA

BIOGRAPHY

Academic Background:
B.A., University of California at San Diego, 1978, Computer Science.

Professional Experience:
Software Development Director, PTC Inc., San Diego, CA, 2014 – Present;
Operations Director, Atego Systems, Inc., San Diego, CA, 2010 – 2014;
IT Director, Aonix North America, Inc., San Diego, CA, 2003 – 2010.

Professional Interest:
Software development tools; Ada language compilers; Business Operations; Corporate information technology implementation.

STATEMENT

In my role of Software Development Director for PTC Inc., I am responsible for the development and support of three Ada compiler product lines: ObjectAda, ApexAda, and AdaWorld. As one of the major suppliers of compilers for the Ada programming language, PTC wishes to provide its support to the community of Ada users in industry through participation in running interest groups such as SIGAda. For this reason, I have volunteered as a candidate for the SIGAda Secretary-Treasurer position. In that position I would seek to continue SIGAda’s operations and contribution of information to industry regarding the Ada language and associated implementations. The Ada programming language and associated compilers/tools have been a part of my professional career over a span of 30 years.

[top]


Candidate for International Representative

Dirk Craeynest

Eurocontrol/Network Management Directorate (NMD), Brussels, 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;
Organizing Committee member, SIGAda HILT 2016 Workshop, 2016;
Conference officer, SIGAda 2011 Conference, 2011;
Extended Executive Committee member, SIGAda, 1994 – 2005.

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 Conference on Reliable Software Technologies, 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 a continuously 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; this too requires international cooperation.

I have been studying, teaching, implementing, using, and advocating Ada for many years, as well as being involved with 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 in order to further improve, both in the USA and worldwide, the visibility of Ada and its qualities and achievements. SIGAda, together with other similar organizations, industry and academia, can make a difference!

[top]


Candidate for International Representative

Juan Antonio de la Puente

Technical University of Madrid (UPM), Madrid, Spain

BIOGRAPHY

Academic Background:
Ph.D., Technical University of Madrid (UPM), 1976, Electrical Engineering, Automatic Control.

Professional Experience:
Professor, Technical University of Madrid (UPM), Madrid, Spain, 1988 – Present;
Professor, Technical University of Valencia (UPV), Valencia, Spain, 1984 – 1988;
Associate Professor, Technical University of Valencia (UPV), Madrid, Spain, 1978 – 1984.

Professional Interest:
Real-time systems; Multiple criticality systems; Model-driven software development; Embedded control systems; Software engineering.

Membership and Offices in Related Organizations:
Board member, Ada-Spain, 1988 – Present;
Board member, Ada-Europe, 1988 – 1991.

Awards Received:
Robert Dewar Award for Outstanding Ada Community Contributions, 2016;
IFAC Outstanding Service Award, 2011.

STATEMENT

I am very honored to have been asked to run for the SIGAda International Representative position. I have been a member of ACM for more than 30 years, and a member of SIGAda since 1997. I was a founding member of Ada-Spain, and a member of the Ada-Europe Board for the first three years after its establishment in 1988. I have also served as an expert from Spain on the ISO/IEC working group for the Ada Standard since 2011, and I have been a member of its High-Integrity Rapporteur Group for more than a decade. I have been a program committee member in many Ada-related conferences, and I have actively contributed to the organization of the two Ada-Europe Conferences held in Madrid. These activities have resulted in a wide network of contacts with many people involved in Ada-related activities all over the world.

If I am elected, I will actively work for strengthening the relationships between SIGAda and Ada-Europe, as well as other organizations with an interest in Ada. I expect that we can expand international activities within SIGAda, and reach a large number of interested people on on a global scale.

[top]


-->