Kevin Hayes

I am a first year Ph.D. student at Northwestern University with a focus on operating systems and floating point precision/correctness. I work on a hobby operating system in my freetime and am interested in just about anything related to computer systems (OS, compilers, architecture, etc.) Throughout my undergraduate and master's degree(s) I worked with Professor Peter Dinda and the rest of Prescience Lab.

Here's a formula I really like so that I can test out math rendering. $$\frac{ {\mathbb R}[x] }{ (x^2+1) } = {\mathbb C}$$

Note: I am not fully certain how I passed Field/Galois theory so asking me for any explanation of the previous equation is a bad idea.

Publications

Posts

Contact

Feel free to reach out to me through any of the means below, though email is usually the best bet (checking LinkedIn hurts my soul).