Mujahid Khan
Software Engineering Research Group
$ echo "U2FsdGVkX19xSJarKndb1mei8y+pFTnXhR29641RSL1Vkgw+eMuPKv9lZ3z5exIi" | openssl aes-256-ecb -d -a -k bleedblue #For Email
Resume
$ echo "U2FsdGVkX19xSJarKndb1mei8y+pFTnXhR29641RSL1Vkgw+eMuPKv9lZ3z5exIi" | openssl aes-256-ecb -d -a -k bleedblue #For Email
Resume
My first year of PhD got off to a slow start. I was met with challenges from the get go but they were sure exciting. I started my research with focus on an emerging hot topic in software testing - testing of DNNs. However, after spending considerable amount on this area I realized that this is not what I want to work on. Now I have directed my attention to a topic which may not be that 'mainstream' for most people but this is something I really like working on - Automated Program Repair. Prior to this change, I have been working on other projects for which I have had gathered 4 rejections from top conferences (not something to show off, but to demonstrate that it is a learning process and when I finally get a publication in, it will not be just by luck but by persistence and my ability to quickly address issues, overcome them and potentially solving additional research questions). Even though rejections are pretty depressing at times but it is also important to learn from them and make sure we do not repeat the same mistakes. In addition to that, I have also co-reviewed multiple conferences: ICST 2020, ICST 2019, SEKE 2019, COMPSAC/SETA 2019.
UPDATE: Got an invitation for Google's Foobar challenge - their secret hiring process. Completed level 1 and will probably pause here because once you complete this challenge (5 levels), sooner or later a recruiter from Google invites you for a technical interview for which I believe I'm not ready yet. I also know I won't be able to hold back and will most likely complete a couple more challenges but I'm sure I will not complete it unless I think I'm ready for the interview. This is a special opportunity and nobody would want it to go to waste. I will update you as soon as I make progress with the levels.
I am currently doing my PhD in Software Systems from Texas State University. My advisor is Dr. Guowei Yang. My primary area of research is static analysis, model checking and symbolic execution. I did my Bachelors in Computer Science from Lahore University of Management Sciences (LUMS), working under the supervision of Dr. Junaid Haroon Siddiqui.
I also have experience working in the field of Human-Computer Interaction, Artificial Intelligence and Software Engineering.
Other than that, my hobbies include playing dota2 + COD + FIFA + CSGO + Apex Legends and watching anime + TV series (myanimelist). I like to mess around with different OS and also do mini-projects to soothe my mental distress.
Office: Derrick Mezzanine M4
DIA: CS 4371/ CS 5378
Lab hours: DERR 112 - Tuesday, Wednesday, Thursday - 1pm to 5pm
Serving as an instructional assistant for the course Computer Systems Security (CS 4371)/ Advanced Computer Security (CS 5378).
Serving as an instructional assistant for the course Computer Systems Security (CS 4371)/ Advanced Computer Security (CS 5378).
Teaching assistant for the course Advanced Programming (CS 300) for Spring 2018.
Worked as a technical Author of the course "Python and Javascript Challenges". 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 PhD from Texas State University. My research is concentrated on verification, model-checking and symbolic execution of software systems.
Did 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 (automated software engineering).
Completed my degree with an A+.
Under the mentorship of Dr. Siddiqui, I did Program Analysis of embedded devices with the help of two other colleagues. We targetted underlying Operating Systems such as Contiki and performing Static Analysis on applications that run on it using Low Level Virtual Machine (LLVM). The technique helped 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.
Developed an android application called MyStent to reduce health risks associated with post-stent patients by providing guidelines and an emergency portal. It also kept 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).