Homepage of Jan Hubička

I am associate professor at Department of Applied Mathematics of Charles University, Prague, and software developer at SUSE. My research interests include structural Ramsey theory, graph homomorphisms and homogeneous structures. I am long term contributor to GNU Compiler Collection where I have implemented original port to x86-64 and maintain inter-procedural optimizations, feedback directed optimizations and i386 port. I am also interested in history of photography and work on digitizing archive of Šechtl and Voseček studios.

Publications

Google Scholar (most up-to-date)
ORCID
Arxiv
SCOPUS
Web of Science Researcher ID
MathSciNet
Papers, book and slides on historical photography and digitization

Slides (selected)

Introduction to big Ramsey degrees, part 3, Perspectives on Set Theory, 2023, Warsaw
Introduction to big Ramsey degrees, part 2, Perspectives on Set Theory, 2023, Warsaw
Introduction to big Ramsey degrees, part 1, Perspectives on Set Theory, 2023, Warsaw
20 years of CFG profile in GCC, GNU Tools Cauldron 2023, Cambridge
Type-respecting amalagmation property and big Ramsey degrees, Eurocomb 2023, Prague
Big Ramsey degrees of homogeneous structures, CIRM 2022
Higher order dualization of the Ramsey theorem and big Ramsey degrees, South Eastern Logic Symposium 2021
Big Ramsey degrees of the homogeneous universal partial order, CMS Winter meeting 2020
Structural Ramsey theory and the extension property for partial automorphisms (habilitation thesis)
Big Ramsey degrees of 3-uniform hypergraph (with Martin Balko, David Chodounský, Matěj Konečný and Lluis Vena), Eurocomb 2019, Bratislava
On Hrushovski properties of Hrushovski constructions (with Matěj Konečný and Jaroslav Nešetřil), Logic colloquium 2019, Prague
Combinatorial proofs of the extension property for partial automorphisms (with Matěj Konečný and Jaroslav Nešetřil), Unifying Themes in Ramsey Theory, Banff 2018
EPPA for two-graphs (joint poster with Matěj Konečný), From permutation groups to model theory: a workshop inspired by the interests of Dugald Macpherson, on the occasion of his 60th birthday, Edinburgh 2018
Building openSUSE with link-time optimization (with Martin Liška and Martin Jambor), openSUSE conference, Prague 2018
Jaké je to vyvíjet překladače? (Czech) Filosofické problémy informatiky, Prague 2018
Ramsey theorems for classes of structures with functions and relations (with David Evans, Matej Konecny and Jaroslav Nesetril), Model Theory and Combinatorics, Paris 2018
Ramsey properties of Hrushovski construction (with David Evans and Jaroslav Nesetril), The British Postgraduate Model Theory Conference, Leeds 2017
All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms) (with Jaroslav Nesetril), Logic Colloquium 2016
Ramsey Classes by Partite Construction I (with Jaroslav Nesetril), Permutation Groups and Transformation Semigroups 2015
Ramsey Classes by Partite Construction II (with Jaroslav Nesetril), Permutation Groups and Transformation Semigroups 2015
Optimizing large applications, SUSElabs conf, 2013
Collection of Finlay-Color negatives from the American Colony in Jerusalem (with Jan Bily, Andrew Goodall, Eva Hubickova, and Mark Jacobs), Space, Color, Motion, Prague, 2013
Constrained homomorphism orders (with Jirka Fiala and Yangjing Long), Bordeaux Graph Workshop, 2012
Locally injective homomorphisms are universal on connected graphs (with Jirka Fiala and Yangjing Long), 2nd Workshop on Homogeneous Structures, 2012
Explicit construction of universal structures (with Jaroslav Nesetril), Workshop on Homogeneous Structures, 2011