Sharjeel Khan
Research Assistant at Carnegie Mellon University in Qatar

About Me


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.

Skills


{{filter.name}}
{{skill.name}}
{{skill.percentage}}

Portfolio


{{filter.name}}