I recently hosted an episode of Software Engineering Radio called "Jennings Anderson and Amy Rose on Overture Maps"!
🚀 Hi! I'm a researcher, teacher, podcaster, and software developer!
Innovating in technical areas such as software engineering and software testing, I teach courses, conduct research, write papers and a blog, give presentations, create software, and serve organizations. Working as an Associate Professor in the Department of Computer and Information Science at Allegheny College, I am an associate editor for the Journal of Software: Evolution and Process, an academic editor for the PeerJ Computer Science journal, a program committee member for conferences like the International Conference on Software Testing, Verification and Validation and the International Conference on Software Engineering, and a reviewer for journals like Transactions on Software Engineering and the Journal of Software Testing, Verification and Reliability. Along with media appearances on podcasts like Stack Overflow and Talk Python, I interview the world’s leading experts on software engineering as a co-host of Software Engineering Radio. You can learn more about me and my work by reading my biography, downloading my curriculum vitae, and subscribing to my mailing list.
Database Testing: Automatically test relational database schemas
Flaky Tests: Find and fix unpredictable and harmful test cases
Mutation Testing: Using automatically seeded defects to evaluate tests
Regression Testing: Efficiently and effectively rerunning test suites
Web Testing: Detecting and repairing responsive web page layout
Explore all of my areas of research expertise
Read all of my research papers
Review all of my research presentations
| Venue | Role(s) | Year(s) |
|---|---|---|
| International Conference on Software Maintenance and Evolution | Tool Demonstrations Program Committee | 2026 - 2025 |
| International Flaky Tests Workshop | Program Committee Member | 2026 - 2024 |
| International Symposium on Software Testing and Analysis | Program Committee Member, Tool Demonstrations Program Committee Member | 2026 - 2023 |
| PeerJ Computer Science Journal | Academic Editor | 2026 - 2019 |
| Journal of Software: Evolution and Process | Associate Editor, Reviewer | 2026 - 2012 |
Investigate all of my professional service
Read all of my blog posts
Learn more by reading my professional biography
Algorithm Analysis: Implement and evaluate correct and efficient algorithms
Data Abstraction: Build and manipulate correct and efficient data structures
Discrete Structures: Clearly connect mathematics to Python programming
Operating Systems: Build and understand operating system components
Software Engineering: Team-based introduction to building software systems
Explore all of my teaching materials
Cellveyor: Easily convey reports from Google Sheets to GitHub
Chasten: Configurable linting tool that uses XPath expressions
GatorGrade: Python front-end for the GatorGrader assessment tool
GatorGrader: Automated assessment for source code and writing
SchemaAnalyst: Data generation and mutation analysis for database schemas
Benefit from my open-source software
Needs a lot of editing but https://third-bit.com/dsdx/mapreduce/
I'm launching "**Terminal Tuesdays**" 🖥️
🐁 A biweekly meetup where someone from the community showcases their terminal setup.
💯 Configs, TUIs, scripts, weird hacks
📡 Join our Discord: https://discord.com/invite/6EUERBrAMs
▶️ Going to be recorded & published: https://youtube.com/@terminalcollectiveorg
The ratio of CRDT tutorials online to CRDT uses in production systems is baffling.
“Shock! Shock! I learned yesterday that an open problem I’d been working on for several weeks had just been solved by Claude Opus 4.6… It seems that I’ll have to revise my opinions about “generative AI” one of these days. What a joy it is to learn not only that my conjecture has a nice solution but also to celebrate this dramatic advance in automatic deduction and creative problem solving.”
(Donald E. Knuth)
https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf
won't say I'm totally proud of myself here, but once I saw that the Claude C compiler was super buggy according to YARPGen and Csmith, I had a hard time preventing myself from doing something about it