MrSherwin Varghese
Research Assistant in Verification of Neuro-symbolic Learnin
Department of Computing - Faculty of Engineering
Orcid identifier0000-0003-0191-8107 (opens in a new tab)
- Research Assistant in Verification of Neuro-symbolic LearninDepartment of Computing - Faculty of Engineering
- 6.17, Floor 6, Translation and Innovation Hub, London, W12 0BZ, United Kingdom
- 502, Huxley Building, South Kensington Campus, United Kingdom
BIO
Hello
I am a Research Assistant in the verification of neuro-symbolic learning within the Safe AI Labs (SAIL) led by Prof. Alessio Lomuscio at the Department of Computing, Imperial College London. Additionally, I am a UKRI funded Ph.D. student in the Department of Computing.
Prior to joining Imperial, I had been working in the industry as a machine learning engineer and a full stack developer. I studied my bachelor’s degree in computer science and engineering from Federal Institute of Science and Technology, my master's degree in software systems with specialisation in data analytics from Birla Institute of Technology and Science.
My current research focuses on improving the robustness of temporal AI systems - specifically, techniques to improve the scalability of formal verification for video based systems.
I am a Research Assistant in the verification of neuro-symbolic learning within the Safe AI Labs (SAIL) led by Prof. Alessio Lomuscio at the Department of Computing, Imperial College London. Additionally, I am a UKRI funded Ph.D. student in the Department of Computing.
Prior to joining Imperial, I had been working in the industry as a machine learning engineer and a full stack developer. I studied my bachelor’s degree in computer science and engineering from Federal Institute of Science and Technology, my master's degree in software systems with specialisation in data analytics from Birla Institute of Technology and Science.
My current research focuses on improving the robustness of temporal AI systems - specifically, techniques to improve the scalability of formal verification for video based systems.
FACULTY
- Faculty of Engineering
POSITION NAME
- Research Assistant in Verification of Neuro-symbol