Curriculum Vitae
Urodzony 16 lipca 1993 roku w Kaliszu. Żonaty, dwie córki. Interesuję się logiką symboliczną, a w szczególności rachunkami Lambeka i logikami liniowymi. W wolnym czasie czytam książki, najczęściej z rodzaju szeroko pojętej fantastyki. Amatorsko interesuję się językami obcymi, innymi kulturami i astronomią. Ulubiony kolor to fioletowy, okres historyczny to starożytność a owoc to mango.
Wykształcenie
Główny tok kształcenia
2017 - 2022
Doktor nauk ścisłych i przyrodniczych w dyscyplinie matematyka
Wydział Matematyki i Informatyki
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tytuł rozprawy: Extensions of Lambek calculi: Sequent systems, conservativeness and computational complexity (Promotor: prof. dr hab. Wojciech Buszkowski)
Rozprawa została wyróżniona.
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tytuł rozprawy: Extensions of Lambek calculi: Sequent systems, conservativeness and computational complexity (Promotor: prof. dr hab. Wojciech Buszkowski)
Rozprawa została wyróżniona.
2016 - 2021
Magisterium na kierunku teologia
Międzyobszarowe Indywidualne Studia Humanistyczne i Społeczne
Uniwersytet im. Adama Mickiewicza w Poznaniu
Liturgia Eucharystyczna rytu bizantyjskiego a obrzędy greckie (Promotor: ks. prof. dr hab. Jarosław Moskałyk)
Uniwersytet im. Adama Mickiewicza w Poznaniu
Liturgia Eucharystyczna rytu bizantyjskiego a obrzędy greckie (Promotor: ks. prof. dr hab. Jarosław Moskałyk)
2015 - 2017
Magisterium na kierunku matematyka, specjalność matematyka teoretyczna
Wydział Matematyki i Informatyki
Uniwersytet im. Adama Mickiewicza w Poznaniu
Modele arytmetyki elementarnej (Promotor: prof. zw. dr hab. Roman Murawski)
Uniwersytet im. Adama Mickiewicza w Poznaniu
Modele arytmetyki elementarnej (Promotor: prof. zw. dr hab. Roman Murawski)
2012 - 2015
Licencjat na kierunku matematyka, specjalność matematyka teoretyczna
Wydział Matematyki i Informatyki
Uniwersytet im. Adama Mickiewicza w Poznaniu
System elementarnej arytmetyki liczb naturalnych (Promotor: prof. zw. dr hab. Roman Murawski)
Uniwersytet im. Adama Mickiewicza w Poznaniu
System elementarnej arytmetyki liczb naturalnych (Promotor: prof. zw. dr hab. Roman Murawski)
2009 - 2012
II Liceum Ogólnokształcące im. Władysława Reymonta w Ostrowie Wielkopolskim
Studia podyplomowe
Od 2025
Metodyka nauczania
Wyższa Szkoła Kształcenia Zawodowego
Od 2025
Andragogika oraz coaching i tutoring w edukacji
Wyższa Szkoła Kształcenia Zawodowego
2024 - 2025
Edukator domowy
Wyższa Szkoła Kształcenia Zawodowego
2024 - 2025
Edukacja dziecka zdolnego
Wyższa Szkoła Kształcenia Zawodowego
2022 - 2025
Podyplomowe Studium Biblijne
Stołeczny Instytut Biblijny
Wybrane kursy
2026
EMOTIONAID® – samoregulacja układu nerwowego w świecie norm i niepełnosprawności
2026
Komunikacja i współpraca ze studentami z niepełnosprawnością i szczególnymi potrzebami
2026
Zrozumieć i wspierać studentów z zaburzeniami psychicznymi
2026
Podstawy interwencji kryzysowej w pracy ze studentem
2026
NEUROCOOL®
2026
Integracja i praca w zespole
2026
Jak odpoczywać, żeby naprawdę odpocząć
2025
Teaching with Purpose
Harvard Business Impact
https://certificate.hbsp.harvard.edu/verify/faeaa9e227710
https://certificate.hbsp.harvard.edu/verify/faeaa9e227710
2025
Akademia trenera online - jak uczyć w świecie zdalnym
2025
Superwizja i mentoring zespołowy
2025
Visual thinking: SKETCHNOTING – notatki graficzne w pracy dydaktyka
2025
Flip Blended Learning
2025
Zrównoważona gospodarka i zielona transformacja w edukacji
2025
Moje dobrobycie, planety dobrobycie - jak stwarzać nową, zieloną codzienność
2025
Mindfulness dla wykładowcy
2025
Jak uczyć krytycznego myślenia
2025
Storytelling w dydaktyce
2024
Komunikacja i formy wsparcia edukacyjnego studentów i kandydatów na studia z zaburzeniami psychicznymi
2023
Nauczanie współczesnych studentów
2023
Jak dobrze zaprojektować przedmiot i zajęcia?
2023
Narzędziownik wykładowcy
2023
Technologia dla efektów uczenia się
2023
Sztuka wystąpień publicznych
2023
Cultural Diversity Inspiration in the Classroom
2023
Dostępność materiałów dydaktycznych tworzonych w MS Word i MS PowerPoint
2023
Kontakt ze studentami z zaburzeniami ze spektrum autyzmu (ASD)
Działalność zawodowa
Uczelnie wyższe
Od 2021
Uniwersytet WSB Merito w Poznaniu
(dawniej: Wyższa Szkoła Bankowa w Poznaniu)
2025
Złota Sowa 2025
Nagroda przyznawana na podstawie wyników ankiet ewaluacyjnych. I miejsce w kategorii "Najlepszy promotor" w roku akademickim 2024/2025.
Od 2022
Adiunkt
2021
Asystent
2017 - 2021
Uniwersytet im. Adama Mickiewicza w Poznaniu
2017 - 2021
Praktyki doktoranckie
Zlecenia
2025
Strona internetowa wspólnoty Franciszkańskiego Zakonu Świeckich w Poznaniu
2025
Projekt i wdrożenie strony
Od 2024
Strona internetowa Sanktuarium Przemienienia Pańskiego w Poznaniu
2024
Projekt i wdrożenie strony
Od 2024
Utrzymanie strony
2022 - 2025
Strona internetowa parafii św. Franciszka Serafickiego w Poznaniu
2025
Zakończenie współpracy
2022 - 2025
Utrzymanie strony
2022
Projekt i wdrożenie strony
2020 - 2023
Strona internetowa Ogólnopolskiej Konferencji Studentów Matematyki `Oblicze`
2023
Przeniesienie strony na nową domenę
2020 - 2023
Utrzymanie strony
2020
Projekt i implementacja strony
Inne zatrudnienie
2014 - 2015
Pulsar 2 sp. z o.o.
2014 - 2015
Reprezentant handlowy dla Orange
2013 - 2014
APS Sp. z o.o.
2013 - 2014
Konsultant infolinii sprzedażowej Play
2013
Konsultant infolinii nc+
Działalność społeczna
Przynależność do organizacji
Działalność akademicka
Publikacje
2026
Complexity of Nonassociative Lambek Calculus with Classical and Intuitionistic Logic
Bulletin of the Section of Logic, 54(4), 577–605. DOI 10.18778/0138-0680.2025.18
2024
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Bulletin of the Section of Logic, 53(2), 245–274. DOI 10.18778/0138-0680.2024.06
2024
Complexity of Nonassociative Lambek Calculus with classical logic
In Andrzej Indrzejczak and Michał Zawidzki: Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications (NCL'24), Łódź, Poland, 5-8 September 2024, Electronic Proceedings in Theoretical Computer Science 415, pp. 150–164. DOI 10.4204/EPTCS.415.15
2021
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
Bulletin of the Section of Logic, vol 50(1), 2021, DOI 10.18778/0138-0680.2020.25
Recenzje
2025
Studia Logica
ISSN: 0039-3215
2024
Journal of Logic, Language and Information
ISSN: 0925-8531
2024
Matematyka dawnych matur
Archiwum Państwowe w Poznaniu, Poznań 2024, ISBN 978-83-963138-8-1
publikacja popularnonaukowa
publikacja popularnonaukowa
2022
Electronic Proceedings in Theoretical Computer Science
ISSN: 2075-2180
Organizacja konferencji
2021
14-16.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2021
2020
15-17.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2020
2019
10-12.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2019
2018
11-13.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2018
2017
12-14.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2017
2016
13-15.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2016
Udział w konferencjach
2024
5-8.9
Non-Classical Logic. Theory and Applications. Eleventh edition
Referat i artykuł: Complexity of Nonassociative Lambek Calculus with classical logic
2024
18-21.6
Cracow Logic Conference LXIX and Trends in Logic XXIV
Referat: Semiassociative Lambek Calculus: Sequent systems and algebras
2023
29-30.11
Międzynarodowa Konferencja Naukowa "Zmysły chrześcijaństwa"
- Referat: Fizyczne uczestnictwo w liturgii - próba definicji
- Prowadzenie sesji referatów
2022
22-25.8
Projektowanie rozwiązań dla edukacji, czyli design thinking po polsku
2021
19-24.7
Logic Colloquium 2021
2019
6-8.12
Ogólnopolska Sesja Studentów Matematyki 2019
2019
29.7-11.8
Schola Aestiva Latinitatis Graecitatisque Vivae Posnaniensis
Poznańska Letnia Szkoła Żywej Łaciny i Greki
2019
10-12.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2019
Referat: Logiki liniowe
2018
7-9.12
Ogólnopolska Sesja Studentów Matematyki 2018
Rachunki Lambeka i ich rozszerzenia
2018
24-27.9
Non-Classical Logic. Theory and Applications. Ninth edition
Logika nieklasyczna. Teoria i zastosowania. Edycja dziewiąta
Referat: Cut elimination for nonassociative bilinear logic
Referat: Cut elimination for nonassociative bilinear logic
2018
6-19.8
Schola Aestiva Latinitatis Graecitatisque Vivae Posnaniensis
Poznańska Letnia Szkoła Żywej Łaciny i Greki
2017
9-11.12
Ogólnopolska Sesja Studentów Matematyki 2017
Referat: Logika grafów rozwarstwionych
2017
20-21.10
Qui bibit sanctus est – rola napojów w kulturze starożytnej
2017
17-30.7
Schola Aestiva Latinitatis Graecitatisque Vivae Posnaniensis
Poznańska Letnia Szkoła Żywej Łaciny i Greki
2017
1.7
Niewygodni krewni. Polska a Europa Wschodnia i Bałkany
Referat: Miejsca wspólne relgii na Bałkanach
2017
12-14.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2017
Referat: Logika erotetyczna, czyli sztuka zadawania pytań
Plakat: Rzędy w logice
Plakat: Rzędy w logice
2016
22-26.8
Toruńska Letnia Szkoła Matematyki
2016
13-15.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2016
Referat: Od grup ilorazowych do teorii modeli
Umiejętności informatyczne
Back-end developer
★★
C# / ASP.NET
★
C# / Blazor
★★
GraphQL
★★★
PHP
★★★
REST API
★★★
python / Django
★★
python / Django / Django Channels
Front-end developer
★★★
CSS
★★★
CSS / Bulma
★★
CSS / SASS
★★★
Elm
★★★
HTML
★★
JavaScript
★★
JavaScript / JQuery
★★
SVG
★
TypeScript
★
TypeScript / Angular
GPU
★
OpenAL
★★
OpenGL
Bazy danych
★★★
MySQL
OrientDB
★★
PostgreSQL
★★★
SQLite
Inne umiejętności twarde
★
C
★★
C#
★
Java
★★★
LaTeX
★★★
LaTeX / LuaLaTeX
★★
LaTeX / Tikz
★★
Prolog
★★
docker
★★
git
★★★
python
Umiejętności pracy projektowej
★
CI/CD
★
diagramy UML
★★★
wzorce architektoniczne / MVC
★★★
wzorce architektoniczne / MVT
★★
wzorce architektoniczne / MVVM
★★
znajomość wzorców projektowych
Kompetencje w trakcie nabywania
C++
Go
★
Haskell
Kotlin
PHP / Laravel
Ruby
Ruby / Ruby on Rails
Rust
python / pandas
python / pytorch
triton
Umiejętności nabyte, celowo nierozwijane
★★
Bootstrap
★
Node.js
★★
Turbo Pascal
★★★
XHTML
Inne umiejętności
Umiejętności językowe
angielski
zaawansowany
greka klasyczna
początkujący
niemiecki
podstawowy
polski
język ojczysty
ukraiński
początkujący
włoski
średniozaawansowany
łacina
średniozaawansowany