Hey, my name is Sharjeel Khan. I am interested in Programming Languages, Logic and Software Verification research. I am currently a Research Assistant at Carnegie Mellon University in Qatar where I am working on the metaCLF2 project with Professor Iliano Cervesato and Professor Giselle Reis. Right now, I am researching about financial systems more specifically Automated Trading Systems (ATS). We are trying to formalize ATS in Celf so we can verify properties of the system by implementing meta-theory in Celf.
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 like The Big Bang Theory and Game of Thrones, 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 Ukraine where I visited Kiev, Lviv and Chernobyl.
Hopefully, you like my website. If you need help in your projects, you can check out my resume and email me. Maybe, I might be useful to you.