Research

I will be presenting my work on static analysis for shell scripts at the New England Programming Languages and Systems Symposium Series!

I’m a member of the ATLAS research group at Brown where I’m advised by Nikos Vasilakis. I work on applying techniques from programming languages and formal methods to help developers better understand shell scripts. You can find out more by reading my undergraduate honors thesis. You can find the official submission on the Brown CS Website.