Hey, my name is Sharjeel Khan. I have a background in Programming Languages and Logic and Web Development. 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. We are working on a logical framework to verify financial systems. If you need help in your projects, you can check out my resume and email me.