Scientific interests
- 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
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]
Publications
- Partial Packing Coloring and Quasi-packing Coloring of the Triangular Grid, H. Grochowski, K. Junosza-Szaniawski, Discrete Mathematics, 2025, online (available: November 2024)
Conferences and Seminars
- 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)
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 am the secretary of the Combinatorics, Graph Theory and Ordered Sets Seminar (KTGiZU).