Personal information

Websites & social links

LinkedIn

Countries

Poland

Activities

Collapse all

Employment (1)

Institute of Bioorganic Chemistry, Polish Academy of Sciences: Poznań, PL

2010 to 2021 | senior researcher, team leader, lead programmer (Poznań Supercomputing and Networking Center)
Employment
Source: Self-asserted source
Michał Kozak

Education and qualifications (2)

Adam Mickiewicz University in Poznań: Poznań, PL

2003 to 2011 | PhD (Faculty of Mathematics and Computer Science)
Education
Source: Self-asserted source
Michał Kozak

Adam Mickiewicz University in Poznań: Poznań, PL

1998 to 2003 | MSc (Faculty of Mathematics and Computer Science)
Education
Source: Self-asserted source
Michał Kozak

Funding (8)

Digital Research Infrastructure for the Arts and Humanities DARIAH-PL

2021 to 2024 | Contract
Ministry of Development Funds and Regional Policy (Warsaw, PL)
URL: https://lab.dariah.pl/
GRANT_NUMBER:

POIR.04.02.00-00-D006/20
Source: Self-asserted source
Michał Kozak

Social Sciences and Humanities Open Cloud

2019 to 2022 | Grant
European Commission (Brussels, BE)
URL: https://sshopencloud.eu/
GRANT_NUMBER: 823782
Source: Self-asserted source
Michał Kozak

Origins of Polish language and religious culture in the light of the medieval Apocrypha of the New Testament. A universal tool for the study of Polish apocryphal texts

2018 to 2023 | Contract
National Science Centre (Warsaw, PL)
URL: https://apocrypha.amu.edu.pl
GRANT_NUMBER:

2017/26/E/HS2/00083
Source: Self-asserted source
Michał Kozak

PROgressive VIsual DEcision-Making in Digital Humanities

2018 to 2021 | Grant
CHIST-ERA (Paris, FR)
URL: https://providedh.eu
GRANT_NUMBER: VADMU PROVIDEDH
Source: Self-asserted source
Michał Kozak

Modified image: reception of graphics in the Kingdom of Poland from the end of the 15th century to the beginning of the 17th century. Objects - people - environments - processes

2016 to 2019 | Contract
National Science Centre (Warsaw, PL)
URL: http://reframedimage.uw.edu.pl
GRANT_NUMBER:

2015/17/B/HS2/02469
Source: Self-asserted source
Michał Kozak

Multilingualism in the Electronic Repository of Greater Poland Oaths (ROThA)

2015 to 2019 | Contract
National Science Centre (Warsaw, PL)
URL: https://rotha.ehum.psnc.pl/
GRANT_NUMBER:

2014/13/B/HS2/00644
Source: Self-asserted source
Michał Kozak

Linear logic with distributivity and its application in automatic composition of web services

2012 to 2014 | Grant
Polish Ministry of Science and Higher Education (Warsaw, PL)
GRANT_NUMBER:

IP2011 026571
Source: Self-asserted source
Michał Kozak

Finite model property of substructured logics based on distributive residuated lattices

2009 to 2011 | Grant
Polish Ministry of Science and Higher Education (Warsaw, PL)
GRANT_NUMBER:

NN 206 3580 36
Source: Self-asserted source
Michał Kozak

Works (22)

Analyzing and Visualizing Uncertain Knowledge: The Use of TEI Annotations in the PROVIDEDH Open Science Platform

Journal of the Text Encoding Initiative
2021-04 | Journal article
Part of DOI: https://doi.org/10.4000/jtei.3331
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Multilingualism in Greater Poland court records (1386–1448): tagging discourse boundaries and code-switching

Corpora
2020-12 | Journal article
DOI: 10.3366/cor.2020.0200
Part of ISSN: 1749-5032
Part of ISSN: 1755-1676
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Making the most of digital resources with IIIF and OCR enabled transcription toolset

DARIAH Annual Event 2020 Scholarly Primitives
2020-11 | Conference abstract
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Supporting Decision-Making in the Entity Normalization Task. On the Example of PROVIDEDH

DARIAH Anual Event 2020 Scholarly Primitives
2020-11 | Conference poster
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Analyzing and Visualizing Uncertain Knowledge: Introducing the PROVIDEDH Open Science Platform

TEI'2019: What Is Text, Really? TEI And Beyond
2019-09 | Conference abstract
DOI: 10.5281/zenodo.3446145
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

A tool for multifaceted analysis of the Old Polish New Testament apocrypha

Digital Humanities 2019
2019-07 | Conference poster
DOI: 10.34894/O5RBZZ
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Database of the Research Project Reframed Image: Reception of Prints in the Kingdom of Poland from the end of the Fifteenth to the Beginning of the Seventeenth Century

DARIAH Annual Event 2019 Humanities Data
2019-05 | Conference poster
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

PROgressive VIsual DEcision-Making in Digital Humanities: Towards Uncertainty Annotation in TEI

DARIAH Annual Event 2019 Humanities Data
2019-05 | Conference poster
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Platforma Europeana Cloud jako przykład Big Data w humanistyce

Big Data w humanistyce i naukach społecznych
2018-11 | Conference abstract
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Manuscripts and old prints of the Karaim Digital Archive – from Ms Word files to TEI P5

Computational Methods in Science and Technology
2018-03 | Journal article
DOI: 10.12921/CMST.2018.0000003
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Jakość danych w systemie informacji naukowej

Nauka o informacji w okresie zmian. Innowacyjne usługi informacyjne
2018-01 | Book chapter
Part of ISBN: 978-83-65741-07-3
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

System SINUS – w stronę kompleksowej e-usługi do zarządzania dorobkiem naukowym uczelni wyższej

INFOBAZY'2017 dane - wiedza - e-usługi
2017-08 | Conference abstract
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

System SINUS – otwarte narzędzie do budowy bibliograficznych baz danych

BazTech'2017 Bibliograficzne bazy danych : perspektywy i problemy rozwoju
2017-06 | Conference paper
Part of ISBN: 978-83-63458-08-9
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

System Informacji Naukowej Politechniki Poznańskiej jako przykład współpracy między jednostkami naukowymi

Czytelnicy – zasoby informacji i wiedzy. Tradycja i przemiany w czasach kultury cyfrowej i Internetu
2016-10 | Conference abstract
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Strong negation in intuitionistic style sequent systems for residuated lattices

Mathematical Logic Quarterly
2014-08 | Journal article
DOI: 10.1002/malq.201300016
Part of ISSN: 0942-5616
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak
grade
Preferred source (of 2)‎

Rachunek π oraz logiki podstrukturalne w kompozycji procesów

XXVIII Forum Informatyki Teoretycznej
2014-04 | Conference abstract
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Long-Term Preservation Services as a Key Element of the Digital Libraries Infrastructure

Intelligent Tools for Building a Scientific Information Platform
2013 | Book chapter
DOI: 10.1007/978-3-642-35647-6_7
Part of ISBN: 9783642356469
Part of ISBN: 9783642356476
Part of ISSN: 1860-949X
Part of ISSN: 1860-9503
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Nuclei over (Quasi-ordered) Monoids and Symmetric Constructive FL-algebras

4th World Congress and School on Universal Logic
2013-04 | Conference abstract
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Distributivity in Symmetric Constructive Full Lambek Calculus

Mathematical Logic and Applications
2012-11 | Conference abstract
Part of ISSN: 0131-4645
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

On the Finite Model Property of Infinitary Action Logics

CS&P'2011, 20th International Workshop on Concurrency, Specification and Programming
2011-09 | Conference paper
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak

Cyclic Involutive Distributive Full Lambek Calculus is Decidable

Journal of Logic and Computation
2011-04-01 | Journal article
DOI: 10.1093/logcom/exq021
Part of ISSN: 0955-792X
Part of ISSN: 1465-363X
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak
grade
Preferred source (of 2)‎

Distributive Full Lambek Calculus Has the Finite Model Property

Studia Logica
2009-03 | Journal article
DOI: 10.1007/s11225-009-9172-7
Part of ISSN: 0039-3215
Part of ISSN: 1572-8730
Contributors: Michał Kozak
Source: Self-asserted source
Michał Kozak
grade
Preferred source (of 2)‎
How many people are using ORCID?