Why I Came Back To Ada

photo of Martin C. Carlisle

Why I Came Back To Ada

Martin C. Carlisle

Abstract

After the Air Force Academy switched its curriculum to Java, I extracted myself from the Ada community and moved on to other research interests, particularly computer security. In this talk, I'll explain the new developments that brought me back to Ada and how Ada and SPARK may be a secret weapon in the 21st century.


last updated 3 November 2011 - cgr