Zajęcia
Bieżące
rok akademicki 2022/2023
Archiwum
Zainteresowania naukowe
- języki programowania: programowanie niskopoziomowe, programowanie obiektowe, programowanie aspektowe,
polityki bezpieczeństwa
- metody i narzędzia wytwarzania oprogramowania: przemysłowe platformy technologiczne
- inżynieria oprogramowania: architektura aplikacji wielowarstwowych, wzorce projektowe, wzorce aplikacyjne,
metodyki projektowe
Publikacje
- W.Zychla, Zastosowanie bisymulacji do weryfikowania własności
Non-Interference, FIT XVI, grudzień 2002
- W.Zychla, CsPL, system do weryfikacji bezpieczeństwa programów, FIT
XVII, grudzień 2003
- eXtensible Multi
Security, Contracts for .NET, Journal of .NET Technologies Vol.4,
2006, ISSN 1801-2108, ISBN 80-86943-13-5
- W.Zychla, eXtensible Multi Security: Infrastruktura bezpieczeństwa dla
platformy .NET, praca doktorska, 21-10-2008
- W.Zychla,
Heterogeneous System Architecture in Education Management Software
,
Software Engineering: Improving Practive through Research,
PTI Polish Information Processing Society, Warszawa, 2016, Chapter 1, ISBN: 978-83-943248-2-7, pp. 13-29
- M.Penar, W.Zychla,
Object-Oriented Build Automation -- A Case Study
,
January 2021, Computing and Informatics 40(4):754-771
Książki
Prace magisterskie i dyplomowe
Prace magisterskie
- [06-2009] Marcin Gołębiowski, Ewaluacja Microsoft Biztalk Server w kontekście wzorca integracyjnej szyny
danych
- [12-2010] Kamil Szostak, Wzorzec wstrzykiwania zależności. Porównanie implementacji na przykładzie
Managed Extensibility Framework
- [07-2011] Adam Szeliga, Implementacja dynamicznej ewaluacji kontraktów dla platformy .NET
- [07-2011] Bartosz Cichoński, Implementacja silnika identyfikacji wzorców projektowych w zewnętrznych
zestawach .NET
- [09-2011] Grzegorz Chrubasik, Implementacja Language INtegrated Query
- [11-2011] Szymon Malinowski, Implementacja ramy obiektów zastępczych dla platformy .NET
- [11-2011] Jakub Szumiato, Wzorce projektowe dla aplikacji Silverlight i Windows Presentation
Foundation
- [05-2012] Jacek Caban, Implementacja biblioteki MSHTML w projekcie WINE
- [03-2013] Bartłomiej Gałkowski, Implementacja środowiska automatycznego tworzenia kodu
- [04-2013] Konrad Jamrozik, Augmented Dynamic Symbolic Execution
- [12-2013] Maciej Cieślak, Implementacja osadzonego silnika bazy danych
- [05-2014] Mariusz Kaczmarek, Projekt interfejsu komunikacyjnego integracyjnej szyny usług
- [07-2014] Dawid Ryznar, Chrostos, implementacja serwera Continuous Integration
- [10-2015] Mariusz Łuciów, Automatyczne testy bezpieczeństwa aplikacji internetowych
- [10-2015] Przemysław Turczyński, Implementacja serwera AMQP, optymalizacja oraz rozszerzenie o trwały
magazyn danych
- [07-2017] Kamil Sutkowski, Implementacja wzorca integracyjnego dla platformy J2EE
- [12-2017] Adrian Mularczyk, Implementacja wydajnego wzorca wstrzykiwania zależności dla złożonych grafów
zależności
- [06-2018] Marek Hołyński, ASP.NET MVC własny silnik renderowania stron i jego porównanie z istniejącymi
rozwiązaniami
- [09-2019] Kamil Kwaśny, Implementation and testing of the CIL interpreter
- [09-2019] Karol Wieczorek, Porównanie właściwości i wydajności języków Swift i Objective-C
- [09-2020] Piotr Maślankowski, Implementation of an aspect programming engine for the Java platform using
compiler plug-in mechanism
- [02-2021] Krzysztof Drab, Porównanie wydajności wybranych technologii programowania mobilnego
- [09-2021] Michał Flendrich, Federacyjne zarządzanie tożsamością i dostępem dla aplikacji natywnych
chmurowo
- [01-2022] Filip Zambrzycki, Implementacja translacji CIL do JavaScript
- [03-2023] Bartłomiej Grochowski, Implementacja silnika przetwarzania procesów biznesowych opisywanych
standardem BPMN 2.0
Prace dyplomowe
- [02-2017] Szymon Gwóźdź, Implementacja wybranych elementów serwisu społecznościowego do gromadzenia i
oceniania zbiorów muzycznych
- [02-2017] Dominik Szczechla, Studium wzorców projektowych w programowaniu aplikacji interaktywnych
- [02-2017] Konrad Dymek, Implementacja aplikacji mobilnej obsługującej uczelniany system zapisów dla
platformy Android
- [02-2017] Michał Kujbida, Zastosowanie technologii webowych w aplikacjach multiplatformowych na podstawie
frameworku Electron
- [07-2017] Damian Górski, Implementacja języka zapytań oparta na drzewach rozbioru
- [07-2017] Oskar Wieczorek, Emscripten-Backend LLVM dla Javascript
- [09-2017] Wojciech Pędrak, Studium technologiczne silników rozpoznawania mowy
- [09-2017] Łukasz Jaźwa, Implementacja gry sieciowej z mechanizmami komunikacji dwukierunkowej
- [09-2017] Marcin Owcarz, Implementacja serwisu internetowego do tworzenia i rozwoju drzewa
geneologicznego
- [09-2017] Tomasz Sołtysik, Implementacja uniwersalnej aplikacji mobilnej do współpracy z Systemem Zapisów
Instytutu Informatyki
- [02-2018] Wiktor Adamski, Implementacja protokołu LSP dla przykładowego środowiska zintegrowanego
- [02-2018] Kamil Mazur, Implementacja aplikacji mobilnej do współpracy z przemysłowym systemem
kadrowo-płacowym
- [06-2018] Marcin Świątek, Implementacja aplikacji mobilnej do zarządzania portfelem kryptowalut
- [09-2018] Paweł Jankowski, Implementacja aplikacji mobilnej integrującej się z systemem Moodle
- [02-2019] Kamil Breczko, Część serwerowa systemu automatycznej ewaluacji zadań algorytmicznych
- [02-2019] Mateusz Pater, Część kliencka systemu automatycznej ewaluacji zadań algorytmicznych
- [02-2019] Filip Zambrzycki, Implementacja wybranych elementów serwisu społecznościowego dla chorych oraz
niepełnosprawnych
- [09-2019] Krzysztof Lis, Zintegrowany edytor dla własnego silnika graficznego
- [09-2019] Konrad Cielecki, Implementacja aplikacji internetowej do planowania podróży z wykorzystaniem
zewnętrznego dostawcy map
- [02-2020] Beata Szczuka, Aplikacja internetowa i mobilna do zarządzania nawykami żywieniowymi
- [02-2020] Adam Bukowczyk, Aplikacja internetowa i mobilna do zarządzania nawykami żywieniowymi
- [02-2020] Michał Bronikowski, Implementacja biblioteki monitorującej wydajność aplikacji stworzonej w
Ruby on Rails
- [09-2020] Kamil Woś, Implementacja aplikacji internetowej do zarządzania rozgrywkami tenisowymi
- [09-2020] Marcin Drewniak, Analiza porównawcza architektury warstwowej i heksagonalnej na przykładzie
aplikacji internetowych
- [02-2021] Kamil Domagała, Szymon Miler, Implementacja aplikacji internetowej i mobilnej serwisu
rezerwacji noclegów
- [02-2021] Patryk Wilusz, Implementacja aplikacji proponującej jadłospisy na podstawie zadanych przez
użytkownika wymogów
- [02-2021] Karolina Denkiewicz, Implementacja aplikacji webowej do planowania podróży
- [02-2021] Bartłomiej Grochowski, Implementacja IntelliSense języka C# dla Godot Editor
- [09-2021] Sebastian Kondraciuk, Aplikacja webowa do wsparcia organizacji rozgrywek w Guild Wars 2
- [09-2021] Marek Kochanowski, Simplifying application deployment processes on server instances with scarce
resources
- [09-2021] Marek Kwaśny, Implementacja architektury serwisu społecznościowego
- [02-2022] Konrad Kasprzyk, Implementacja aplikacji magazynu sprzętu elektronicznego z wykorzystaniem
Domain Driven Design
- [02-2022] Jakub Froń, Aplikacja służąca lokalizacji zaginionych zwierząt
- [02-2022] Jakub Remiszewski, Implementacja aplikacji internetowej służącej do znajdowania grup graczy do
zespołowych gier komputerowych
- [02-2022] Paweł Szeląg, Aplikacja obsługująca pracę stolika sędziowskiego podczas meczu koszykówki
- [02-2022] Anna Dąbrowska, Implementacja aplikacji webowej dla osób z zespołem jelita drażliwego
umożliwiającej kontrolę stanu zdrowia oraz diety
- [06-2022] Tomasz Woszczyński, Implementacja aplikacji webowej służącej do obsługi turniejów do gry
Counter Strike: Global Offensive
- [06-2022] Radosław Zazulczak, Aplikacja mobilna do zarządzania korepetycjami
- [06-2022] Heorgii Karpenko, System do sprawdzania obecności studentów na zajęciach
- [09-2022] Damian Dziedzic, Aplikacja mobilna do dzielenia się trasami wycieczkowymi
- [09-2022] Krystian Sańczyk, Implementacja systemu monitorującego giełdę kryptowalut
- [09-2022] Dawid Motak, Przemysław Stasiuk, Michał Wójtowicz, Implementacja systemu do obsługi kampanii
RPG
- [09-2022] Oleś Kulczewicz, Semi-automatic checker-assistant system for music harmony exercises
- [02-2023] Maria Szlasa, Adrianna Wilińska, Aplikacja mobilna i webowa do planowania i zarządzania
ogrodem
- [02-2023] Bogusz Kaszowski, Implementacja aplikacji internetowej do wspomagania nauki języka obcego
- [02-2023] Michał Sobecki, Implementacja aplikacji webowej do tworzenia kursów malarskich dla modeli do
gier bitewnych
- [09-2023] Tomasz Terlecki, Implementacja systemu do rozliczania wydatków członków zorganizowanej
grupy
- [09-2023] Krystian Jasionek, Bartosz Janikowski, Implementacja aplikacji wspierającej naukę do egzaminu
teoretycznego na prawo jazdy
- [02-2024] Konrad Woźniak, Aplikacja internetowa do zarządzania kolejką na podstawie danych z dynamicznie
generowanych ankiet
- [02-2024] Wojciech Śniady, Implementation of an event management application
- [06-2024] Hubert Jabłoński, Implementacja podstawowych funkcjonalności edytora kodu
- [09-2024] Mikołaj Mroziuk, Testowanie aplikacji w technologii .NET na przykładzie systemu planowania
wizyt
- [09-2024] Dominik Baziuk, Jakub Mikołajczyk, Narzędzie wspierające wizualne tworzenie kodu dla
mikrokontrolerów Arduino
Więcej informacji, dostępne tematy...
Online
Inne linki
W matematyce sztuka stawiania problemów jest ważniejsza od sztuki ich rozwiązywania
Georg Cantor
W życiu sztuka stawiania problemów jest ważna, ale umiejętność ich
rozwiązywania jest zwykle znacznie ważniejsza
Obserwacja własna