Research
Seeking Students
I'm currently looking for undergraduate and/or graduate students to work on research projects related to formal methods and software engineering at CSUSM. If you're interested in working with me, please email me with a short statement of your interests and we can meet to discuss further.
Select Publications
Papers
- Minimally Comparing Relational Abstract Domains
Full paper presented at the 21st International Symposium on Automated Technology for Verification and Analysis.
- Identifying Minimal Changes in the Zones Abstract Domain
Full paper presented at Theoretical Aspects of Software Engineering 2023.
- Incremental Transitive Closure for Zonal Abstract Domain
Short paper accepted at NASA Formal Methods 2022.
Books and Such
- Learning Elixir
Introductory text into Elixir/OTP Application Development.
- Elixir: Scalable and Efficient Application Development
Video course developed using the text of Learning Elixir.