College of Engineering
Electrical and Computer Engineering
Thakur graduated from Utah State University in August 2019 with major in Computer Engineering. During his graduate studies, he worked in Dr. Zhen Zhang’s Formal Veri cation Research group. His research focus was enhancing the applicability of stochastic model checking methods by solving scalability issues in current model checking software.
He is currently working as C++ software engineer at The Mathworks where he is responsible for designing, developing and maintaining the core MATLAB components that implement and optimize the performance of MATLAB’s indexing capability.
Thakur was born and grew up in Nepal and attended Institute of Engineering for his Bachelor’s degree in Electronics and Communication Engineering. Before attending Utah State University, he worked in the capacity of security analytics engineer at LogPoint Nepal Pvt. Ltd. and C++ software engineer at E&T Nepal Pvt. Ltd. He enjoys traveling, coding and watching television.