profile icon
Dr

Peter Schachte

Senior Lecturer In Software Engineering
Computing And Information Systems
Program Verification
Program Analysis
Programming Language Design
Declarative Programming
computer science
technology
science & technology
computer science, theory & methods
computer science, software engineering
Peter Schachte's Profile Picture
Dr

Peter Schachte

 
Division
Engineering
 
Primary Interest
Programming Languages
Peter Schachte's Profile Picture
Dr

Peter Schachte

 

Dr Peter Schachte is a Senior Lecturer in the School of Computing and Information Systems at The University of Melbourne.

Dr Schachte has been involved in programming language research and development since the 1980s. From 1985 to 1993 he worked for Quintus Corporation, where he designed and implemented many parts of the company's Prolog language runtime system, development environments, graphics interfaces, object-oriented extenstions, and applications.

In his research, Dr Schachte has concentrated on static and dynamic analysis of software, as well as the design and implementation of programming languages.

He built an efficient groundness analyser for Prolog and concentrated on improving its performance by designing and implementing new algorithms and data structures. He has also worked to improve programming language expressiveness, extending the Mercury compiler to allow the development of purely declarative software components with efficient imperative implementations. To Prolog, he added the ability to manipulate global state in a declarative way, and to use universal quantification as a flexible declarative looping facility. In collaboration with research students, he investigated secure network protocols, aspect-oriented programming, static checking of program binaries, the design and implementation of a purely declarative imperative programming language, automatic parallelisation of declarative programs, and improved automatic memory management.

Scholarly Works

Displaying the 10 most recent scholarly works by Peter Schachte.

Honours, Awards and Fellowships

1993

Australian Postgraduate Award

University of Melbourne

1

Award

Credentials

Positions

Positions


Senior Lecturer In Software Engineering

Computing And Information Systems

Education

Education


Doctor of Philosophy (Computer Science)

University of Melbourne

Master of Science (Computer Science)

Syracuse University

Bachelor of Science (Computer Science)

Syracuse University

Links

Links