Ali Habibi is currently a Senior Director at MediaTek, where they focus on formal verification techniques including model checking, theorem proving, and static code analysis. They previously held several positions at SiFive Inc., Qualcomm, NVIDIA, MIPS Technologies, and served as a research associate and assistant at Concordia University. Ali earned a Ph.D. from Concordia University in 2005.
This person is not in the org chart
This person is not in any teams
This person is not in any offices