Zachariah Carmichael
Research Scientist at Meta
South Bend-Mishawaka Region United States
Summary
🤩
Rockstar🎓
Top SchoolZachariah Carmichael is a Research Scientist at Meta with a 9-year track record in explainable and responsible AI, holding a PhD from the University of Notre Dame (2024). He specializes in opening the deep learning black box through intrinsically interpretable models, neuro-symbolic methods, and rigorous critiques of post hoc explainers, and has published practical defenses against adversarial attacks on explainers. His work spans vision, language, and tabular data, and includes building an open-source symbolic framework for studying feature attribution and interactions. Past internships and roles—at Mitsubishi, LLNL, and HPE—demonstrate a rare combination of applied systems work (e.g., a 2,000× surrogate CFD speedup) and interpretability research, while contributions to the sympy test suite show hands-on commitment to improving tooling and reliability in FLOSS projects. Based in Greater Boston, he blends academic rigor with production-minded engineering to make AI both understandable and responsibly deployable.
9 years of coding experience
7 years of employment as a software developer
Bachelor's and Master's Degrees Computer Engineering, Bachelor's and Master's Degrees Computer Engineering at Rochester Institute of TechnologyDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Notre Dame
English, Spanish
Stackoverflow
4,743reputation
1.3mreached
27answers
4questions
tensorflow
top-1%
deep-learning
top-5%
python
top-5%
Github Skills (20)
computer-algebra10
python10
sympy10
testing10
tensorflow10
test-automation10
numpy9
deep-learning9
debug8
debugging8
theano8
hdl6
datetime-format6
vivado6
nose6
Programming languages (11)
Github contributions (5)
sympy/sympy
Oct 2020 - Jul 2022
A computer algebra system written in pure Python
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:2 reviews, 13 commits, 6 PRs in 1 year 9 months
Contributions summary:Zachariah primarily contributed to the testing infrastructure of the `sympy/sympy` repository, focusing on the `theanocode` printing module. They added test cases to ensure the correct printing of `Exp1` and other constant functions, and made improvements related to test case setup and function wrappers. Their work involved fixing a bug in `core.mod` related to the PolynomialError in `gcd` when using `Piecewise` and further testing the edge case. These modifications focused on improving the reliability and functionality of the test suite for the project.
mathpythonsciencecomputer-algebra-systemalgebra
craymichael/CNN_LCD
May 2018 - Nov 2020
CNNs for Loop-Closure Detection on the Oxford New College and City Centre Datasets
Contributions:15 commits, 1 PR, 11 pushes in 2 years 6 months
cnnslooploop-closureoxforddatasets
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.