Publications

Automated Testing of Standard Conformance for Robots

IEEE, CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2023 (Newzealand, Auckland)

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

IEEE, EUROPEAN CONFERENCE ON MOBILE ROBOTS (ECMR), 2021 (Germany, Bonn)

Education

Hochschule Bonn-Rhein-Sieg

MSc. in Autonomous Systems

OCT 2019 — APR 2023
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

University of Lahore

BSc. in Mechanical Engineering

SEP 2014 — AUG 2018
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-preprocessors, predictive control etc.

Salman Omar Sohail

Robotics Engineer