SPLASH 2022 (series) / Farhan Kamil-okedara
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
Twitter:https://twitter.com/_okedata
GitHub:https://github.com/AyoDev
Research interests:Programming language semantics and pragmatics, Logic, Category theory
Contributions
| SPLASH 2022 | Remote Student Volunteer in Organizers within the Student Volunteers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2022-profile
View general profile
View general profile