“If formal verification becomes vastly cheaper, then we can afford to verify much more software. […] AI also creates a need to formally verify more software: rather than having humans review AI-generated code, I’d much rather have the AI prove to me that the code it has generated is correct.”
Today an article was published by UML about the research I did last semester as part of Professor Gollamudi's group. It was a great honor getting to work with them on this project, which could help improve the security of software with minimal effort on developers' part.
www.uml.edu/News/stories...
Last semester, I wrote a paper and did a presentation on the Curry-Howard correspondence. I finally got around to writing a blog post about it with links to the paper and the recorded presentation: tristanmcd130.github.io/math/2026/02...
I'll be graduating in the spring, so I'm looking for full time jobs that start in May 2026. If you have any opportunities in software engineering, data science, ML, compilers, etc. suitable for a fresh college grad, feel free to contact me here or on LinkedIn: www.linkedin.com/in/tristanmc...
Hey everyone, I'm Tristan. I'm a senior at UMass Lowell majoring in CS and Math. Some of my interests include programming languages, machine learning and AI, linguistics, and category theory. I have a blog where I talk about my projects: tristanmcd130.github.io #introsky
Hey everyone.
If you interested in doing Advent of Code this year with a new language and are leaning towards FP.
I have made an OCaml template repo to get you started.
It also has NIX support to avoid dependency hell.
I hope you have fun using the project just as I have.
github.com/aguluman/adv...
