W wystąpieniu zostaną przedstawione wybrane zastosowania matematyki w projektowaniu systemów robotycznych, ze szczególnym uwzględnieniem sieci Petriego oraz gramatyk języków dziedzinowych. Prezentacja skupi się na tym, jak te narzędzia matematyczne wspierają procesy projektowania i analizy, umożliwiając precyzyjne modelowanie zachowań robotów oraz definiowanie specyfikacji działania systemów robotycznych.
Maksym Figat
realizator opis
Maksym Figat jest absolwentem informatyki na Wydziale Matematyki i Nauk Informacyjnych Politechniki Warszawskiej. W 2022 roku obronił z wyróżnieniem doktorat na Wydziale Elektroniki i Technik Informacyjnych tej samej uczelni. Jego praca pt. „Automatic Generation of Robotic System Controllers Based on a Specification” została obroniona w dyscyplinie automatyka, elektronika, elektrotechnika i technologie kosmiczne. W 2023 roku otrzymał trzy ogólnopolskie nagrody za swoją rozprawę: Nagrodę Prezesa Rady Ministrów, Nagrodę Główną w konkursie ABB oraz Pierwszą Nagrodę w XV Ogólnopolskim Konkursie Prac Dyplomowych 'Młodzi Innowacyjni' organizowanym przez Sieć Łukasiewicza/PIAP. Jego osiągnięcia naukowe zostały również wyróżnione w dorocznym raporcie NASA Jet Propulsion Laboratory (JPL), gdzie dzięki stypendium Fundacji Kościuszkowskiej prowadził badania przez 6 miesięcy na przełomie 2023 i 2024 roku. Maksym Figat jest także laureatem grantu Preludium Narodowego Centrum Nauki, uczestnikiem programu Erasmus Mundus Action 2 PANTHER, w ramach którego odbył 6-miesięczny staż naukowy w Australii w 2017 roku, oraz autorem 25 publikacji naukowych, w tym 11 w recenzowanych czasopismach. Od stycznia 2023 roku pracuje na stanowisku adiunkta na Politechnice Warszawskiej. W tym samym roku prowadził sesję na prestiżowej konferencji IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2023) w Detroit, USA, poświęconą tematowi 'Formal Methods and Planning'.
miejsce
102
dzień
26/09/2024
godzina
13:00-13:50
tagi
wykład
