CGPA 3.48

Dean's Honour List: Fall 2014, Spring 2015, Fall 2015, Spring 2017

August 2013 GCE Advanced Level, Lahore Grammar School, Lahore.

2As (Mathematics, Physics)

August 2011 GCSE Ordinary Level, Convent of Jesus and Mary, Lahore.

7 A*/As

Experience

Research in the following areas of Computer Science:

•Program analysis

•Machine learning

2017-Current             National University of Computer and Emerging Sciences (FAST-NU), Teaching Assistant

•Fall 2019 - Compiler Construction

•Spring 2019 - Compiler Construction

•Fall 2018 - Compiler Construction

•Spring 2018 - Compiler Construction

•Fall 2017 - Object Oriented Analysis and Design

Research in the following areas of Computer Science:

•Model checking

•Program synthesis

•Automatic correction

•Compiler construction

•Machine learning

2016-2017                 Techlogix.

Final Year Project for Bachelor of Science Degree

Time series prediction using statistical methods and machine learning

2015-2017                 Fiverr, Freelancer

•Database design and development

•Small C++/JAVA projects

2015-2017                 Interface, Magazine Society at FAST-NU.

•2016-2017 : Editor in Chief

•2015-2016 : Vice President

2015-2017                  Association of Computing Machinery (ACM), Head of Department: Documentation

Events:

•Geek Week 2015

•Geek Week 2016

Projects

2018                           Protictor.

PROmela automaTIC correcTOR

Automatic corrector for models violating ω-regular properties

Automatic corrector for models violating ω-regular properties

•Research and development

•Developed in C++;

•Uses SPIN model checker

2016-2017                Sales forecasting for wholesale distributors.

Final Year Project with Techlogix

•Prediction using hybrid of Holt-Winters and ANN

•Research and development

•Developed using R

Spring 2017                Compiler for C--.

Bottom-up compiler for self-defined language C--

•Complete language specification

•Lex, parser, translator, virtual machine

•Developed in JAVA

Fall 2016                     SNOW, Student NOW.

Desktop student management suite

•Term project for Software Engineering Course

•Complete and extensive documentation

•Developed in JAVA

Spring 2016   ICR handwritten text reader.

Intelligent Character Recognition app

•Joint term project for Artificial Intelligence and Software for Mobile Devices courses

•Android app for text recognition using machine learning

•Developed in Android, using Neuroph for training Artificial Neural Network (ANN)

Fall 2015                        Photo sharing website.

Web-based photo sharing application

•Term project for Web Development course

•JavaScript client including modules for gallery display and slideshow •PHP server

•Developed using PHP, JavaScript, CodeIgniter, and XAMPP

Summer 2015                BondLogic.

Web App for companies providing bonds for bail in the US

•Deployed in the United States of America

•Database and reporting system

•Developed using Microsoft Access and Microsoft SharePoint

Skills

Model SPIN, NuSMV

Checking

Compiler llvm, handmade compilers

Construction

Programming C/C++, JAVA, Promela, JavaScript, PHP

Languages

Application Web, Android, JAVA desktop

Development

Data Science R, Python

Miscellaneous Bash scripting, git, regex