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.
8 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, Minor: Accounting and Finance, Bachelor of Science, Major: Computer Science, Minor: Accounting and Finance at New York Institute of TechnologyMaster of Arts, Mathematics; Actuarial Science, Master of Arts, Mathematics; Actuarial Science at Central Connecticut State University
Albanian, Serbian, German
Github Skills (3)
decision-making6
specification3
monitoring2
Programming languages (2)
Github contributions (5)
bardhh/homepage
Sep 2020 - Dec 2024
Contributions:114 pushes, 1 branch in 4 years 3 months
bardhh/cbfkit
Apr 2023 - Dec 2024
Contributions:1 release, 1 review, 2 PRs in 1 year 8 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.