جستجوی استاد راهنمای دانشگاهی

• Automated Reasoning
• Constraint Programming
• Answer-Set Programming
• +۷ مورد دیگر

Ilkka Niemelä is a Professor of Computer Science at Aalto University's School of Science. He has held leadership roles including Head of the Laboratory for Theoretical Computer Science at Helsinki University of Technology, Chair of the Degree Program in Computer Science and Engineering, and Dean of Aalto University's School of Science. His research focuses on automated reasoning and constraint programming for solving computational problems. His work spans key areas in computational logic, including answer-set programming, non-monotonic reasoning, bounded model checking, and parity reasoning. He has explored applications in formal verification, optimization, and system design, with publications reflecting interdisciplinary contributions to artificial intelligence and theoretical computer science. Scientific awards and honors include: Superior of the year at Helsinki University of Technology (2007) Annual dissertation award from the Finnish Society for Computer Science (1993) Knight, First Class, of the Order of the White Rose of Finland (2015) 20 Year Test of Time Paper Award (2016) EurAI Fellow (2013) His research group has pioneered methods in answer-set programming and bounded model checking, with recent publications addressing program transformations, timed automata, and parity games. Niemelä has also served in administrative roles such as Vice President and Provost at Aalto University, contributing to academic governance and education.

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Logic Programming
• +۵ مورد دیگر

Tomi Janhunen is a Professor in Computing Sciences at Tampere University, part of the Faculty of Information Technology and Communication Sciences. His expertise spans Artificial Intelligence, Logic Programming, and Theoretical Computer Science. He actively contributes to academic leadership roles, serving on boards of the Finnish Association of Computer Science and Finnish Artificial Intelligence Society. His research focuses on Answer Set Programming (ASP), probabilistic reasoning systems, explainable AI, and optimization techniques applied to cybersecurity and maintenance scheduling. Key grants include the XAILOG and AI-ROT projects funded by the Research Council of Finland. Notable achievements include three prestigious awards: Best Paper Awards at the European Conference on Logics in AI (2021) and International Conference on Logic Programming (2023), and the Harold Boley award for system description (2022). Dr. Janhunen’s work emphasizes practical applications of declarative programming paradigms. Recent projects include Plingo—a probabilistic ASP system—and cybersecurity compliance frameworks in DevSecOps environments. His contributions bridge theoretical advancements with real-world challenges in AI security and industrial optimization.

Heini Ikävalkoمشاهده پروفایل

پژوهشگر

• Organization Studies
• Strategy-as-Practice
• Innovation Management
• +۴ مورد دیگر

Heini Ikävalko serves as a Staff Scientist at the Center for Knowledge and Innovation Research (CKIR) within Aalto University's School of Business. With a research career spanning over 25 years, they have produced 56 publications across diverse research areas including organization studies, innovation management, and strategy-as-practice. Dr. Ikävalko holds a Doctoral degree in Engineering and Technology from Helsinki University of Technology (awarded January 19, 2005) and a Bachelor's degree in Education from the University of Helsinki (awarded March 17, 1998). Their academic journey bridges technical and social science disciplines, creating a unique interdisciplinary perspective. Research interests focus on the intersection of emotions, agency, and organizational practices. Their work examines how professionals exercise agency within emotional contexts at work, with particular attention to strategy implementation processes. Recent research explores digital innovation implementation in industrial operations and business model innovation within IoT ecosystems. The research employs diverse methodologies including case studies, qualitative analysis, and computational approaches to organizational challenges. Publication trends reveal a clear evolution from traditional organization studies toward digital innovation and IoT business ecosystems, while maintaining a strong connection to emotional and agency aspects of workplace dynamics. The most recent works integrate technical optimization approaches with organizational behavior insights, reflecting a sophisticated interdisciplinary approach. Best paper nomination at HICSS-51 (January 2, 2018) for research on IoT business models and value co-creation Dr. Ikävalko has been actively involved in 17 professional activities including multiple conference presentations at major international forums such as HICSS and ISPIM. Their research has been supported by Business Finland through the BACI project (2013-2016), which investigated backstage interactions for effective collaboration and innovation. While specific grant amounts aren't detailed in the provided information, this project represents significant external research funding. As a member of CKIR, Dr. Ikävalko contributes to a vibrant research environment focused on knowledge creation and innovation processes. Their work connects with the UN Sustainable Development Goals, particularly through contributions to quality education and industry innovation. The research network includes collaborations across Finland and internationally, as evidenced by conference presentations and co-authored publications with researchers from multiple institutions.

• Computer Vision
• Natural Language Processing
• Deep Learning
• +۳ مورد دیگر

Rao Anwer serves as a Visitor (Faculty) and Lecturer in the Department of Computer Science, affiliated with the Laaksonen Jorma research group. Holding a Doctoral degree in Natural Sciences from the Autonomous University of Barcelona (awarded July 18, 2013), his expertise bridges computer vision, natural language processing, and multimodal AI systems with emphasis on cultural diversity and 3D scene understanding. His educational background includes: Doctoral degree in Natural Sciences, Autonomous University of Barcelona (2013) Anwer's research focuses on Computer Vision and Natural Language Processing , specializing in image segmentation, language modeling, and multimodal learning. He pioneers techniques for culturally diverse language evaluation, low-resource language processing, and 3D instance segmentation, addressing critical gaps in AI's ability to handle global linguistic diversity and complex spatial environments through deep feature extraction and self-distillation methods. Analysis of his 2024-2025 publications reveals a decisive shift toward multilingual and multimodal AI systems, particularly in evaluating large language models across 100 languages and developing open-vocabulary 3D vision techniques. His work consistently targets real-world applicability in low-resource settings while advancing theoretical frameworks for continual learning and unknown object discovery in dynamic environments. Anwer actively contributes to the Laaksonen Jorma research group and previously participated in the Academy of Finland-funded Finnish Centre of Excellence in Computational Inference Research (2015-2017), where he investigated deep feature learning and knowledge acquisition for image captioning systems using answer set programming and expert knowledge integration.

Tomi Janhunenمشاهده پروفایل

استاد

• Knowledge Representation and Reasoning
• Answer Set Programming
• Satisfiability Checking
• +۶ مورد دیگر

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 .