Anthony Sloane
Principal Software Engineer at Macquarie University
Sydney, New South Wales, Australia
Summary
👤
Senior🎓
Top SchoolAnthony Sloane is a Principal Software Engineer and computer scientist in Sydney with 17 years of professional experience and a long academic career focused on programming language design, compilers, interpreters and formal methods. He bridges research and practice—former Associate Professor and Head of Department at Macquarie University who now applies language and verification expertise to static application security testing at Oracle. Anthony has a track record of building and optimising runtimes and language toolchains in industry (Symbiont) and contributing reliability-focused fixes to verification benchmark suites on GitHub. He mentors graduate research, teaches across undergraduate and postgraduate programs, and brings deep operational knowledge dating back to early systems administration roles. His profile combines rigorous formal-methods thinking with pragmatic engineering for secure, correct software.
18 years of coding experience
27 years of employment as a software developer
Australian National UniversityPhD, Computer Science, PhD, Computer Science at University of Colorado Boulder
Stackoverflow
534reputation
5kreached
12answers
0questions
Github Skills (14)
data-manipulation10
c1710
c1110
testing9
verification9
backtracking6
shapeless6
reflection6
case-class6
rewriting6
parsing6
dsl6
scala6
parser-combinators6
Programming languages (12)
Github contributions (5)
sosy-lab/sv-benchmarks
Nov 2017 - Nov 2017
Collection of Verification Tasks (MOVED, please follow the link)
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits, 5 PRs, 16 comments in 6 days
Contributions summary:Anthony's contributions primarily focus on modifying existing C code to address potential undefined behavior issues, particularly in the context of floating-point arithmetic and array manipulation. They introduced calls to `__VERIFIER_nondet_float` and `__VERIFIER_nondet_int` to initialize variables within test cases. Additionally, the user corrected comparison typos and initialized struct fields to prevent memory-related problems. These changes suggest a focus on improving code reliability and preventing potential errors within the test suites.
securitytlaverificationverification-tasksv-comp
inkytonik/plain.g8
Feb 2015 - Dec 2020
Contributions:12 pushes in 5 years 11 months
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.