Zainteresowania
- projektowanie i implementacja języków programowania
- algorytmika
- złożoność obliczeniowa
Publikacje
- Dynamic Prices in Ride-Sharing Scenarios - 2024 International Conference on Vehicle Technology and Intelligent Transport Systems [VEHITS], (2024), 437-443 Lech Duraj, Grzegorz Herman
- Aggregating Pairwise Information Over Optimal Routes - 2023 International Conference on Vehicle Technology and Intelligent Transport Systems [VEHITS], (2023), 344-352 Grzegorz Herman, Grzegorz Gawryał
- Long-Distance Directional Dial-a-Ride Problems - 2023 International Conference on Vehicle Technology and Intelligent Transport Systems [VEHITS], (2023), 187-197 Grzegorz Gutowski, Grzegorz Herman
- Faster general parsing through context-free memoization - 2020 ACM-SIGPLAN Conference on Programming Language Design and Implementation [PLDI], (2020), 1022-1035 Grzegorz Herman
-
Complexity of Cover-Preserving Embeddings of Bipartite Orders into Boolean Lattices - 2014
Reports on Mathematical Logic (2014), 99-117 Grzegorz Herman -
Unambiguous functions in logarithmic space - 2012
Fundamenta Informaticae 114 (2012), 129-147 Grzegorz Herman, Michael Soltys -
On the Ehrenfeucht-Mycielski sequence - 2009
Journal of Discrete Algorithms (2009), 500-508 Grzegorz Herman, Michael Soltys -
Unambiguous functions in logarithmic space - 2009
5th Conference On Computability in Europe, Proceedings (2009), 162-175 Grzegorz Herman, Michael Soltys -
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem - 2008
the Computing Research Repository (2008), abs/0811.3959 Grzegorz Herman, Michael Soltys -
A Propositional Proof System with Quantification Over Permutations - 2007
Fundamenta Informaticae 79 (2007), 71-83 Grzegorz Herman, Tim Paterson, Michael Soltys
Granty
-
Kolonoskopia -Innowacyjna diagnostyka umożliwiająca personalizacje procesu leczenia poprzez opracowanie rozwiązania wspomagające badania kolonoskopowe, podnoszącego wykrywalność stanów przedrakowych nowotworów jelita grubego o niskim stadium zaawansowania
NCBiR
Rola: Wykonawca
2014-07-01 - 2017-12-31 -
Śledzenie poruszających się osób w monitorowanych strefach
Narodowe Centrum Badań i Rozwoju
Rola: Wykonawca
2010-09-17 - 2013-09-16
Grzegorz Herman
stopień/tytuł doktor stanowiskodydaktyczne, adiunkt
jednostka
- Katedra Algorytmiki
- Instytut Informatyki Analitycznej
grzegorz.herman@uj.edu.pl