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
2023
ICFP 2023-profile
View general profile
View general profile