Harleen Hanspal
PhD student (Nov 2021 - Present)
Imperial College London
Biography
I am a PhD candidate in the Verification of Autonomous Systems group led by Prof. Alessio Lomuscio in the Department of Computing, Imperial College London. I am working on verifying neural networks against semantic changes in image domain using generative modelling. I am also interested in defining and verifying semantic properties in language domain, multiagent social settings, etc.
Before joining Imperial, I was working at Daedalean AG, the coolest place to be at for working towards developing certifiable autonomous autopilot for manned aerial vehicles.
Interests
- Verification
- Generative modelling and Representation learning
- Distributed systems
Education (Overview of past projects)
-
Master in Robotics, Systems and Controls, 2017 - 2020
ETH Zurich
Theses:
- Provable robustness and analysis of Neural Networks focussing on scaling applications of inexact verification methods
- Distributed stochastic optimization under data-driven setting
-
Bachelor in Electrical Engineering, 2013 - 2017
Indian Institute of Technology Bhubaneswar
Thesis: Manipulators on Micro Aerial Vehicles
