Hi, I'm
I'm a programmer in the Austin area and a software engineering graduate student at Texas State University (expected completion June 2022). I have about thirteen years experience working in the tech industry. I've worked a mix of different positions - front end development (mostly what I call "front end tech" type work: HTML, CSS, MySQL and some light JavaScript work), quality assurance (for three companies - one was a Fortune 500 company and another was a startup that went public) and dev ops (setting up Jenkins CI/CD and writing tests in Java). In school I've studied C, C++, Java, Python and Bash. On my own, I've learned some Node, Mongo, Angular and React. I love hiking, running, lofi music and artichokes.
In 2021 I finished my graduate thesis titled "Rigorous Analysis of Combined Software Processes Via Model Checking". It is an analysis of CTL model checking, a kind of static analysis. It examines testing in a variety of scenarios, from software code to medical process steps. The Java model checker I wrote and the paper are available at github.com/mark-mcdermott/mcdmodelcheckermvc (the paper is in src/main/resources/misc/docx). I have since then begun to redo the Java code for my model checker - the code is much cleaner this time around. The new code is available at github.com/mark-mcdermott/cs5392-group-project-kusupati-liu-mcdermott-namala (the new version was a group project for a class, but I wrote all the code). The original has graphical output using the JUNG graph library for Java. The new version doesn't have a graphical user interface yet - it is a console based app.