Hi there, you can call me Kait. I’m a computer science + maths student completing my undergraduate thesis.
Most of my experience is in “modern” web development. I’m interested in compilers, and formal methods and static analysis. Currently, I do work on binary analysis.
Sometimes, I do coding problems and puzzles like Advent of Code. Functional programming is exciting!
If you want, you can reach me at k(at)rina.fyi or on Twitter as @kaitrna.
Have a great day! ^_^
Publications
- Lam, K., & Coughlin, N. (2023). Lift-off: Trustworthy ARMv8 semantics from formal specifications. In A. Nadel & K. Y. Rozier (Eds.), Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (pp. 274–283). TU Wien Academic Press.
10.34727/2023/isbn.978-3-85448-060-0_36(Best Paper Award)