Peter Schachte
Senior Lecturer at University of Melbourne
Melbourne, Victoria, Australia
Summary
👤
Senior🎓
Top SchoolPeter Schachte is a senior lecturer and programming-language researcher at the University of Melbourne with over three decades of hands-on experience in Prolog, LISP, and language implementation. He designed and implemented core runtimes and extensions at Quintus Corporation in the late 1980s and later developed efficient static analyses—such as a high-performance groundness analyser—for logic programs during his PhD. His work bridges theory and practice: extending Mercury for declarative components with imperative efficiency, adding declarative global state and universal-quantification loops to Prolog, and exploring automatic parallelisation, verification, and memory-management improvements. He teaches Java, Haskell and Prolog while supervising research in program analysis and verification, bringing deep compiler and tooling expertise into the classroom. Notably, his career combines industrial systems development from the 1980s with sustained academic innovation, making him equally fluent in production engineering and formal program analysis.
15 years of coding experience
25 years of employment as a software developer
Pomfret SchoolMS, Computer Science, MS, Computer Science at Syracuse UniversityThe University of Melbourne
Stackoverflow
81reputation
632reached
0answers
1question
Github Skills (17)
programming-language10
declarative-programming10
imperative-programming10
compiler-optimization10
imperative10
interpreter9
declarative9
compiler8
music7
haskell6
infinite-loop6
timeout6
player5
audio5
linux5
Programming languages (2)
Github contributions (4)
pschachte/wybe
Oct 2010 - Dec 2022
A programming language supporting most of both declarative and imperative programming
Contributions:237 reviews, 1508 commits, 257 PRs in 12 years 3 months
imperativedeclarative-programmingimperative-programmingdeclarativecompiler
pschachte/groundness
Mar 2017 - May 2017
Contributions:26 pushes, 1 branch in 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.