Pavel Hudec

I am a third-year PhD student at HKUST supervized by Amir Goharshady. My research is supported by the Hong Kong PhD Fellowship Scheme.

1. Giovanna Kobus Conrado, Amir Kafshdar Goharshady, Pavel Hudec, Pingjiang Li, and Harshit Jitendra Motwani. Faster Treewidth-Based Approximations for Wiener Index. In 22nd International Symposium on Experimental Algorithms (SEA 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 301, pp. 6:1-6:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) URL

My research interests relate to the overall group focus on program verification, where I was particularly interested in the parameterization of SMT solvers. I have since switched to working on problems closer to the theoretical side of parameterization, while staying open to applications in other fields of CS. I have also worked in probabilistic cache management, abstract interpretation and Markov decision processes.