Critical Embedded Systems

In this area we aim to create automated and optimized computer systems.

Systems Verification

Projects applied to verification and testing of hardware and software.

IoT - Internet of Things

Solutions based on connection between devices in data analysis.

An automated method for checking safety properties for programs written in C.

Autonomous system for detecting and estimating objects submerged in water.

A system for generating temporal prediction-based images to missing persons.

Diagnosis of Childhood Pneumonia Using Deep Convolutional Neural Network for Pattern Recognition in X-Ray Images.

A method for formal verification of programs written in VHDL, based on code transformations.

A robotic prosthesis for generating actions in movements based on muscle patterns.

A smart glove for recognizing patterns in gestures for connecting and communicating between electronic devices.