Publications

Professional Experience

• Lecturer I
  September 2022 - Present
  Department of Computer Science, University of Texas Rio Grande Valley, Texas, USA
  Description:
  • Instructed diverse programming language courses to CS and non-CS students.
  • Mentored Senior projects for two teams of 3-4 students each
  Supervisor: Dr. Emmett Tomai, Department Chair, Department of Computer Science, UTRGV, Texas, USA



• Lecturer
  January 2022 - July 2022
  Department of Computer Science, South Texas College, Texas, USA
  Description:
  • Delivered various courses in C++, Python, and computer fundamentals.
  Supervisor: Mr. Saeed Molki, Department Chair, Department of Computer Science, South Texas College, Texas, USA



• Lab Technician
  November 2021 - December 2021
  Department of Computer Science, South Texas College, Texas, USA
  Description:
  • Provided comprehensive programming support and guidance with multiple CS courses, improving student understanding.
  Supervisor: Mr. Saeed Molki, Department Chair, Department of Computer Science, South Texas College, Texas, USA



• Research Assistant
  September 2018 - September 2021
  Department of Computer Science, Oregon State University, Oregon, USA
  Description:
  • Designed a visual notation for program traces.
  • Developed a new operational semantics to generate simpler proof Directed Acyclic Graphs (DAGs).
  • Designed a query language that transforms these proof DAGs to generate program explanations.
  • The transformations led to a systematic reduction in the size of traces for 21 well-known example programs by at least 80%.
  Advisor: Dr. Martin Erwig, Professor, Department of Computer Science, Oregon State University, USA



• Teaching Assistant
  January 2019 - June 2020
  Department of Computer Science, Oregon State University, Oregon, USA
  Description:Facilitated graduate and undergraduate level courses
  
  • CS527 (Error Correcting Codes)
  • CS381 (Programming Language Fundamentals)
  • CS362 (Software Engineering II)
  Supervisors:
  • Dr. Bella Bose, Professor, Department of Computer Science, Oregon State University, USA
  • Dr. Martin Erwig, Professor, Department of Computer Science, Oregon State University, USA
  • Mr. Eric Ianni, Senior Instructor I, Department of Computer Science, Oregon State University, USA



• Intern, Software Development
  June 2016 - July 2017
  Abacusdesk IT Solutions Pvt. Ltd., Faridabad, Haryana, India
  Description:
  • Developed and implemented algorithm for seat-allocation for college exams using PHP.



• Intern, Software Development
  June 2015 - August 2015
  BodyWorks – A Unit of Turnsteps, Delhi, Delhi, India
  Description:
  • Leveraged OpenCart framework to develop backend and integrate payment gateway for e-commerce website for fitness consultant to sell organic health and wellness products.
  Manager: Nishant Joshi, Associate Director, PRO Youth Foundation, Gurugram, Haryana, India.

Additional Projects

• Medicare Cards
  July 2016 - June 2018
  The NorthCap University, Gurugram, Haryana, India
  Description:
  • Developed an android application to store medical history of individuals using Firebase.
  • Designed an interface to access this information using Near Field Communication (NFC) cards.



• SOCER Website
  July 2016 - January 2017
  Society for Cyber Education Research, The NorthCap University, Gurugram, Haryana, India
  Description:
  • Developed a front-end to display the upcoming events of SOCER as well as the latest news and articles related to the field.



• Student Information System
  July 2014 - November 2014
  Description:
  • Developed the login and update feature for a Student Information System.

Conference Paper Review Experience

• Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing 2021
• Symposium on Implementation and Application of Functional Languages 2020
• Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing 2020

Relevant Skills

• Comprehensive knowledge and experience in language design, domain-specific languages, type systems and operational semantics.

• Extensive programming experience in C, C++, Haskell, Java, and Python.

• Proficiency in HTML, CSS, PHP, Idris, Bootstrap and Shell scripting, Visual Studio Code, Visual Studio, Linux and Unix environment.

Selected Honors and Awards

• September 2018 - September 2021: Research Assistantship (full tuition and stipend), Oregon State University, Oregon, USA

• December 2017: Awarded Gold Medal by Prof. Kaptan Singh Solanki, Governer of Haryana, for securing first position in the 2013-2017 batch, The NorthCap University, Haryana, India

• July 2013 - June 2017: Awarded merit-based scholarship every semester for securing first position in Computer Science, The NorthCap University, Haryana, India