Salman Omar Sohail
Robotics Engineer
PUBLICATIONS
Automated Testing of Standard Conformance for Robots
Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop
Manipulation
EDUCATION
MSc. in Autonomous Systems
(Hochschule Bonn-Rhein-Sieg)
OCT 2019 — APR 2023
Sankt Augustin, Germany
Sankt Augustin, Germany
Majors are in:
- Robotics & Automation
- Computer Vision
- Robotic Safety & Quality Assurance
- Autonomous Mobile Robots & Manipulators
- Machine Learning \ Deep Learning
- Natural Language Processing
BSc. in Mechanical Engineering
(University of Lahore)
SEP 2014 — AUG 2018
Lahore, Pakistan
Lahore, Pakistan
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.