Suggestions
Peter Schachte
Senior Lecturer in Computing at The University of Melbourne
Dr. Peter Schachte is a distinguished computer scientist with a rich history of involvement in programming language research and development since the 1980s.
During his tenure at Quintus Corporation from 1985 to 1993, Dr. Schachte played a pivotal role in designing and implementing various components of the Prolog language runtime system, development environments, graphics interface, object-oriented extension, and applications.
His PhD research focused on static analysis of logic programs, where he developed an efficient groundness analyzer for Prolog and continuously worked on enhancing its performance through innovative algorithms and data structures.
Dr. Schachte has significantly contributed to enhancing programming language expressiveness by extending the Mercury compiler to enable the creation of purely declarative software components with efficient imperative implementations, introducing new capabilities to Prolog, such as manipulating global state in a declarative manner and utilizing universal quantification for flexible declarative looping functionalities.
Throughout his career, he has delved into various areas such as secure network protocols, aspect-oriented programming, static checking of program binaries, designing and implementing declarative imperative programming languages, automatic parallelization of declarative programs, and enhancing automatic memory management.
With over 30 years of expertise in Prolog and LISP, Dr. Schachte excels as a lecturer and researcher in computer science, specializing in programming languages encompassing language design, implementation, optimization, and program analysis.
His educational background includes a PhD in Computer Science from the University of Melbourne, an MS in Computer Science, and a BS in Computer Science from Syracuse University, along with studies at Pomfret School.
Currently serving as a Senior Lecturer at the University of Melbourne, Dr. Schachte has previously held roles such as Lecturer in Computer Science at the same institution, Senior Software Engineer at Quintus Corporation, Member of Technical Staff at ITT Advanced Technology Center, and Assoc. Member of Professional Staff at Schlumberger-Doll Research.
Dr. Schachte's specialties lie in program analysis, program verification, abstract interpretation, logic and functional programming, programming language design, and Boolean logic.