conf.researchr.org / Jad Elkhaleq Ghalayini
![Jad Elkhaleq Ghalayini](https://conf.researchr.org/getProfileImage/jadelkhaleqghalayini/7fe3ff79-046c-4f64-a10f-7f52f2085a05/small.jpg?1712604993000)
Registered user since Wed 29 Dec 2021
Name:Jad Elkhaleq Ghalayini
Bio:
PhD student at the Department of Computer Science and Technology in the University of Cambridge, supervised by Neel Krishnaswami.
Country:United Kingdom
Affiliation:University of Cambridge
Personal website: https://gitlab.com/tekne
X (Twitter): https://x.com/technicallyrain
GitHub: https://github.com/imbrem
Research interests:Dependent Types, Substructural Types, Ownership, Programming Languages, Compilers
Contributions