![Sidi Mohamed Beillahi](https://2024.esec-fse.org/getProfileImage/sidimohamedbeillahi1/3471cbe6-9ffd-4d5f-aec3-9192b113ffd4/small.jpg?1711489356000)
Registered user since Sun 7 Nov 2021
Name:Sidi Mohamed Beillahi
Country:Canada
Affiliation:University of Toronto
Personal website: https://beillahi.github.io/
Research interests:Verification, Program Synthesis, Distributed Systems, Concurrency, Smart Contracts
Contributions
Using general profile