Yunus Sahin
PhD Student At University Of Michigan at University of Michigan
Ann Arbor, Michigan United States
Summary
👤
Senior🎓
Top SchoolYunus Sahin is a PhD student at the University of Michigan with a decade of experience developing control, planning, and verification methods for cyber-physical systems, particularly multi-robot coordination and autonomous driving. He bridges control theory, formal methods, and optimization to produce scalable, correct-by-construction algorithms—work that includes a novel temporal logic for large-scale multi-agent planning and a provisional patent–backed intention-aware supervisory control framework supported by Toyota Research Institute. Yunus has implemented and tested safety-critical controllers on real vehicles at MCity, falsified open-source autopilot software, and produced MILP reformulations suitable for embedded automotive platforms during an internship at Mitsubishi Electric Research Labs. Comfortable in MATLAB, C++, and optimization toolchains, he combines theoretical rigor with hands-on validation in realistic environments.
9 years of coding experience
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at University of MichiganBachelor of Science (BSc), Electrical and Electronics Engineering, Bachelor of Science (BSc), Electrical and Electronics Engineering at Middle East Technical University
Turkish, English
Github Skills (17)
timing4
planning3
automata3
temporal3
eda2
verification2
abstraction2
synthesis2
toolbox2
python2
logic2
specification2
state-machine2
electrical-engineering2
declarative-programming2
Programming languages (1)
Github contributions (5)
sahiny/philosophers
Nov 2017 - Jun 2021
Drinking Philosophers Implementation
Contributions:2 PRs, 16 pushes, 3 branches in 3 years 7 months
drinking
sahiny/cLTL-synth
Feb 2017 - May 2018
Contributions:35 commits, 34 pushes, 4 branches in 1 year 3 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.