Keyvan Majd ⚡️
Curriculum Vitae
I'm a PhD candidate in Computer Science with 6+ years of research experience in safe robot learning and control, repair and verification of cyber-physical systems, and optimization and machine learning. Dominion of various programming languages, machine learning frameworks, and optimization tools. Full CV is available here .
Education

Arizona State University | 2019 - Present

Ph.D. in Computer Science

North Carolina A&T State University | 2017 - 2019

M.Sc. in Electrical Engineering

Ferdowsi University of Mashhad | 2011 - 2015

B.Sc. Electrical Engineering

Experience

Research Intern | 2024 - Present

Honda Research Institute USA

Graduate Research Assistant | 2019 - Present

Arizona State University

-Integrating imitation learning and neural network repair to derive safe policies for a robotic lower-leg prosthesis device.

-Taking into account the human's imperfect perception via joint communication and motion planning.

-Neural network repair for training policies with safety guarantees using Mixed-integer Programming (MIP).

-Comparison of AV simulators: SVL, Carla, and Webots in the context of requirements driven adversarial testing.

-Risk-bounded control for the Toyota’s HSR robot in confined dynamic environments using Control Barrier Functions.

Graduate Teaching Assistant | 2020

Arizona State University

-CSE355: Introduction to Theoretical Computer Science

Graduate Teaching Assistant | 2019

Arizona State University

-CSE494: Introduction to Mobile Robotics

Graduate Research Assistant | 2017 - 2019

North Carolina A&T State University

-A globally exponentially stable optimal analytical solution to the classical car-like robot kinematic model trajectory tracking and control problem.

Graduate Teaching Assistant | 2017

North Carolina A&T State University

-CSE356: Stochastic Process and Random Variables

Professional Services

­Session chair of Motion and Path Planning in the 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (iROS) | 2021

Member of Toyota Human Support Robot (HSR) Developer Community | 2019 - Present

­Reviewer for Conferences | 2018 - Present

IEEE Conference on Decision and Control (CDC), International Conference on Robotics and Automation (ICRA), IEEE/RSJ International Conference on Intelligent Robots and Systems (iROS), American Control Conference (ACC)

­Reviewer for Journals | 2018 - Present

IEEE Transactions on Vehicular Technology, IET Radar, Sonar & Navigation, IET Electronics Letters

­ President of Iranian Student Association, Greensboro NC | 2017 - 2018

Skills
  • Farsi (Native)
  • English (Fluent)
  • C/C++
  • Python
  • MATLAB
  • TensorFlow
  • Keras
  • R
  • SAS
  • SVM
  • Gazebo
  • ROS
  • Apollo
  • Gurobi
  • Pyomo
  • CPLEX
  • YALMIP
  • HTML
  • Astro
  • Git
profile image