Distinguished Early Career Scholar Award
Posted on 02-25-2021
I been awarded GVSU's Distinguished Early Career Scholar Award for 2021, detailed in an article on GVSU's School of Computing website!
It is a wonderful honor to be selected, especially when I so thoroughly enjoy research with my colleagues and students.
As always, if you are a student at GVSU and are interested in research, feel free to contact me! I am always interested in collaborations, especially those focusing on the specification or verification of high-assurance cyber-physical systems.