I am an Assistant Professor of Computer Science in the School of Computing at Grand Valley State University. I completed a PhD in Computer Science at MSU 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.


My research primarily 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:


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 align 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.