Rohit Dureja, an aerospace research assistant pursuing a Ph.D. in computer science, has received international recognition for his research project. He has been awarded Best Student Contribution honors from the international research community at the FMCAD conference in San Jose, California. Dureja’s research, titled “Scalable Verification of Designs with Multiple Properties,” focuses on the safe …Continue reading “Aerospace graduate researcher awarded “Best Student Contribution” by international computing systems community”