Orestis Melkonian
omelkonian
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
Input Output (IOG) Kirkwall, Orkney, Scotland
Shengliang Pu
shlpu
Lecturer - Department of RS & GIS, Faculty of Geomatics, East China University of Technology.
ECUT China
爱可可-爱生活
fly51fly
BUPT prof | Sharing latest AI papers & insights | Join me in embracing the AI revolution! #MachineLearning #AI #Innovation
PRIS BeiJing