Hi there 👋 I'm a data scientist, who loves to discover new things and delve into them, and really enjoys writing code. My main focus is developing new algorithms to verify DL/RL systems.