Bardh Hoxha
Senior Principal Scientist at Toyota North America
Ann Arbor, Michigan, United States
Summary
👤
Senior🎓
Top SchoolBardh Hoxha is a Senior Principal Scientist based in Ann Arbor with 8 years of experience building safety assurance and evaluation systems for learning-enabled AI, currently leading related efforts at Toyota North America. He blends a strong academic foundation—a PhD in Computer Science from Arizona State University and prior faculty experience in formal methods and cyber-physical systems—with hands-on R&D that spans monitoring, testing, and verification of AI-driven systems. His background includes entrepreneurship training through NSF I-Corps and a track record teaching theoretical computer science and mathematics, which informs a rigorous, systems-oriented approach to safety. Colleagues can expect a practitioner who pairs formal verification techniques with practical evaluation pipelines to make learning-enabled systems more auditable and reliable.
9 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at Arizona State UniversityBachelor of Science Major: Computer Science, Bachelor of Science Major: Computer Science at New York Institute of TechnologyMaster of Arts Mathematics; Actuarial Science, Master of Arts Mathematics; Actuarial Science at Central Connecticut State University
Albanian
Github Skills (7)
robotics10
model-predictive-control10
reinforcement-learning9
control-systems9
jax8
decision-making7
monitoring3
Programming languages (2)
Github contributions (5)
bardhh/cbfkit
Apr 2023 - Jul 2026
JAX toolbox for safe robotics control: Control Barrier Function (CBF) safety filters, MPPI planning, and a drop-in safe-RL layer.
Contributions:1 release, 1 review, 252 PRs in 3 years 4 months
jaxroboticsautonomous-systemscontrol-barrier-functionscontrol-systems
bardhh/homepage
Sep 2020 - Jun 2026
Contributions:21 PRs, 170 pushes, 23 branches in 5 years 10 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.