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

• Computer Science Education
• Learning Technologies
• Virtual Reality in Education
• +۵ مورد دیگر

Nadine Bergner is a Professor in the Teaching and Research Area of Learning Technologies (Informatik 9) at the Faculty of Computer Science, Dresden University of Technology (TU Dresden). Her work focuses on innovative approaches to computer science education across various educational levels, from primary schools to university settings. She leads research on learning technologies, VR applications in education, and teacher training in computer science. Prof. Bergner's research spans multiple dimensions of computer science education. She has developed and evaluated numerous educational approaches including VR serious games, physical computing with Arduino, and specialized learning environments like the InfoSphere student lab. Her work emphasizes making computer science accessible and engaging for diverse learners, including young children, senior citizens, and pre-service teachers. She has made significant contributions to understanding how students form mental models of computer science concepts and how these can be effectively developed through targeted educational interventions. Her recent publications reveal a strong focus on emerging technologies in education, particularly virtual reality applications for computer science learning. She has been exploring how different interaction modalities in VR affect learning outcomes, presence, and enjoyment. Another major thread in her recent work involves machine learning education, where she has developed concept inventories and game-based learning approaches to make complex ML concepts accessible to learners. She has also been actively researching how to integrate computer science and AI competencies into teacher education across various disciplines. Prof. Bergner has made substantial contributions to the development of educational materials and frameworks for computer science education. Her work includes creating resources for programming education ("Apps programmieren für Dummies Junior"), designing concept inventories for machine learning assessment, and developing comprehensive approaches to building computational thinking skills from early childhood through higher education. She has been instrumental in shaping computer science education policy through initiatives like the Dagstuhl Declaration on education in the digital networked world. Her research often involves collaborative projects with schools and teachers, focusing on practical implementation and evaluation of computer science education approaches. She has been particularly active in developing teacher training programs and materials to support the integration of digital competencies into school curricula. Her work with the InfoSphere student lab has provided valuable insights into how extracurricular learning environments can shape students' perceptions of computer science.

• Answer Set Programming
• Artificial Intelligence
• Logic Programming
• +۴ مورد دیگر

Torsten Schaub is a Professor at the Institute of Computer Science , University of Potsdam. His research focuses on Answer Set Programming (ASP) , constraint solving, temporal reasoning, and combinatorial optimization, with applications in multi-agent pathfinding, product configuration, and course timetabling. Key contributions include ASP-based tools for industrial-scale optimization problems, metric temporal logic implementations, and frameworks for dynamic equilibrium logic. Recent work explores efficient design space exploration, stream reasoning, and multi-shot ASP solving for complex domains. His publications emphasize hybrid ASP systems , integrating constraints and temporal logic, with co-authors across Europe and Asia. He actively develops tools like clingo and Clingraph for practical ASP applications in logistics, bioinformatics, and robotics. The articles reveal a trend toward multi-agent systems (e.g., pathfinding algorithms) and temporal extensions in ASP, combining formal logic with real-world problem-solving. Sub-fields include constraint satisfaction, logical abduction, and declarative modeling for optimization tasks.

Siegfried Nijssenمشاهده پروفایل

استادیار

• Data Mining
• Pattern Mining
• Exploratory Data Analysis
• +۵ مورد دیگر

Siegfried Nijssen is an Assistant Professor of Data Mining and Artificial Intelligence at the Catholic University of Louvain (UCLouvain) in Belgium, working within the ICTEAM research institute's Artificial Intelligence and Algorithms group. He has been at UCLouvain since 2016, previously serving as an Assistant Professor at University Leiden (2012-2016) and completing postdoctoral work at KU Leuven (2006-2015). He earned his PhD in Computer Science from University Leiden in 2006. His research focuses on making data analysis simpler through intersections between pattern mining, exploratory data analysis, and programming paradigms in Artificial Intelligence, particularly constraint programming and probabilistic programming. He has developed techniques for analyzing diverse data types including graphs, networks, and multi-relational data. His work bridges theoretical foundations with practical applications in decision tree learning, probabilistic networks, and source code analysis. Nijssen's recent publications demonstrate a strong focus on optimal decision trees, constraint-based pattern mining, and applications in bioinformatics and education. His research shows consistent evolution from foundational graph mining work (including the Gaston algorithm developed in 2004) to current work integrating machine learning with constraint programming for interpretable AI solutions. As an educator, he teaches courses including Mining Patterns in Data, Databases, and Artificial Intelligence and Machine Learning seminars at UCLouvain. He has advised numerous PhD students and postdocs, primarily in collaboration with Pierre Schaus, with former students like Tias Guns now holding professorships.

Joachim Baumeisterمشاهده پروفایل

استاد

• Semantic Information Systems
• Knowledge Graphs
• Deep Learning
• +۵ مورد دیگر

Joachim Baumeister is a Professor at the Chair of Computer Science VI - Artificial Intelligence and Knowledge Systems within the Institute of Computer Science at the University of Würzburg's Faculty of Mathematics and Computer Science. While his primary employment since September 2010 has been at denkbares GmbH, a company specializing in knowledge-based systems, he continues to regularly give lectures at the university. His research focuses on Semantic Information Systems, Knowledge Graphs, Deep Learning applications, Natural Language Processing, and Knowledge-based Configuration for Industry 4.0. Professor Baumeister's work bridges theoretical AI research with practical industry applications, particularly in knowledge-based configuration systems and semantic technologies. His recent publications (2020-2024) reveal a strong emphasis on product configuration systems, semantic knowledge representation, regulatory document processing, and knowledge-based systems. His research has evolved from foundational work on semantic wikis and knowledge engineering to more recent applications involving deep learning and large language models, demonstrating adaptability to emerging technologies while maintaining focus on practical knowledge representation problems. Professor Baumeister's work demonstrates significant contributions to case-based reasoning, knowledge configuration, and semantic technologies, with applications spanning regulatory compliance, industrial configuration systems, and document processing. His current research areas include: Semantic Information Systems and Knowledge Graphs Deep Learning for Image Recognition and Language Understanding Knowledge-based Configuration for Industry 4.0 Natural Language Processing Intelligent Personal Assistants and Chat Bots Though specific students aren't listed in the provided information, Professor Baumeister actively invites students to contact him regarding projects, bachelor theses, and master theses in his areas of expertise. His work at denkbares GmbH focuses on the design, implementation, and evolution of knowledge-based systems and semantic information systems.

• Answer Set Programming
• Logic Programming
• Knowledge Representation
• +۷ مورد دیگر

Mario Alviano is a Professor at the University of Calabria's Department of Computer Engineering, Modeling, Electronics and Systems (DIMES) in Rende, Italy. With a prolific publication record spanning from 2008 to 2025, he has established himself as a leading researcher in Answer Set Programming (ASP), logic programming, and knowledge representation. His work bridges theoretical foundations with practical applications across diverse domains including cybersecurity, environmental monitoring, and explainable AI. Alviano's research focuses on advancing the theoretical understanding and practical applications of Answer Set Programming. His key contributions include developing ASP Chef, a visualization and development framework for ASP; advancing theoretical foundations of conditional reasoning and typicality in weighted knowledge bases; and creating bridges between neural networks and symbolic AI through preferential interpretations. His recent work explores temporal extensions to conditional logics, applications of ASP to digital twin visualization, and tools for improving explainability in AI systems. Alviano's publications consistently appear in top-tier venues including ICLP, LPNMR, JELIA, and Theory and Practice of Logic Programming. His research demonstrates strong trends toward practical applications of theoretical advances, with increasing focus on explainability, visualization, and real-world problem solving. The recent surge in publications (26 in 2024 alone) indicates significant ongoing research activity and leadership in the field. His work increasingly integrates ASP with other AI paradigms, particularly neural networks, to create more interpretable and robust AI systems. Alviano has made substantial contributions to the development of tools and frameworks that lower barriers to entry for ASP, most notably ASP Chef which provides visualization capabilities for complex logic programs. His work on Hashcash Tree demonstrates applications to security problems, while his research on marketplace logistics shows practical business applications of declarative programming. His collaborative network is extensive, with frequent co-authorship with researchers including Wolfgang Faber, Nicola Leone, Francesco Ricca, Carmine Dodaro, Laura Giordano, and Daniele Theseider Dupré, reflecting strong connections across European AI research institutions. Alviano has also organized workshops including multiple editions of Datalog 2.0, demonstrating leadership in the logic programming community.

• Artificial Intelligence
• Knowledge Representation
• Constraint Answer Set Programming
• +۴ مورد دیگر

Dr. Yuliya Lierler is a Professor in the Department of Computer Science at the University of Nebraska Omaha's College of Information Science & Technology. She has been a faculty member since 2012, reaching the rank of full professor, and was appointed to the Cheryl Prewett Diamond Professorship in 2020. Her work focuses on artificial intelligence, particularly in knowledge representation, automated reasoning, and declarative problem solving. PhD in Computer Science (University of Texas at Austin, 2010) Dr. Lierler's research bridges logic programming with practical AI applications, including natural language understanding, constraint satisfaction, and SMT-based solvers. She is a co-director of the NLPKR lab and has authored over 70 peer-reviewed publications in venues like Artificial Intelligence Journal and AAAI. Her contributions include open-access textbooks and tools like text2alm for semantic information extraction. Her recent publications explore advancements in answer set programming (ASP) semantics, automated reasoning frameworks, and hybrid knowledge representation systems. She has served as program co-chair for major conferences like ICLP (2022) and PADL (2017), and received awards such as the IS&T Outstanding Research Award (2024). Dr. Lierler also mentors students and leads initiatives in teaching innovation through online education and professional development programs. Mentor of the Year Award, Aksarben Foundation (2025) IS&T Outstanding Research and Creativity Award (2024) Best Student Paper Award (with Amelia Harrison, 2016) Dr. Lierler contributes to academic service through leadership roles in international conferences and program committees. Her lab, NLPKR, focuses on integrating natural language processing with formal logic, while her teaching emphasizes formal methods and AI foundations.

• Answer Set Programming
• Logic Programming
• Artificial Intelligence
• +۵ مورد دیگر

Carmine Dodaro is an active researcher in Answer Set Programming (ASP) at the University of Calabria's Department of Mathematics and Computer Science. With over 130 publications from 2011-2025, his work bridges theoretical advances in logic programming with practical healthcare applications. His primary research interests include: Answer Set Programming theory and implementation Compiler techniques for ASP solvers Healthcare scheduling optimization (operating rooms, nurse staffing, chemotherapy) Integration of ASP with other AI paradigms Real-world constraint satisfaction problems Dodaro's recent work demonstrates exceptional focus on healthcare applications of ASP, with multiple 2023-2024 publications addressing nurse scheduling, operating room management, rehabilitation planning, and nuclear medicine scheduling. His approach typically involves developing specialized ASP encodings that handle complex real-world constraints while maintaining computational efficiency. He maintains a highly productive collaboration network, particularly with Marco Maratea (52 co-authored papers), Mario Alviano (40), and Giuseppe Galatà (23), forming one of Italy's leading ASP research groups. His publications appear consistently in top venues including Theory and Practice of Logic Programming, IJCAI, AAAI, and specialized logic programming conferences. Dodaro has contributed significantly to both theoretical foundations (unsatisfiable core analysis, paracoherent reasoning) and practical implementations (WASP solver extensions, CNL2ASP translation tools). His 2024-2025 publications indicate ongoing research momentum with no signs of reduced activity.