AeroLeads people directory · profile
Mitchell Buckley Email & Phone Number
Verification Engineer
at
Kry10
1 work email found
@mq.edu.au
LinkedIn matched
4 data sources
Profile completeness 100%
Current company
Role
Verification Engineer
Location
Sydney, New South Wales, Australia
Company size
Who is Mitchell Buckley? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Mitchell Buckley is listed as Verification Engineer at Kry10, a company with 19 employees, based in Sydney, New South Wales, Australia. AeroLeads shows a work email signal at mq.edu.au and a matched LinkedIn profile for Mitchell Buckley.
Mitchell Buckley previously worked as Applied Category Theorist at Symbolica Ai and Research Development Software Engineer at Ghost. Mitchell Buckley holds Doctor Of Philosophy (Phd), Mathematics from Macquarie University.
Company email context
Email format at Kry10
This section adds company-level context without repeating Mitchell Buckley's masked contact details.
{first}.{last}@mq.edu.au
86% confidence
AeroLeads found 1 current-domain work email signal for Mitchell Buckley. Compare company email patterns before reaching out.
Profile bio
About Mitchell Buckley
I am a researcher and engineer with a focus on applied category theory and machine learning. I also have some experience in image analysis, software verification (formal methods), low level programming (embedded systems, kernel), and research-level mathematics (PhD category theory).
Listed skills include Science, Mathematics, Statistics, Programming, and 7 others.
Current workplace
Mitchell Buckley's current company
Company context helps verify the profile and gives searchers a useful next step.
Kry10
8 roles
Mitchell Buckley work experience
A career timeline built from the work history available for this profile.
Applied Category Theorist
CurrentDeveloping new theory about structured reasoning in machine learning using category theory. Applying that theory to build novel architectures with targetted strengths in solving complex tasks e.g. code synthesis.
Mar 2024 - Present
Research Development Software Engineer
Aug 2021 - Mar 2024
Senior Proof Engineer
Using mathematics (formal methods) to provide guarantees about the safety and security of the seL4 microkernel. Relevant languages: C, Haskell, Python, Isabelle.
Jul 2018 - Jul 2021
Postdoctoral Researcher
Mathematics research in Algebra, Hopf Algebra and Category Theory. Published 2 journal articles.
Oct 2015 - Jul 2018
Researcher Phd Candidate (Mathematics)
Research in higher category theory. Wrote and published 4 journal papers. Spoke at 2 international conferences and multiple local seminars. One paper was centred on formalisation of Parity Complexes, written in Coq.
Apr 2011 - Sep 2015
Academic Tutor
Teaching tutorials for various undergraduate mathematics courses.
Feb 2008 - Jan 2015
Graduate Researcher (Image Analysis)
Worked in the bio-tech imaging group constructing 3D models from a series of calibrated photographs. Also contributed to automatic estimation of breast density for breast cancer detection. Coauthored 2 journal articles. Relevant languages: C++.
Jan 2010 - Mar 2011
2 education records
Mitchell Buckley education
Doctor Of Philosophy (Phd), Mathematics
Bachelor Of Science (Advanced Mathematics, 1St Class Honors), Mathematics And Computer Science
FAQ
Frequently asked questions about Mitchell Buckley
Quick answers generated from the profile data available on this page.
What company does Mitchell Buckley work for?
Mitchell Buckley works for Kry10.
What is Mitchell Buckley's role at Kry10?
Mitchell Buckley is listed as Verification Engineer at Kry10.
What is Mitchell Buckley's email address?
AeroLeads has found 1 work email signal at @mq.edu.au for Mitchell Buckley at Kry10.
Where is Mitchell Buckley based?
Mitchell Buckley is based in Sydney, New South Wales, Australia while working with Kry10.
What companies has Mitchell Buckley worked for?
Mitchell Buckley has worked for Kry10, Symbolica Ai, Ghost, Csiro, and Université Libre De Bruxelles.
How can I contact Mitchell Buckley?
You can use AeroLeads to view verified contact signals for Mitchell Buckley at Kry10, including work email, phone, and LinkedIn data when available.
What schools did Mitchell Buckley attend?
Mitchell Buckley holds Doctor Of Philosophy (Phd), Mathematics from Macquarie University.
What skills is Mitchell Buckley known for?
Mitchell Buckley is listed with skills including Science, Mathematics, Statistics, Programming, Mathematical Modeling, Computer Science, Qualitative Research, and Latex.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Mitchell Buckley you were looking for.
View similar profiles
