ECOOP 2025 (series) / Syed Ali Asadullah Bukhari
Registered user since Thu 20 Mar 2025
Name:Syed Ali Asadullah Bukhari
Country:Ireland
Affiliation:Maynooth University
Personal website: https://www.maynoothuniversity.ie/people/syed-ali-asadullah-bukhari
Research interests:Formal Verification, Verification of AI systems, TinyML
Contributions
Using general profile