conf.researchr.org / Farhan Kamil-okedara
![Farhan Kamil-okedara](https://conf.researchr.org/getProfileImage/farhankamilokedara/731eb678-b825-4314-9b62-55b0fd04cfaf/small.jpg?1717434949000)
Registered user since Mon 28 Nov 2022
Name:Farhan Kamil-okedara
Bio:
Hello, I’m a maths and computer science undergrad. who likes programming language theory and logic.
Affiliation:University of Warwick
X (Twitter): https://x.com/_okedata
Research interests:Programming language semantics and pragmatics, Logic, Category theory
Contributions