wizytowka - Instytut Informatyki Analitycznej

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
avatar for Grzegorz Herman

Grzegorz Herman

stopień/tytuł doktor stanowisko
dydaktyczne, adiunkt
jednostka
  • Katedra Algorytmiki
  • Instytut Informatyki Analitycznej
ORCID kontakt
grzegorz.herman@uj.edu.pl