CV

Research Areas

  • AI Planning, Model Learning, and Analysis of Abstractions.
  • I am working on interrogation of autonomous agents where based on agent’s responses, we can reason about its internal model. In the past I have worked in the area of bio-inspired robotics, speech processing and internet of things.

Education

Work Experience

  • 2015-2018
    Storage Efficiency Developer
    NetApp Inc.
    • Workload Prediction: Predicting workload on a storage volume, based on I/O patterns for All Flash systems.
    • File and Volume Clones: Developed features and managed issues related to file and volume clones on UNIX-based NetApp proprietary WAFL file system so as to improve the storage efficiency of data.
  • 2012-2013
    iOS Applications Developer
    Tata Consultancy Services Ltd.
    • Portfolio Management Applications: Built applications for iPhone and iPad and developed tools so as to analyze the user portfolio in an interactive way.
    • Cross-platform Applications: Cross-platform mobile application development of mobile applications supported on both Android and iOS.

Teaching Experience

  • Fall 2019
    Teaching Assistant for a graduate-level Artificial Intelligence Course at Arizona State University.
    • CSE 571 Artificial Intelligence.
    • Taught by Dr. Siddharth Srivastava.
    • Gave tutorials on Constraint Satisfaction Problems, PDDL, First Order Logic, and Dynamic Bayesian Networks.
    • Co-created the software testbed used to support the course projects.
    • Created and graded homework assignments.
    • Mentored project groups working on class projects.
  • Fall 2014
    Teaching Assistant for a graduate-level Speech Processing Course at IIT Guwahati, India.
    • CS 566 Speech Processing.
    • Taught by Dr. Pradip K. Das.
    • Mentored students working on class projects and homeworks.
    • Graded homework assignments and exams.
  • 2013-2015
    Teaching Assistant for several undergraduate-level Computer Science Lab-Courses at IIT Guwahati, India.

Honors and Awards

Services

Software Development Skills

  • GitHub: https://github.com/pulkitverma25
  • High Level Programming Languages: C, C++, Python, Prolog, Java.
  • Programming Environments (IDEs): PyCharm, Visual Studio, MATLAB
  • Database Systems: PostgreSQL, MS SQL Server, MySQL.

Certifications and Training

  • IBM Certified Database Associate - DB2 Universal Database V9 Family.
  • Microsoft First Look Clinic Training - Microsoft Windows Server 2009.
  • Use Case Modeling and Analysis - IBM Center of Excellence.