SPLASH 2022 (series) / Farhan Kamil-okedara
![Farhan Kamil-okedara](https://2022.splashcon.org/getProfileImage/farhankamilokedara/a02b2944-2646-4cfd-9ae7-802b8f467d6a/small.jpg?1711458226000)
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.
Country:United Kingdom
Affiliation:University of Warwick
X (Twitter): https://x.com/_okedata
GitHub: https://github.com/AyoDev
Research interests:Programming language semantics and pragmatics, Logic, Category theory
Contributions
SPLASH 2022-profile
View general profile
View general profile