معرفی
Tomi Janhunen is a Professor in Computing Sciences at Tampere University, specializing in knowledge representation, automated reasoning, and logic programming. He previously served as Adjunct Professor at Aalto University (2019–2024) and maintains a Doctor of Science (Tech.) degree. His research spans answer set programming, satisfiability checking, optimization, and distributed computation.
- PhD, Aalto University (Doctor of Science (Tech.))
- Adjunct Professor of Computer Science (Aalto University, 2019–2024)
His research focuses on Answer Set Programming (modularity, verification, optimization), Satisfiability Modulo Theories, Nonmonotonic Logics, and Computational Complexity. He integrates logic programming into real-world applications like preventive maintenance scheduling and AI security systems.
Recent work includes translating logic programs into integer programming, developing probabilistic reasoning systems (Plingo), and creating interpretable classifiers for tabular data. His publications emphasize stable model semantics, optimization techniques, and constraint networks.
He supervises M.Sc., Lic.Sc., and Ph.D. theses and has completed pedagogical studies. Janhunen actively reviews for journals like Artificial Intelligence Journal and ACM Transactions on Computational Logic.
Tomi Janhunen در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- TTomi JanhunenTampere University · استاد
- IIlkka NiemeläAalto University · استاد
Sarah Alice GagglDresden University of Technology · پژوهشگر- WWolfgang FaberVienna University of Technology · پژوهشگر
- EEnric Rodríguez CarbonellPolytechnic University of Catalonia · استاد
- GGerhard BrewkaLeipzig University · استاد