People

Director

Charlie Murphy
Charlie Murphy
Assistant Professor, Gianforte School of Computing
Homepage DBLP Scholar Email

Affiliated Faculty

Matt Revelle
Matt Revelle
Assistant Professor, Gianforte School of Computing
Leads the HACR Lab, with which FORGE shares lab space and a weekly seminar. Works on program analysis, machine learning, and formal methods for vulnerability discovery and computer security.
HACR Lab Email

PhD Students

Prakriti Baral
Prakriti Baral
Sundas Iftikhar
Sundas Iftikhar
Felicia Jayasaputra
Felicia Jayasaputra
Redempta Manzi
Redempta Manzi
Sangam Shrestha
Sangam Shrestha

Undergraduate Students

Will Mitchell
Will Mitchell

Join the Lab

Interested in reasoning about software?

Current Montana State students: send an email or drop by Gianforte Hall 360A to chat. Prospective students: apply to MSU's masters or PhD program and email me why you're interested in this area.

A strong background in computer science, discrete math, and/or logic is the best preparation—but I don't expect you to arrive an expert. I'm happy to teach the tools and techniques through the research itself.

Email Charlie