I am a Computer Science Undergraduate in my Senior year at Lahore University of Management Sciences(LUMS), working under the supervision of Dr. Junaid Haroon Siddiqui. I hope to become an aspiring researcher and my primary area of interest is Program Analysis. Apart from that, I take part in co-curricular activities specifically programming contests and side projects. I also have experience working in the field of Human-Computer Interaction, Artificial Intelligence and Software Engineering.
Selected as a teaching assistant for the course Advanced Programming (CS 300) for Spring 2018.
Working as a technical Author of the course "Python and Javascript Challenges" which is due to be released soon. It is an interactive course for people who are new to programming and gradually scales the difficulty level of problems offered.
Worked as a teaching assistant for the course Intro to Artificial Intelligence (CS 331) in Spring 2017. Designed assignments, managed logistics and held various tutorials.
Got exposure to Model Checking paradigm of program analysis. Understood Java PathFinder (JPF) inside-out by examining its code and wrote sample Listeners and Choice-Generators. Reproduced results of a previous research paper.
Doing my BS in Computer Science from Syed Babar School of Science and Engineering, LUMS. My senior year thesis is concentrated in the field of Program Analysis.
Completed my degree with an A+.
Working under the mentorship of Dr. Siddiqui, I'm doing Program Analysis of embedded devices with the help of two other colleagues. We are targeting underlying Operating Systems such as Contiki and performing Static Analysis on applicationt that run on it using Low Level Virtual Machine (LLVM). This helps in reducing the power consumption and optimization of memory of such devices.
Facilitated offline testing of dynamic websites in the absence of a working server. Recreated JSON objects being communicated to and from the front-end javascript and performed testing with the help of manual instrumentation using a python script and Antlr4.
Developing an android application called MyStent to reduce health risks associated with post-stent patients by providing guidelines and an emergency portal. It will also keep track of logs maintained by the user in order to provide data in an efficient and easy-to-comprehend way for both the patients and the doctors.
Developed a chatbot and a personal assistant for Software Engineering semester project. It is capable of performing normal everyday conversations with reinforced learning and can also serve as a personal assistant for trivial daily tasks such as weather checking, sending an email and setting reminders.
Developed a multi-player AI of the game Battleship using probabilistic learning as my Artificial Intelligence (CS 331) semester project.
Improvized and revamped the existing code of HANDS2 (HSP Base Assignment using NGS data through Diploid Similarity) and added support for BAM files (Binary version of a Sequence Alignment Map file) using HTSJDK (Java API for High Throughput Sequencing developed by Broad Institute).
