About

I am an Assistant Professor of Computer Science in the School of Computing and Information Systems at Grand Valley State University. I completed a PhD in Computer Science at MSU under the supervision of Dr. Betty H.C. Cheng in 2017. Previously, I worked for just over a dozen years at GE Aviation Systems (formerly Smiths Aerospace) in a variety of roles in the areas of simulation, product security, and navigation and guidance.

Research

My research primarly deals with software engineering problems related to high assurance systems. A list of my publications can be found here, or by viewing my Google Scholar profile. My research interests fall within novel methods for design, implementation, and verification of:

Contact

Please feel free to contact me with any questions or possible collaboration. I am always interested in collaboration on mutually beneficial projects with those in industry or academia that alight with my current research interests and projects. I cannot guarantee a response to all e-mails, but I will do my best to get back to you. My e-mail address is devrieby [at] gvsu [dot] edu.