More Exciting News!!

Dr. Matthew Revelle and Dr. Fangtian Zhong  will be joining the Software Engineering and Cybersecurity Lab.

Welcome, Dr. Revelle and Dr. Zhong! Learn more about Dr. Revelle and Dr. Zhong on the Teams tab.

Dr. Matthew RevellePhoto of Dr. Fangtian Zhong

Learn More

Bozeman is an amazing place to live and grow.
We encourage you to learn more and let us know if you have any questions!

Contact us >>


Looking for funding? This may be for you:

The Cybersecurity Lab at Montana State University is searching for several PhD students interested in developing novel techniques in program analysis, formal methods, and/or machine learning for automating portions of the vulnerability discovery process and reasoning over vulnerabilities in computer systems. These positions are fully funded, tuition waivers and a research stipend are provided, and students will work with Dr. Matt Revelle and other members of the lab.

Familiarity with some of the following topics is relevant but not required: software vulnerabilities, vulnerability research, reverse engineering, emulation, data-flow analysis, type systems, constraint solvers, symbolic execution, abstract interpretation, graph neural networks, and large language models. This position will support learning any of these topics and others needed to advance the state of the art. If you are interested in this research area, please do apply, regardless of your prior experience with these topics.

Current and prospective students interested in this research area are encouraged to contact Dr. Matt Revelle for additional information. Over the summer, Dr. Revelle's email address is [email protected].