Hi, I’m Liam! I am a Mathematics student at Carnegie Mellon University. I also study Computer Science, though not for an additional major or minor. I greatly enjoy reading about mathematics, computer science, languages; most things are really interesting if you look into them with enough of an open mind! While I am not working, I often spend my time reading books, listening to music, riding public transportation and/or thinking about public transportation, or one of many other activities too numerous to list here.
My strongest interest is compilers. I have worked on semantic analysis
in clang. I am interested overall in the intersection of safety and
correctness in programming languages and the implementation of faster, more
efficient features and designs that allow for the client to have stronger
guarantees about the behavior of their programs. I think that this is
particularly important now in a time when it is easier than ever to generate
code through LLMs that performs well: how do we know that the code is
correct? How can we reason about whether it conforms to a specification or
whether it is mathematically correct and corresponds to our ground truth?