Summary

Dedicated and results-oriented PhD student at Kansas State University with a strong background in AI and software development. Passionate about contributing to advancements in formal verification, RL, trustworthy AI, and robotics. Eager to apply research expertise and technical skills in a Teaching or Research Assistant role.

Education

PHD STUDENT, COMPUTER SCIENCE

K-State (Kansas State University)

Kansas, USA | Jan, 2025 - Present

M.SC., ARTIFICIAL INTELLIGENCE AND ROBOTICS

University of Isfahan

Isfahan, Iran | 2015 - 2018

Thesis: Structured Learning in Markov Random Field for Efficient Inference with Submodular Relaxation Technique.

  • Developed submodular relaxation (SMR) inference for Associative Hierarchical Random Fields (AHRF) using convex optimization methods for image semantic segmentation.

B.SC., SOFTWARE ENGINEERING

Sajad University of Technology

Mashhad, Iran | 2009 - 2013

Thesis: Design and Implementation of a Car Tracking Software.

  • Implemented Lucas-Kanade method for optical flow estimation and vehicle tracking.

Publications

Authorship Attribution in Historical and Literary Texts by A Deep Learning Classifier

Reisi, E., Mahboob Farimani, H. (2020). Journal of Applied Intelligent Systems and Information Sciences, 1(2), 118-127.

doi: 10.22034/jaisis.2021.269735.1018

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS (In progress)

Work Experience

GRADUATE RESEARCH ASSISTANT (GRA)

Kansas State University

Kansas, USA | Spring 2025

  • Working on trustworthy AI with a focus on formal verification, reinforcement learning, and safe robotics
  • Research Assistant under Prof. Pavithra Prabhakar

GRADUATE TEACHING ASSISTANT (GTA)

Kansas State University

Kansas, USA | Spring 2025

  • GTA for CIS200: java programming under Prof. Lang.

ROBOTICS DEVELOPER AND CONSULTANT

Northsence

Gothenburg, Sweden | 2022 to 2024

  • Consulting and developing infrastructure for teleoperation mobile robots on construction sites.
  • Researching robot navigation, 3D Scene Graph, Vision-based SLAM, and cloud-based robot control.
  • Robot simulations.
  • Making an autonomous mobile robot (AMR) from scratch.
  • Providing real-time communication over the Internet for teleoperation.

SENIOR FULL-STACK .NET DEVELOPER

Part Financial Data Processing Company

Mashhad, Iran | 2020 - 2022

  • Developed AI-based services and REST APIs using C# and .NET.
  • Designed and implemented Public Key Infrastructure (PKI) for remote AI-based authentication for Enterprise Banking infrastructure.
  • Mentorship of junior developers.

RESEARCH ASSISTANT

University of Isfahan

Isfahan, Iran | Dec. 2018 - Feb. 2020

  • Designed and implemented an AI-based system for authorship attribution and semantic search for old Persian manuscripts.
  • Developed AI-based POS Tagger for literature researchers.

Skills

  • Programming Languages: C#, C++, Python, Matlab, OpenCV, Java
  • Robotics: ROS, ROS2
  • Machine Learning Frameworks: Pytorch, Tensorflow, Keras, Huggingface
  • Databases: MS SQL Server, MongoDB, Redis
  • Web Technologies: React, JQuery, CSS, HTML
  • Tools: Git, Docker, Unit testing