Curriculum Vitae
Paweł Płaczek
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.
Edukacja
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
2025 - 2026
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
Kursy
2026
Jak oznaczać treści AI, by nie dostać kary? AI Act na przykładach
2026
UX Designer
ALX
Certyfikat
Certyfikat
2026
Budowanie marki osobistej i autorytetu w oparciu o archetypy
2026
Storytelling w dydaktyce i wystąpieniach publicznych
2026
Profesjonalne wsparcie studentów z niepełnosprawnościami w środowisku akademickim
2026
Procedura zachowań suicydalnych – warsztat uświadamiający dla pracowników
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
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ść 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
2026
Applying Quantales to Lambek Calculi with Cyclic Negation
In: Loukanova, R. (eds) Computational Linguistics, Information, Reasoning, and AI 2024. Studies in Computational Intelligence, vol 1280. Springer, Cham. DOI 10.1007/978-3-032-21143-9_4
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
2025
Computational Linguistics, Information, Reasoning, and AI 2024
Loukanova, R. (eds). Studies in Computational Intelligence, vol 1280. Springer, Cham
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
★
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
Polski
język ojczysty
greka klasyczna
początkujący
niemiecki
podstawowy
ukraiński
początkujący
włoski
średniozaawansowany
łacina
średniozaawansowany