Combinatorics, graph theory - in particular graph colorings
Computational geometry
Mixed Integer Linear Programming, Constraints Programming and SAT-Solvers applications
Cryptography, cryptographic protocols
Formal verification in mathematical proofs and in cryptographic issues
Publications
Published
Partial Packing Coloring and Quasi-packing Coloring of the Triangular Grid, H. Grochowski, K. Junosza-Szaniawski, Discrete Mathematics, 2025, online (available: November 2024)
Submitted, In Preparation
Shaded coloring of the plane and its application to L(2,1)-labeling of unit disk graphs, H. Grochowski, K. Junosza-Szaniawski, submitted, 2025.
Generating optimal mixed strategies for some combinatorial games, A. Fügenschuh, H. Grochowski, K. Junosza-Szaniawski.
XOR-Magic graphs, S. Cichacz-Przeniosło, H. Grochowski, R. Zuazua.
Conferences and Talks
10th Cracow Conference on Graph Theory, Kraków, Poland, 22-26 September, 2025 (talk: Computational and algebraic approaches to open XOR-magic graphs)
XXVI International Workshop for Young Mathematicians Combinatorics, Kraków, Poland, 15-20 September, 2025 (talk: Generating optimal mixed strategies for Shortest Path with Adversary combinatorial game)
12th PhD Summer School in Discrete Mathematics, Koper, Slovenia, 7-13 September, 2025 (talk: Generating optimal mixed strategies for Shortest Path with Adversary combinatorial game)
Berlin-Poznań-Hamburg-Warszawa Seminar in Discrete Mathematics, Warsaw, Poland, 16-17 May, 2025 (Organizing Committee Member)
10th Polish Combinatorial Conference, Będlewo, Poland, 15-21 September, 2024 (talk: Approximation algorithms for L(2,1)-labeling of unit disk graphs)
Berlin-Poznań-Hamburg-Warszawa Seminar in Discrete Mathematics, Berlin, Germany, 24-25 May, 2024 (talk: Approximation algorithms for L(2,1)-labeling of unit disk graphs)
Workshop on Mathematics for Industry, Warsaw, Poland, 25-29 September, 2023 (co-author of the presentation Cryptographic protocols verification - results of EPW project, informal proceedings: online)
The 8th Gdańsk Workshop on Graph Theory, Gdańsk, Poland, June 26-30, 2023 (talk: Partial Packing Coloring and Quasi Packing Coloring of a Triangular Grid)
SIGOPT 2023 International Conference on Optimization, Cottbus, Germany, March 14-16, 2023 (talk: Partial Packing Coloring and Quasi Packing Coloring of a Triangular Grid)
Seminars
Grafy XOR-magiczne, Discrete Mathematics Seminar, Adam Mickiewicz University, Poznań, 18.11.2025 (in Polish, invited)
Grafy XOR-magiczne, KTGiZU Seminar, Warsaw University of Technology, Warsaw, 22.10.2025 (in Polish)
Generating optimal mixed strategies for some combinatorial games, Discrete Mathematics Seminar, AGH University, Kraków, 22.10.2025 (invited)
Najkrótsza ścieżka z rozdzieleniem budżetu - gra kombinatoryczna, KTGiZU Seminar, Warsaw University of Technology, Warsaw, 26.03.2025 (in Polish)
Problem przycinania bambusów w ogrodzie, KTGiZU Seminar, Warsaw University of Technology, Warsaw, 13.11.2024 (in Polish)
Cieniowane kolorowanie płaszczyzny i asymptotycznie 6-aproksymacyjny algorytm L(2,1)-etykietowania grafów przecięć dysków jednostkowych, KTGiZU Seminar, Warsaw University of Technology, Warsaw, 06.03.2024 (in Polish)
Częściowe kolorowania pakujące i kolorowanie prawie pakujące siatki trójkątów, KTGiZU Seminar, Warsaw University of Technology, Warsaw, 18.01.2023 (in Polish)
Research projects
Automatic verification of combinatorial properties and correctness of cryptographic algorithms implementation - February 2024 - December 2025 - applicant, principal investigator [funded by WUT-IDUB in Young PW project]
Experimental validation platform (PL: Eksperymentalna Platforma Walidacyjna EPW) - September 2021 - December 2023 - investigator (formal methods developer) at WUT [funded by NCBR, CYBERSECIDENT/456962/III/NCBR/2020]
Others
I started my PhD Studies in Mathematics in October 2022.
In November 2022, I received a scholarship from the Professor Anna Romanowska Foundation for an outstanding master's thesis in the field of algebra and related areas.
I was a member of Organizing Committee of Berlin-Poznań-Hamburg-Warszawa Seminar in Discrete Mathematics 2025.
I am the secretary of the Combinatorics, Graph Theory and Ordered Sets Seminar (KTGiZU).
Popularization Articles
O weryfikacji protokołów kryptograficznych, T. Brengos, A. Cichocka, H. Grochowski, K. Junosza-Szaniawski, A. Komorowski, A. Pilitowska, Delta, 2025, online