Curriculum Vitae
Paweł Płaczek /"pavɛw "pwaˈtʂɛk/[he/him]
Born on 16th of July 1993 in Kalisz, Poland. Married, two daughters. I am interested in symbolic logic, essentialy in Lambek calculi and linear logics. In my free time I read books, mostly fantasy books. I like foreign languages, foreign cultures and astronomy. My favourite pie is an apple pie, favourite alcohol is brandy and favourite board game is Munchkin.
Education
Core education
2017 - 2022
Doctor of Mathematics
summa cum laude
Doctoral thesis: Extensions of Lambek calculi: Sequent systems, conservativeness and computational complexity (Supervisor: prof. Wojciech Buszkowski)
Doctoral thesis: Extensions of Lambek calculi: Sequent systems, conservativeness and computational complexity (Supervisor: prof. Wojciech Buszkowski)
2016 - 2021
Master of Theology
Interdisciplinary Individual Studies in Humanities and Society
Adam Mickiewicz University, Poznań
Master thesis: Eucharistic Liturgy of the Byzantine rite and Greek rites
Supervisor: ks. prof. dr hab. Jarosław Moskałyk
Adam Mickiewicz University, Poznań
Master thesis: Eucharistic Liturgy of the Byzantine rite and Greek rites
Supervisor: ks. prof. dr hab. Jarosław Moskałyk
2015 - 2017
Master of Mathematics
Faculty of Mathematics and Computer Science
Adam Mickiewicz University, Poznań
Master Thesis: Models of elementary arithmetic
Supervisor: prof. dr hab. Roman Murawski
Adam Mickiewicz University, Poznań
Master Thesis: Models of elementary arithmetic
Supervisor: prof. dr hab. Roman Murawski
2012 - 2015
Bachelor of Mathematics
Faculty of Mathematics and Computer Science
Adam Mickiewicz University, Poznań
Bachelor Thesis: A system of elementary arithmetic of natural numbers
Supervisor: prof. dr hab. Roman Murawski
Adam Mickiewicz University, Poznań
Bachelor Thesis: A system of elementary arithmetic of natural numbers
Supervisor: prof. dr hab. Roman Murawski
2009 - 2012
II Liceum Ogólnokształcące im. Władysława Reymonta w Ostrowie Wielkopolskim
High school
Postgraduate studies
Since 2025
Andragogy with Coaching and Tutoring in Education
Higher School of Professional Education
Since 2025
Teaching Methodology
Higher School of Professional Education
2024 - 2025
Education of Gifted Children
Higher School of Professional Education
2024 - 2025
Home Educator
Higher School of Professional Education
2022 - 2025
Postgraduate Biblical Studies
Stołeczny Instytut Biblijny
Courses
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)
Professional activity
Academic positions
Since 2021
WSB Merito University in Poznań
Since 2022
Assistant Professor
pol. adiunkt
2021
Teaching Assistant
pol. asystent
2017 - 2021
Adam Mickiewicz University, Poznań
2017 - 2021
Doctoral internship
Freelance
2025
Website of Secular Franciscan Order in Poznań
2025
Project and implementation
Since 2024
Website of Sanctuary of the Transfiguration of the Lord in Poznań
2024
Project and implementation
Since 2024
Maintenance
2022 - 2025
Website of St. Francis Parish in Poznań
2025
End of collaboration
2022 - 2025
Maintenance
2022
Project and implementation
2020 - 2023
Website of National Mathematics Students Conference `Oblicze`
2023
Moved to other domain
2020 - 2023
Maintenance
2020
Project and implementation
Others
Social activity
Organisations
Academic activity
Publications
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
Reviews
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
Conference organisation
2021
14-16.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2021
National Mathematics Students Conference `Oblicze` 2021
2020
15-17.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2020
National Mathematics Students Conference `Oblicze` 2020
2019
10-12.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2019
National Mathematics Students Conference `Oblicze` 2019
2018
11-13.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2018
National Mathematics Students Conference `Oblicze` 2018
2017
12-14.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2017
National Mathematics Students Conference `Oblicze` 2017
2016
13-15.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2016
National Mathematics Students Conference `Oblicze` 2016
Conference participations
2024
5-8.9
Non-Classical Logic. Theory and Applications. Eleventh edition
Talk and paper: Complexity of Nonassociative Lambek Calculus with classical logic
2024
18-21.6
Cracow Logic Conference LXIX and Trends in Logic XXIV
Talk: Semiassociative Lambek Calculus: Sequent systems and algebras
2023
29-30.11
International Scholarly Conference „The Senses of Christianity”
- Talk: Physical Participation in Liturgy -- An Attempt at Definition
- Chairman
2021
19-24.7
Logic Colloquium 2021
2019
6-8.12
Ogólnopolska Sesja Studentów Matematyki 2019
National Mathematics Students Session 2019
2019
29.7-11.8
Schola Aestiva Latinitatis Graecitatisque Vivae Posnaniensis
Summer Living Latin and Ancient Greek School in Poznań, Poland
2019
10-12.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2019
National Mathematics Students Conference `Oblicze` 2019
2018
7-9.12
Ogólnopolska Sesja Studentów Matematyki 2018
National Mathematics Students Session 2018
2018
24-27.9
Non-Classical Logic. Theory and Applications. Ninth edition
Talk: Cut elimination for nonassociative bilinear logic
2018
6-19.8
Schola Aestiva Latinitatis Graecitatisque Vivae Posnaniensis
Summer Living Latin and Ancient Greek School in Poznań, Poland
2017
9-11.12
Ogólnopolska Sesja Studentów Matematyki 2017
National Mathematics Students Session 2017
2017
17-30.7
Schola Aestiva Latinitatis Graecitatisque Vivae Posnaniensis
Summer Living Latin and Ancient Greek School in Poznań, Poland
2017
12-14.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2017
National Mathematics Students Conference `Oblicze` 2017
2016
22-26.8
Toruńska Letnia Szkoła Matematyki
Toruń Summer School of Mathematics
2016
13-15.5
Ogólnopolska Konferencja Studentów Matematyki θβℓιcℤε 2016
National Mathematics Students Conference `Oblicze` 2016
Computer skills
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
Databases
★★★
MySQL
OrientDB
★★
PostgreSQL
★★★
SQLite
Other hard skills
★
C
★★
C#
★
Java
★★★
LaTeX
★★★
LaTeX / LuaLaTeX
★★
LaTeX / Tikz
★★
Prolog
★★
docker
★★
git
★★★
python
Design work skills
★
CI/CD
★
UML diagrams
★★★
architectural patterns / MVC
★★★
architectural patterns / MVT
★★
architectural patterns / MVVM
★★
design patterns
Skills in-progress
C++
Go
★
Haskell
Kotlin
PHP / Laravel
Ruby
Ruby / Ruby on Rails
Rust
python / pandas
python / pytorch
triton
Skills gained, but hated
★★
Bootstrap
★
Node.js
★★
Turbo Pascal
★★★
XHTML
Other skills
Language skills
Ancient Greek
basics
English
advanced
German
elementary
Italian
intermediate
Latin
intermediate
Polish
father language
Ukrainian
basics