I am a developer/researcher who focuses on the development of automated verification and software testing techniques for software systems. In particular, I am interested in the verification and testing of critical embedded systems. Few techs that I enjoy working in, are Python, C/C++, LLVM, Flutter, and TensorFlow.
- 👨🏽💻 Currently working in program analysis and machine learnnig.
- 😊 Willing to contribute in opensource projects.
- 🌐 Visit my porfolio website for complete background and contact.
To connect with me,
