Jiří ŠímaView profile
Research Professor
Jiří Šíma is a senior scientist at the Department of Theoretical Computer Science, Institute of Computer Science, Czech Academy of Sciences. He holds the academic title of Research Professor (DrSc.) and has been a key researcher at ICS CAS since 1994. He has also served as head of the department (2010–2012, 2021–2023) and has held external lecturing positions at Charles University, Masaryk University, and Czech Technical University. His educational achievements include a CSc. (Ph.D.) in 1993, an Associate Professor qualification (doc.) and RNDr. in 2000, and a DrSc. in 2009 from the Slovak University of Technology. These qualifications reflect his deep expertise in theoretical computer science and neural networks. Šíma's research focuses on the theoretical foundations of neural computation, including the computational power of analog and spiking neural networks, energy complexity in deep learning models, formal language recognition by neural automata, and complexity theory. His work bridges theoretical computer science and artificial intelligence, with a strong emphasis on mathematical rigor and computational models. The 15 most recent publications highlight a consistent trend in analyzing the computational capabilities and energy efficiency of neural networks. His recent work (2020–2024) centers on energy complexity in fully-connected and convolutional networks, while earlier work explores analog neuron hierarchies, hitting sets for branching programs, and the limitations of spiking neurons. The research spans subfields such as formal languages, computational complexity, dynamical systems, and neurocomputing, demonstrating a cohesive and long-term research trajectory in theoretical machine learning. Best ICS Paper Award (2024) Best ICS Paper Award (2021) Second/Third Best ICS Paper Award (2019) Best ICS Paper Award (2018) Otto Wichterle Award (2003) Award of the CAS for young scientists (1998) Šíma has been principal investigator on multiple Czech Science Foundation grants, including LEDNeCo (2025–2027), AppNeCo (2022–2024), and FoNeCo (2019–2021). He has also served on grant evaluation panels and scientific councils, including at the Czech Science Foundation and Charles University. Although no formal students are listed, he has collaborated extensively with researchers such as J. Cabessa, P. Vidnerová, S. Žák, and P. Orponen. He is actively involved in the academic community, serving on program committees for major conferences such as ICANN, ICONIP, SOFSEM, and MFCS. His work is primarily conducted within the Department of Theoretical Computer Science at ICS CAS, a leading research group in theoretical computer science in the Czech Republic.





