Znajdują się tutaj materiały oraz rozwiązania zadań z przedmiotów, które realizowałem podczas studiów licencjackich na Uniwersytecie Wrocławskim.
Zima 2014/2015:
- Algebra I ISIM (w: Jan Dymara, ćw: Jan Dymara) - nieoficjalnie
- Analiza I ISIM (w: Ryszard Szwarc, ćw: Marcin Preisner)
- Kurs: Wstęp do programowania w języku Python (w: Paweł Rychlikowski, prac: Paweł Rychlikowski)
- Seminarium: Metody implementacji algorytmów (sem: Krzysztof Loryś)
- Logika dla informatyków (w: Witold Charatnik, ćw: Witold Charatonik)
Lato 2014/2015:
- Programowanie obiektowe (w: Marcin Młotkowski, ćw: Marcin Młotkowski)
- Praktyka zawodowa
- Metody programowania (w: Tomasz Wierzbicki, ćw: Tomasz Wierzbicki, prac: Dariusz Biernacki)
- Kurs: Programowanie w c++ (w: Jean Marie de Nivelle, ćw: Jean Marie de Nivelle)
- Architektury systemów komputerowych (w: Emanuel Kieroński, ćw: Piotr Polesiuk)
- Analiza matematyczna II ISIM (w: Ryszard Szwarc, ćw: Marcin Preisner)
- Algebra (w: Artur Jeż, ćw: Katarzyna Paluch)
Zima 2015/2016:
- Systemy operacyjne (w: Zdzisław Płoski, ćw: Zdzisław Płoski)
- Psychologia pozytywna (w: Dorota Chmielewska-Łuczak)
- Projekt zespołowy (prac: Patryk Filipiak)
- Matematyka dyskretna (M) (w: Grzegorz Stachowiak, ćw: Krzysztof Nowicki)
- Kurs WWW (w: Paweł Rajba, ćw: Marek Materzok)
- Lektorat J. Angielski B2-I (lekt: Grzegorz Kotecki)
- Egzamin certyfikujący SPNJO Angielski B2+
- Elementy topologii, teorii miary i całki Lebesgue'a (w: Ewa Damek, ćw: Ewa Damek)
- Ekonomika integracji europejskiej (w: Władysław Szmyt)
- Analiza numeryczna (M) (w: Rafał Nowak, ćw: Rafał Nowak, prac: Przemysław Gospodarczyk)
Lato 2015/2016:
- Algorytmy i struktury danych (M) (w: Krzysztof Loryś, ćw: Krzysztof Loryś)
- Języki formalne i złożoność obliczeniowa (w: Jerzy Marcinkowski) - jako wolny słuchacz
- Bazy danych (w: Piotr Wieczorek, ćw: Jakub Michaliszyn)
- Sieci komputerowe (w: Marcin Bieńkowski, ćw: Michał Różański)
- Praca licencjacka (poza zajęciami, promotor: Witold Charatonik)
- Seminarium zakładu Teorii Informatyki i Baz Danych (tibad.ml)
Zima 2016/2017:
- Praktyka optymalizacji (w: Mieczysław Wodecki, ćw: Mieczysław Wodecki)
- Seminarium: O automatach skończonych (sem: Marek Szykuła)
- Inżynieria Oprogramowania (w: Leszek Grocholski, ćw: Leszek Grocholski)
- Problemy decyzyjne w logice (w: Emanuel Kieroński, ćw: Emanuel Kieroński)
- Rachunek prawdopodobieństwa dla informatyków (w: Krzysztof Dębicki, ćw: Krzysztof Dębicki)
- Algebra B1 (w: Piotr Kowalski, ćw: Piotr Kowalski)
- Egzamin licencjacki i obrona pracy licencjackiej
Od września 2017 studiuję informatykę teoretyczną we Francji na École normale supérieure Paris-Saclay (dawne ENS Cachan). Więcej informacji o moich studiach tutaj: https://wikimpri.dptinfo.ens-cachan.fr/doku.php
M1 (Masters Jacques Herbrand):
- Lambda-calculi and Domains (P-A. Melliès, S. Mimram)
- Tree Automata and Applications (S. Schmitz, Ch. Jacomme)
- Advanced Complexity (J. Goubault-Larrecq, Ph. Schnoebelen, Ch. Jacomme, R. Poulain)
- Initiation to Research (Ph. Schnoebelen, M. Függer)
- Basics of Verification (P. Gastin, S. Schwoon, M. Fortin)
- Software Engineering (D. Baelde, Ch. Jacomme)
- Long research internship (with Michael Benedikt at University of Oxford)