Hey, my name is Sharjeel Khan. I am interested in Programming Languages, Logic and Software Verification research. I am currently a first year PhD student at Georgia Institute of Technology.
I worked as a research assistant in Carnegie Mellon University in Qatar on metaCLF2 project with Professor Iliano Cervesato and Professor Giselle Reis. I researched about financial systems more specifically Automated Trading Systems (ATS) where I formalized ATS in Celf so we can verify properties of the system by implementing the meta-theory in Celf. During the research, our paper "Formalization of Automated Trading Systems in Concurrent Linear Framework (CLF)" got accepted at Linearity and TLLA workshop 2018.
In my free time, I blog about my life and my interests which range from games to manga on Medium. I also play games, watch TV shows, read manga like One Piece and eat food at new restaurants. My absolute favorite thing is to code new projects or participate in online programming competitions while listening to music on Spotify. The projects are normally in Web Development or Embedded Systems as I have a background in them.
Aside from all of this, I love to travel. I have been to around 20+ countries and 40+ cities which can be seen below in the Map. Whenever I get the chance, I try to travel to new countries and to meet new people. I normally backpack around the country to see the different cities and cultures. My most recent trip was to Turkey where I visited Istanbul, Ephesus, Cappadocia and Pamukkale.
If you need help in your projects, you can check out my resume and email me. Maybe, I might be useful to you.