Giter Site home page Giter Site logo

Hi there 👋

I am a Ph.D. student in the School of Computing and Augmented Intelligence at Arizona State University, working with Prof. Siddharth Srivastava. I am also affiliated with UC Berkeley's Center for Human-Compatible Artificial Intelligence and ASU's Center for Human, Artificial Intelligence, and Robot Teaming. I have completed M.Tech. from Department of Computer Science & Engineering at IIT Guwahati, advised by Prof. Pradip K. Das.

My primary interests lie in AI safety, AI planning, action-model learning, and analysis of abstractions. In the past I have worked in the area of bio-inspired robotics, speech processing, and internet of things.

🔭 My research focuses on safe and reliable behavior of AI agents. I am currently investigating the minimal set of requirements in an AI system that would enable a user to assess and understand the limits of its safe operability.

To know more, please visit pulkitverma.net.

Pulkit Verma's Projects

aair-jedai icon aair-jedai

An educational tool to introduce AI planning concepts using mobile manipulator robots.

ais_robot icon ais_robot

Artificial Immune System Based "Dynamic Obstacle" Avoidance Robot

automata icon automata

A Python library for simulating finite automata, pushdown automata, and Turing machines

bullet3 icon bullet3

Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.

code icon code

This contains random codes written by me.

data_science_project icon data_science_project

This contains Team Technopreneur's contribution for the project https://github.com/5harad/crowds

mdp-ip icon mdp-ip

Automatically exported from code.google.com/p/mdp-ip

pddl-instances icon pddl-instances

🌍 PDDL instances covering the International Planning Competitions

pddlgym icon pddlgym

Convert a PDDL domain into an OpenAI Gym environment.

predicators icon predicators

Learning for effective and efficient bilevel planning

resources icon resources

Some links/resources for personal book-keeping

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.