PhD Student @ CS University of Colorado Boulder
“Program testing can be used to show the presence of bugs, but never to show their absence!”, E. W. Dijkstra
Projects: Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning.
TA for Courses: CSEN 3104 Algorithms, CSEN 4622 Machine Learning
Projects: Deep Adaptive Writing Network for HP Print Quality Assessment, Human 3D pose estimation using Generative Adversarial Networks.
TA for Courses: CS 562 Software Project Management, CS 372 Introduction to Computer Networks (ecampus)
Best young faculty award - 2016
Courses taught: Modern Control Systems, Intro to Programming, Digital Logic and Computer Design Fundamentals, Computer-aided Instrumentation, DC Circuit Analysis.
Development of flight simulation solutions for aviation industry.
Graduate Courses: Algorithms Design, Autonomous Systems, Computer-aided Verification
Full scholarship for masters program
Thesis title: Automatic Prediction of Perceptual Image Quality (in collaboration with NTNU)
Graduate Courses: Non-Linear Systems, Flight Dynamics and Control, Linear Multivariable Feedback Control, Digital Signal Processing, Random Processes, Adaptive Filtering, Optimal Control
Dean’s Distinction list; Full scholarship for duration of undergraduate program
Project: Development of Software for Safe Operation of Co-located Radars.
High Achiever Award
5 A grades (Mathematics, Physics, Chemistry, English GP, Urdu).