Jad Ghalayini

Hello, I'm Jad! I'm a PhD student at the University of Cambridge supervised by Neel Krishnaswami, currently working on rigorous, categorical semantics for SSA form with complex side effects, such as weak memory. In my spare time, I enjoy learning languages, reading lore, and thinking of third items to put in lists. I also write far too much Lean.

My interests include:

• Category Theory
• SSA
• Intermediate Representations
• Compiler Design
• Type Theory
• Formal Verification
• Concurrency
• Weak Memory