Juha KontinenView profile
Professor
Juha Kontinen is a Professor and Docent in the Department of Mathematics and Statistics at the University of Helsinki. He serves as a Supervisor for the Doctoral Programme in Mathematics and Statistics. His research focuses on mathematical logic, theoretical computer science, computational complexity, and formal methods. Key areas include dependence logic, team semantics, and their applications in areas like database theory and artificial intelligence. He has been actively involved in numerous research projects funded by organizations such as the Magnus Ehrnrooth Foundation and the Academy of Finland. His work spans foundational studies of computational complexity, formal logics for team semantics, and interdisciplinary applications. Recent projects include exploring discrete differential equations for circuit complexity and probabilistic team semantics with Boolean negation. Kontinen has authored/co-authored over 90 publications, including articles in prestigious journals and conference proceedings. His work bridges theoretical foundations with practical computational challenges, addressing topics like neural network training complexity and hyperproperties in temporal logics. He has also contributed to conference organization, peer review, and doctoral supervision, highlighting his role as a leader in the academic community.





