Profile Image

Salman Omar Sohail

Robotics Systems Engineer

PUBLICATIONS


Automated Testing of Standard Conformance for Robots NZ flag

Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation DE flag

Download

EDUCATION


HBRS Logo

MSc. in Autonomous Systems Hochschule Bonn-Rhein-Sieg

OCT 2019 — APR 2023
Sankt Augustin, Germany DE flag

Majors are in:
  • Robotics & Automation
  • Computer Vision
  • Robotic Safety & Quality Assurance
  • Autonomous Mobile Robots & Manipulators
  • Machine Learning \ Deep Learning
  • Natural Language Processing


UOL Logo

BSc. in Mechanical Engineering University of Lahore

SEP 2014 — AUG 2018
Lahore, Pakistan PK flag

Majors are in:
  • Mechatronics
  • Total Quality Management
  • Renewable Energy Resources
  • Engineering Economics
  • Mechanical design and fabrication

ACADEMIC PROJECTS


PROPERTY-BASED TESTING: FORMALIZED ROBOTIC TESTING FOR STANDARD COMPLIANCE

R&D that automates robotic standards validation through simulated testing, verifying compliance, identifying missing functionalities and software bugs in heterogeneous robots (Master Thesis).

FUNCTIONAL NEAR-INFRARED SPECTROSCOPY (FNIRS) TAP DETECTION

Functional near-infrared spectroscopy (fNIR) detected finger taps from brain with a 92% test accuracy using Deep Neural Network.

OSMOSIS FAULT-TOLERANT SYSTEM

Implementation of a fault-tolerant manager that detects errors within the Summit XL robot and executes the recovery process during a mission around an airport.

TOYOTA HSR TESTING FRAMEWORK

Research and development of automated property-based testing for the Toyota HSR robot's perception, manipulation, and navigation stacks.

INTELLIGENT WINDING MACHINE AS A FLEXIBLE MANUFACTURING SYSTEM

Design and fabrication of an automated wireless coil-winding machine for stator coils of 70cc motorcycles (Bachelor's Project).

DEEP-LEARNING & NATURAL LANGUAGE PROCESSING

Development of entity detectors, image classifiers, text-extractors, text-summarizers, chatbots, form-fillers, test-suites, 3D spatial imitators, text pre-processors, predictive control etc.

COURSE WORK


C++ Nanodegree
Udacity | C++ Nanodegree