• Aktualności
    • Wydarzenia
      • Nowości biblioteczne - maj 2025
      • Nowości biblioteczne - kwiecień 2025
      • EuroSOI-ULIS 2025 po raz pierwszy w historii w tej części Europy
      • 30.05 wykład Mohammada Hossein Zarifi z University of British Columbia
      • Profesor Krzysztof Kulpa uhonorowany prestiżowym tytułem IEEE Fellow
      • Z głębokim żalem zawiadamiamy o śmierci prof. dr. hab. inż. Bogdana Galwasa, wybitnego uczonego i zasłużonego pracownika Politechniki Warszaw...
      • Sztuczna inteligencja i cyberbezpieczeństwo sercem cyfrowej tarczy surowcowej Polski
      • Komputerowa symulacja układów z liniami transmisyjnymi
      • 1. miejsce za Prototyp infrastruktury komputera kwantowego
      • Erasmus+ Uniwersytet Deusto oferuje miejsca na staże badawcze
      • List intencyjny z TDK Polska podpisany!
      • Koło Naukowe Kraken i studenci spec. Inteligentne Systemy zgarniają całą pulę w Real Estate Hackaton
      • 2025 International Advanced Technology and Taiwan-Japan Engineering Forum (IAT&TJEF 2025)
      • Hack the AI z mBankiem
      • Spotkanie grupy roboczej NATO SET-322
      • Polimorfizm funkcjonalny heterogenicznej platformy UAV
      • Welcome Point na Politechnice Warszawskiej
      • Nowości biblioteczne - marzec 2025
      • 4 kwietnia - Wykład Felixa Govaers z Fraunhofer Institute for Communication
      • Télécom Paris invite students interested in the Erasmus+
      • Akademia CISCO - nowe terminy kursów CCNAv7
      • Prof. Andrzej Kraśniewski nagrodzony w konkursie Gwiazdy Umiędzynarodowienia
      • Wystawa prac studenckich - Projekt Zespołowy 1
      • Na PW powstaje prototyp infrastruktury komputera kwantowego
      • Ogólnopolski konkurs TRUMPF Huettinger na najlepszą pracę inżynierską, magisterską i doktorską
      • Bluzy wydziałowe z logo WEiTI
      • Z wielkim smutkiem żegnamy zmarłego w dniu 26 stycznia 2025 roku, w wieku 78 lat ś. p. prof. dr hab. inż. Andrzeja Pacuta
      • Nabór na rządowe stypendia na Tajwanie 2025/2026
      • 5. Edycja projektu edukacyjnego STEM Politechniki Warszawskiej: Science, Technology, Engineering, Mathematics 2024/2025
      • Seminarium naukowe "Trends in Silicon Microelectronics"
      • 15-lecie UCBOiB PW
      • III miejsce studentów WEiTI na hackathonie Poland Chapter of IEEE Signal Processing Society.
      • Sesja plakatowa Pre-NeurIPS na Wydziale Elektroniki i Technik Informacyjnych
      • Prof. Ewa Niewiadomska-Szynkiewicz uczestniczką programu „Science Leaders Board”
      • Spotkanie KNSI Golem 5 grudnia 2024
      • Akademia CISCO na WEiTI zaprasza na kursy w 2025 roku
      • Nowa wystawa w Bibliotece WEiTI
      • Inauguracja Roku Akademickiego 2024/2025 w dniu 1 października 2024
      • Zaproszenie na uroczystą Inaugurację Roku Akademickiego 2024/2025 w dniu 1.10.2024 r.
      • Studia na WEiTI na pierwszych miejscach w rankingu Perspektyw
      • Przewodnik dla Kandydatów na studia 2024/2025
      • Wystawa w Muzeum PW poświęcona prof. Piotrowi Wolańskiemu
      • Skorzystaj z nowej Strefy Relaksu oraz kanap w Czytelni Cyfrowej
    • Komunikaty Dziekanatu
      • Nieobecność Prodziekana ds. nauczania i dodatkowe terminy przyjęć studentów
      • Wybór specjalności dla studentów 4 semestru studiów pierwszego stopnia w semestrze 25L
      • W dniu 07.05.2025 (środa) przyjęcia Prodziekana ds. nauczania zostają odwołane.
      • E-kurs bhp dla studentów
      • ODBIÓR DYPLOMÓW zmiana lokalizacji!
      • Odbiór decyzji stypendialnych
      • W dniach 10-11 kwietnia 2025 r. Dziekanat ds. Studenckich jest nieczynny
      • Zaliczanie praktyk zawodowych w semestrze 2025L
      • Opłaty za powtarzanie przedmiotów
      • Rekrutacja na studia w ramach programu Podwójnego Dyplomowania KEUDOS!
      • Prodziekan ds. Nauczania: odwołane przyjęcia studentów w najbliższą środę 05.03.2025
      • Rekrutacja studentów na wyjazdy
      • Ruszyła akcja stypendialna
      • Ogłoszenie dla studentów zaczynających studia magisterskie
      • Ustalenia dotyczące rejestracji studentów studiów stacjonarnych na semestr letni w roku akademickim 2024/2025
      • Rejestracja na zajęcia wychowania fizycznego w semestrze letnim 2024/2025
      • Terminarz zapisów na lektoraty semestr letni 2025
      • Procedura zapisów na przedmioty realizowane w semestrze letnim 2024/2025
      • Wybór specjalności dla studentów 3 semestru studiów pierwszego stopnia na kierunku Elektronika w semestrze 24Z
      • Wybór instytutu dyplomującego na studiach stacjonarnych pierwszego stopnia
      • Informacja dla studentów pochodzacych z terenów objętych powodzią
      • Ustalenia dotyczące wyboru tematu pracy dyplomowej na studiach I i II stopnia
    • Rankingi
      • Ranking Perspektyw 2023 - PW i kierunki WEiTI na podium!
    • Kalendarz akademicki
    • Nominacje i nagrody
      • Wyjątkowe wyróżnienie dla Politechniki na targach Międzynarodowego Salonu Przemysłu Obronnego (MSPO)
      • Wyróżnienie dla zespołu prof. Przemysława Rokity na konferencji PP-RAI 2024 - 5th Polish Conference on Artificial Intelligence
      • Trzech laureatów YOUNG PW II z WEITI
    • Sukcesy i dokonania Studentów WEiTI
      • Sukces studenta WEiTI Arkadiusza Nowackiego!
    • Konkursy
      • Projekt NCN
      • ENHANCE Hackathons 23-26.05.2024 na PW
      • 24. edycja Nagród Naukowych POLITYKI
      • IV edycja konkursu na finansowanie udziału nauczycieli akademickich w zagranicznych usługach edukacyjnych
    • Konferencje
      • Konferencja Ethics and AI - na Wydziale Administracji i Nauk Społecznych Politechniki Warszawskiej (23-25.09.2024)
      • Symposium of the Polish Bioinformatics Society 2024
    • Seminaria, wykłady, warsztaty
      • XV Doroczny Wykład Antropologiczny pamięci Profesora Andrzeja Wiercińskiego
      • Seminarium dot. wdrażania nowoczesnych metod dydaktycznych na PW
    • Zamówienia publiczne
  • Wydział
    • Jak do nas trafić
    • O WEiTI
      • Historia
      • Profil Wydziału w Bazie Wiedzy PW
    • Władze
      • Dziekan i Prodziekani Wydziału
      • Rada Wydziału
    • Administracja Ogólnowydziałowa
      • Biuro Dziekana
      • Dziekanat
      • Biuro Ekonomiczno-Finansowe
      • Główny specjalista ds. administracyjnych
      • Biuro Administracyjne
      • Biuro Obsługi Informatycznej
      • Dział Gospodarczy
    • Instytuty Wydziału
      • Instytut Automatyki i Informatyki Stosowanej
      • Instytut Informatyki
      • Instytut Mikroelektroniki i Optoelektroniki
      • Instytut Radioelektroniki i Technik Multimedialnych
      • Instytut Systemów Elektronicznych
      • Instytut Telekomunikacji i Cyberbezpieczeństwa (zmiana od 1.04.2025)
    • Biblioteka WEiTI
      • Analizy cytowań przygotowywane na życzenie przez Bibliotekę Wydziału
      • Bibliografia załącznikowa i przypisy w pracy naukowej: zasady, wskazówki i przykłady
      • Co u nas słychać?
      • Trwa akcja WOLNA KSIĄŻKA w Czytelni Cyfrowej WEiTI
      • Książki zakupione w 2025 r.
      • Książki zakupione w 2024 r.
      • Książki zakupione w 2023 r.
      • Książki zakupione w 2022 r.
      • Książki zakupione w 2021 r.
      • Książki zakupione w 2020 r.
    • Akty prawne Dziekana i dokumenty RW
      • Akty prawne Dziekana
      • Uchwały Rady Wydziału
    • Pełnomocnicy i inne funkcje
    • Raporty samooceny kierunków studiów
    • Wyszukiwarki nauczycieli akademickich
      • Wyszukiwanie pracowników oraz wybranych autorów WEiTI
      • Wyszukiwanie ekspertów WEiTI
      • Wyszukiwanie ekspertów medialnych
      • Aktywność zawodowa pracowników
      • Nauczyciele akademiccy WEiTI (1951-2011)
      • Statystyki oraz współpraca pracowników
    • Stałe Komisje
      • Komisje Rady Wydziału
      • Wydziałowa Komisja Wyborcza
    • Współpraca
      • Katalog usług B+R
      • Współpraca z jednostkami naukowymi
      • Współpraca z przemysłem, administracją i biznesem
      • Współpraca z organizacjami non-profit
  • Studenci
    • Księga Jakości Kształcenia
    • Informacje o studiach
      • Studia pierwszego stopnia
      • Studia drugiego stopnia
      • Studies for English speaking students
      • Studia doktoranckie
      • Studia podyplomowe
      • Studia zaoczne
      • Uchwały Rady Wydziału
      • Uchwały Rady Wydziału + załączniki
    • Szczegółowe informacje o studiach
      • Plany, programy i rygory
      • Podstawowe wskaźniki
      • Deklarowanie języka obcego
      • System obsługi studiów USOS »
      • Serwer dydaktyczny Studia »
      • Studium Języków Obcych »
    • Kalendarz, ustalenia, plan zajęć
      • Ustalenia w roku akademickim 2024/2025
      • Kalendarz akademicki
      • Plan zajęć
      • Zapisy na przedmioty
      • Deklarowanie języka obcego
      • Archiwum prac dyplomowych
      • Archiwum ustaleń
    • Praktyki, staże, praca
      • Praktyki
      • Targi Pracy i Praktyk WEiTI
      • Przydatne linki
    • Stypendia i sprawy socjalne
      • Zakwaterowanie
      • Stypendia
      • Ubezpieczenie zdrowotne
      • Ubezpieczenie NNW
      • Psycholog
    • Załączniki
      • Zasady podziału na specjalności
      • Zapisy na przedmioty
      • Wymagania programowe [ 1°]
      • Plany modelowe [ 1°]
      • Wymagania programowe [ 2°]
      • Plany modelowe [ 2°]
      • Transfer osiągnięć
      • Podstawowe wskaźniki
      • Efekty uczenia się
    • Formularze
    • Formularze - studia doktoranckie
      • Stypendium doktoranckie - dokumenty
      • Zwiększenie stypendiów dla doktorantów - dokumenty
      • Stypendium dla najlepszych doktorantów - dokumenty
    • Prace dyplomowe
      • Wybór tematów prac dyplomowych i promotorów na studiach pierwszego stopnia
      • Wybór tematów prac dyplomowych i promotorów na studiach drugiego stopnia
      • Procedura dyplomowania
    • Wymiana międzynarodowa
      • Aktualności
      • Wymiana w skrócie
      • Erasmus+
      • Podwójne dyplomowanie
      • Umowy dwustronne
      • Wymiana studentów
    • Biblioteka WEiTI
    • Akademia Cisco
  • Kandydaci
    • Przewodnik dla Kandydatów na studia 2024
    • Aktualności
      • Rekrutacja na studia stacjonarne II stopnia – semestr Letni 2025
      • Orientacja dla studentów zaczynających studia magisterskie
      • Rekrutacja na studia "Głębokie Sieci Neuronowe – Zastosowania w Mediach Cyfrowych"
      • Rekrutacja na studia stacjonarne II stopnia – semestr Letni 2024
      • Rekrutacja na studia I stopnia 2024/2025
      • Rekrutacja na studia stacjonarne II stopnia – semestr zimowy 2023
      • Rusza system rejestracyjny dla studentów z Ukrainy
    • Limity miejsc
    • Opis kierunków studiów
    • Stacjonarne studia pierwszego stopnia
      • Rekrutacja na studia pierwszego stopnia
    • Stacjonarne studia drugiego stopnia
      • Kierunki studiów i specjalności
      • Program studiów drugiego stopnia
      • Rekrutacja na studia drugiego stopnia
    • Stacjonarne studia I i II stopnia w języku angielskim
    • Studia niestacjonarne
      • Studia zaoczne
    • Studia podyplomowe
    • Studia doktoranckie
      • Szkoła Doktorska nr 3 zaprasza
      • Inne informacje
      • Formularze
  • Badania i nauka
    • Nominacje i nagrody
      • Dyplomant z Instytutu Systemów Elektronicznych WEiTI PW z nagrodami na konferencjach Inter-Academia w 2023 i w 2024
      • Nagrody DEFENDER rozdane na Międzynarodowym Salonie Przemysłu Obronnego - MSPO w Kielcach
      • Nagrody dla laureatów w 28. Konkursie o Nagrodę Siemensa i PW podczas Demo Day - w tym dla pracowników WEiTI PW
      • Wyjątkowe wyróżnienie dla Politechniki na targach Międzynarodowego Salonu Przemysłu Obronnego (MSPO)
      • prof. Tomasz Skotnicki laureatem ERC Advanced Grants
    • Aktualności
      • III miejsce studentów WEiTI na hackathonie Poland Chapter of IEEE Signal Processing Society.
      • Warsztaty z interaktywnego dowodzenia w systemie Coq
      • Dr inż. Karol Abratkiewicz nagrodzony stypendium Ministra Nauki
      • Wybrano nowych członków AMU PAN
      • Repozytorium Otwartych Publikacji Naukowych OPEN
      • Nowa książka prof. Kajetany Marty Snopek
      • Dwaj studenci WEiTI ze stypendium Ministra!
      • Artykuł dr. hab. Kacpra Gradonia w BMJ
      • Zapraszamy na wykład Sinara and ARTIQ - towards the open-source scientific instrumentation
      • List Ministra Nauki Dariusza Wieczorka dot. cyklu seminariów z zakresu cyberbezpieczeństwa
      • Naukowiec z WEiTI w przełomowym eksperymencie CERN-u
      • Opaska do monitorowania stanu emocjonalnego
      • Seminarium POB Sztuczna Inteligencja i Robotyka: 21-22 lutego
      • Przedstawiciele WEITI poprowadzili zajęcia dla chińskich studentów
    • Postępowania w sprawach stopni naukowych i tytułu naukowego
      • Dziennik Ustaw Rzeczypospolitej Polskiej
      • Harmonogram obron doktorskich, streszczenia i recenzje
      • Obrony doktorskie spoza Wydziału
      • Postępowania habilitacyjne
      • Postępowania profesorskie
    • Katalog usług B+R Wydziału Elektroniki i Technik Informacyjnych PW
    • Rada Naukowa Dyscypliny ITT
      • Informacje ogólne o Radzie
      • Terminarz posiedzeń Rady w roku 2024/25
      • Archiwum uchwał RND ITT (do 09.2021)
      • Program stymulacji rozwoju naukowego dyscypliny ITT w roku 2025
    • Kursy i szkolenia
      • Studium Ochrony przed Hałasem w semestrze zimowy 2025/2026
      • Studium Ochrony przed Hałasem w semestrze letnim 2023/2024
      • Zapraszamy na kursy CISCO - zapisy od 24.05.2023 r.
      • Kursy CISCO na WEiTI w 2024 r. - nowe terminy kursów od września!
      • Studium Ochrony przed Hałasem
      • Akademia Cisco
    • Projekty
      • Projekty finansowane przez NCBR
      • Projekty UE
      • Projekty strukturalne
      • Działalność statutowa
    • Obszary badawcze
      • Instytut Automatyki i Informatyki Stosowanej
      • Instytut Informatyki
      • Instytut Mikroelektroniki i Optoelektroniki
      • Instytut Radioelektroniki i Technik Multimedialnych
      • Instytut Systemów Elektronicznych
      • Instytut Telekomunikacji
    • Laboratoria i centra badawcze
      • Instytut Automatyki i Informatyki Stosowanej
      • Instytut Informatyki
      • Instytut Mikroelektroniki i Optoelektroniki
      • Instytut Radioelektroniki i Technik Multimedialnych
      • Instytut Systemów Elektronicznych
      • Instytut Telekomunikacji
    • Repozytorium WEiTI
      • Aktualności systemu Bazy Wiedzy PW
      • Publikacje pracowników
      • Rozprawy doktorskie - wyszukiwanie
      • Rozprawy doktorskie - wykazy
      • Projekty
      • Patenty
      • Prace dyplomowe
      • Nagrody
      • Aktywność zawodowa
      • Prawa autorskie
      • Conference Proceedings Citation Index (WoS)
      • SHERPA RoMEO
      • Podręcznik użytkownika
      • Komunikaty MNiSW (obowiązujące od roku 2017)
      • Komunikaty MNiSW (obowiązujące do roku 2016)
      • Publikacje pracowników (test)
    • Studenckie koła naukowe
    • Baza Wiedzy PW
  • Społeczność
    • Studenci i doktoranci
      • Organizacje studenckie, koła naukowe i kluby
      • Rzecznik Zaufania WEiTI
      • Życie studenckie
      • Sekcja ds. osób z niepełnosprawnościami
      • Sprawy studentów i doktorantów
      • Opieka medyczna
    • Pracownicy
      • Zapraszamy do wspólnych ćwiczeń!
      • Informacje socjalne
      • Szkolenia
    • Absolwenci
      • Jak wystąpić o Złoty Dyplom Politechniki Warszawskiej
      • Sylwetki zawodowe Absolwentów Wydziału Elektroniki i Technik Informacyjnych PW
      • Stowarzyszenie Absolwentów i Przyjaciół Politechniki Warszawskiej
      • Monitoring Karier Zawodowych Absolwentów PW
      • Rozwój zawodowy absolwentów PW
  • Przydatne informacje
    • Jak do nas trafić
    • Materiały dla Mediów
      • Galerie
      • Filmy
      • Informacje prasowe
    • Materiały o Wydziale
      • O 65. rocznicy pewnej bardzo ważnej decyzji, czyli o powołaniu Wydziału Łączności w Politechnice Warszawskiej
    • Materiały pomocnicze do wniosków o tytuł naukowy, stopień dr hab. i stanowisko prof. uczelni
    • Wynajem sal
    • Intranet
    • Moja Elka
    • Poczta elektroniczna
      • Poczta studentów WebMail
      • Poczta Pracowników WebMail
      • Regulamin sieci teleinformatyczej PW
    • Telefony alarmowe
    • Zasady bezpieczeństwa
    • Baza Wiedzy PW
    • Biblioteka Główna i Oficyna Wydawnicza PW
    • Politechnika Warszawska
    • MNiSW
    • Mapa serwisu
  • Szukaj

Politechnika
Warszawska

Wydział Elektroniki
i Technik Informacyjnych

Tekst 70-Lecie Wydziału Elektroniki i Technik Informacyjnych Politechniki Warszawskiej

Badania i nauka

  • Nominacje i nagrody
  • Aktualności
  • Postępowania w sprawach stopni naukowych i tytułu naukowego
    • Dziennik Ustaw Rzeczypospolitej Polskiej
    • Harmonogram obron doktorskich, streszczenia i recenzje
    • Obrony doktorskie spoza Wydziału
    • Postępowania habilitacyjne
    • Postępowania profesorskie
  • Katalog usług B+R Wydziału Elektroniki i Technik Informacyjnych PW
  • Rada Naukowa Dyscypliny ITT
  • Kursy i szkolenia
  • Projekty
  • Obszary badawcze
  • Laboratoria i centra badawcze
  • Repozytorium WEiTI
  • Studenckie koła naukowe
  • Baza Wiedzy PW

WEITI » Badania i nauka » Postępowania w sprawach stopni naukowych i tytułu naukowego » Obrony doktorskie spoza Wydziału »

mgr inż. Artur Męski

Model Checking for Reaction and Multi-Agent Systems
prof. dr hab. inż. Wojciech Penczek, Instytut Podstaw Informatyki PAN
Obrona doktorska
17.09.2020 12:00
Instytut Podstaw Informatyki PAN
Pobierz plik (pdf, 451,80 kB)
WEiTI na Facebook
WEiTI na Youtube
WEiTI na Twitter
WEiTI na Linkedin
Deklaracja dostępności
© 1998-2025 Politechnika Warszawska,
Wydział Elektroniki i Technik Informacyjnych, ul. Nowowiejska 15/19, 00-665 Warszawa