Skip to content
View DaitTan's full-sized avatar
6 followers · 5 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2
Block or Report

Block or report DaitTan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DaitTan/README.md

  • 👋 Hi, I’m Tanmay Khandait (@DaitTan)
  • 👀 I am a Master's student in Computer Science at Arizona State University
  • I work at the intersection of Artificial Intelligence, Verification and Testing and Mathematical Optimization.
  • Do visit my website at https://www.daittan.com/
  • 👀 Check out our most recent paper on Neural Network Repair accepted at CoRL 2022 (https://openreview.net/pdf?id=X4228W0QpvN)!
  • 🌱 I’m currently learning on how to integrate safety in systems.
  • 💞️ I’m looking to collaborate on any project involving optimization, machine learning, artificial intelligence.
  • 📫 Reach me through email at [email protected]

Popular repositories Loading

  1. RBFNN RBFNN Public

    MATLAB 2 8

  2. NNRepLayer NNRepLayer Public

    Jupyter Notebook 2 1

  3. saferl saferl Public

    Python 2

  4. kriging_gpr kriging_gpr Public

    Python 1

  5. PIRProjects PIRProjects Public

    Projects for CSE 598: Perception in Robotics Course at ASU by Dr. Yezhou Yang during Spring 2021

    Python 1

  6. Solid-Waste-Management-System Solid-Waste-Management-System Public

    Forked from Hexagineers/Solid-Waste-Management-System

    A software engineering project regarding solid waste management and encouraging the sales of recycled goods