I’m a teaching assistant in the School of Computing at Clemson University working towards my doctorate. I’m a member of the RESOLVE Software Research Group (RSRG) at Clemson and regularly attend (and present material) at seminar meetings that cover a range of topics in software engineering and formal methods.
I received my undergraduate degree from Denison University.
I’m interested in formal specification and functional verification of reusable software components. Specifically, my research involves the design, specification, and verification of a selection of algorithms from the sorting and graph algorithms domain. The specifications are written in terms of novel abstractions and are designed to be amenable to automated verification.
I’m an active developer of the RESOLVE verifying compiler and its associated toolchain, including a formalization IDE (F-IDE) built on top of JetBrain’s IDEs. The F-IDE is designed to assist both researchers and students in developing formally specified, verifiable software components.
Contact
School of Computing
Clemson University
821 McMillan Rd
Clemson, SC 29631, USA