Lukas Holik

Lukas Holik is an Associate Professor in the Department of Computer Science at Aalborg University, affiliated with the Technical Faculty of IT and Design. He also holds an external position as Associate Professor at Brno University of Technology. His research focuses on formal methods, logic, and automata theory applied to the analysis and verification of computing systems. Key areas include string constraint solving, network monitoring, web-application security, parallelism analysis, and shape analysis.

His work integrates theoretical foundations with practical applications in system verification, such as optimizing automata size reduction and procedure analysis. Recent contributions include a 2025 publication on automata size reduction techniques.

No scientific awards are explicitly mentioned in the provided text. Research grants and advising activities are not detailed here. Holik’s affiliations span both Aalborg University and Brno University of Technology, reflecting his collaborative academic network.