Find Academic Supervisors

Sorin IlieView profile

Lecturer

• Agent-Based Systems
• Distributed Computing
• Software Engineering
• +4 more

Dr. Eng. Sorin Ilie is a Lecturer at the Faculty of Automatic Control, Computers and Electronics, University of Craiova (Romania). His research focuses on agent-based systems , distributed computing , and software engineering , with notable work in ant colony optimization and human-computer interaction . He has contributed to automated software development frameworks like ReLEL and Praxeme, as well as renewable energy applications in urban environments. Role: Lecturer Email: sorin.ilie@edu.ucv.ro Research Interests: Agent-based simulation for emergency scenarios Mathematical modeling of emissions in power systems Automated code generation from requirements models Application of game theory to electric vehicle rentals Swarm intelligence algorithms in distributed systems Publication Trends: His recent work spans artificial intelligence , renewable energy , and software engineering , emphasizing agent-based resource allocation , ant colony optimization , and model-driven development . He explores interdisciplinary applications in environmental management , urban mobility , and collaborative learning tools . Projects: Includes research on distributed constraint topologies, federated agent systems for environmental monitoring, and semantic logging in multi-agent architectures. His work bridges theoretical frameworks (e.g., ACODA optimization, JADE middleware) with practical implementations in disaster management and auction systems.

Esra ErdemView profile

Professor

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Answer Set Programming
• +6 more

Esra Erdem is a Professor in the Department of Computer Science and Engineering at Sabanci University, Faculty of Engineering and Natural Sciences. Her research focuses on the mathematical foundations of knowledge representation, automated reasoning, and answer set programming, with applications in bioinformatics, logistics, cognitive robotics, and economics. She has developed frameworks for hybrid planning, spatial-temporal reasoning, and multi-agent coordination using logic-based methods. She earned her Ph.D. in Computer Sciences (2002) at the University of Texas at Austin under Vladimir Lifschitz. Her academic genealogy traces back to Nikolai Shanin, Pavel Aleksandrov, and Karl Weierstrass. Her recent publications emphasize answer set programming for robotics, including collaborative assembly, path finding, and spatial reasoning. She applies these techniques to real-world challenges in cognitive factories and rehabilitation robotics. Erdem co-edited proceedings for KR 2021 and ICLP 2019 Technical Communications. She serves as an academic advisor and has contributed to educational tools like ReAct! for AI planning in robotics.

• Knowledge Graphs
• Datalog
• Semantic Web
• +5 more

Aleksandar Pavlovic is a Research Fellow at the Institute of Computer Science within the University of Applied Sciences Wiener Neustadt. His work focuses on knowledge graphs, declarative programming, and AI-enhanced systems for complex reasoning tasks. Primary Affiliation: Institute of Computer Science, University of Applied Sciences Wiener Neustadt Research Interests Knowledge Graph Reasoning and Embedding Datalog-based Semantic Query Systems AI for Production Planning Under Uncertainty Interoperability in Semantic Web Technologies Geometric Interpretation of Knowledge Graphs Neural-Symbolic Integration Recent Publications demonstrate expertise in combining classical logic with machine learning for knowledge graph analysis, SPARQL query optimization, and enterprise knowledge management systems. Key trends include geometric embeddings for knowledge graphs and decentralized AI planning. Projects include: 24/7 Digital : AI-powered care systems with remote support and climate-resilience guidelines (FFG-funded) IntelliProPS : AI-enriched production planning simulator for volatile manufacturing environments (COIN-program)

Omar El KhatibView profile

Assistant Professor

• Artificial Intelligence
• Computer Science
• Answer Set Programming
• +2 more

Omar El Khatib is an Assistant Professor in the Department of Mathematics and Computer Science at Loyola University New Orleans, where he joined in Fall 2017. Previously, he served as an Assistant Professor at Taif University for seven years and as a Software Developer at Epic Systems Corporation in Madison, WI for two years. His educational background includes: Ph.D. in Computer Science from New Mexico State University (2007) Dr. El Khatib's research focuses on Artificial Intelligence with specialized expertise in Answer Set Programming, Machine Learning, and Deep Learning. His work applies declarative programming techniques to solve complex combinatorial optimization challenges across industrial domains. His publication history reveals a sustained emphasis on Answer Set Programming applications, addressing problems like assembly line balancing, pixel puzzle resolution, and job shop scheduling. These works demonstrate the versatility of logic-based approaches for modeling constrained real-world systems in manufacturing and computational problem-solving. Scientific awards: No scientific awards mentioned in the provided text Student advising and grant details are not specified in the source material. The text also contains no references to research laboratories, collaborative teams, or ongoing funded projects.

• Computer Science
• Formal Methods
• Cybersecurity
• +5 more

Michael Huth is a Visiting Professor at the Department of Computing, Faculty of Engineering at Imperial College London. His research focuses on formal methods, cybersecurity, computational theory, and software verification. He is affiliated with the Centre for Cryptocurrency Research and Engineering, Centre for Smart Connected Futures, and the Quantitative Analysis and Decision Science group. His work emphasizes rigorous mathematical foundations for information systems security and process-aware systems. Key research areas include formal verification of security protocols, trust management systems, and automated reasoning tools. He has contributed extensively to the analysis of parity games, workflow authorization schemas, and probabilistic models. His affiliations reflect interdisciplinary collaborations in smart technologies and decision sciences. Notable trends in his publications include advancing formal methods for system security, developing tools like PEALT for trust evidence analysis, and exploring theoretical underpinnings of computational logic. He has also engaged with practical applications of his research through frameworks for resilient computing and policy-based access control.

Fabio PapacchiniView profile

Senior Lecturer

• Modal Logic
• Automated Planning
• Formal Verification
• +5 more

Dr. Fabio Papacchini is a Senior Lecturer in Computer Science at Lancaster University. His research focuses on modal logic, automated planning, formal verification, agent systems, and ontology-mediated querying. He contributes to theoretical foundations of logic and their applications in artificial intelligence and software engineering. Papacchini is actively involved in the Security Lancaster research groups, specifically in Software Security and Systems Security domains. His recent work includes advancements in modal logic reduction techniques, efficient model construction, and formal verification of autonomous systems. He has published extensively in top-tier conferences and journals, with notable contributions to automated planning, BDI agents, and runtime verification frameworks. Current projects include fostering professional development through collaborative academic initiatives. Awards and recognitions are not explicitly listed in the provided texts. Papacchini’s research has been supported by grants and collaborations, though specific funding details are not detailed here. He is affiliated with the Department of Computer Science at Lancaster University and maintains an active presence in international academic communities.

• Declarative Programming
• Functional Programming
• Logic Programming
• +5 more

Juan José Moreno is a Research Professor at the Technical University of Madrid (UPM), Spain, with a dual appointment as Full Professor. He holds a PhD in Computer Science from UPM (1989) and conducted part of his doctoral research at RWTH Aachen, Germany. Since 1996, he has been a Full Professor at UPM's Computer Science Department and a founding member of the IMDEA Software Institute, serving as its Deputy Director until 2008. His research focuses on declarative software development technologies, including specification languages, code generation, and component-based systems. He leads the BABEL research group and contributed to the design of the Curry programming language. Education: PhD in Computer Science, Technical University of Madrid (1989) Research & Leadership: Prof. Moreno has authored over 100 publications in international conferences and journals, and spearheaded EU-funded projects. He founded and directed the Spanish research consortium SpaRCIM in Informatics and Mathematics. His editorial roles include membership on the Electronic Journal of Functional and Logic Programming's board. He coordinated Spain's first Erasmus Mundus Master's program. Administrative Roles: He served in key national and EU committees, including the FP6 IST Committee and as Spanish National Contact Point for ICT. Currently, he is on leave as Director General for University Policies at Spain's Ministry of Education. Labs/Teams: Leads the BABEL research group, active in declarative programming and software specification for over 17 years.

Gerald Jay SussmanView profile

Professor

• Artificial Intelligence
• Computer Languages
• Computer Architecture
• +6 more

Gerald Jay Sussman is the Panasonic Professor of Electrical Engineering at the Massachusetts Institute of Technology (MIT). He received his S.B. (1968) and Ph.D. (1973) in mathematics from MIT and has been conducting artificial intelligence research there since 1964. His primary research focuses on understanding problem-solving strategies used by scientists and engineers, with dual goals of automating these processes and formalizing educational methodologies. He co-directs the Sussman Lab at MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). His research spans artificial intelligence, computer languages, VLSI design, computational classical mechanics, synthetic biology, and telescope engineering. Notable contributions include co-creating the Scheme programming language, developing AI-based CAD tools for VLSI, designing the Digital Orrery for orbital mechanics simulations, and pioneering computational approaches to teaching classical mechanics. His current work includes developing explainable AI systems for autonomous vehicles. Professor Sussman's publications demonstrate broad interdisciplinary impact, with recent works spanning computer science education, software design, computational physics, and synthetic biology. His research consistently bridges theoretical computer science with practical engineering applications and educational innovation. Scientific Awards & Honors: Karl Karlstrom Outstanding Educator Award (ACM, 1990) Amar G. Bose Award for Teaching (MIT, 1992) IEEE EAB Major Education Innovation Award (2023) Taylor L. Booth Education Award (IEEE, 2024) National Academy of Engineering Member Fellow: IEEE, AAAI, ACM, AAAS, American Academy of Arts and Sciences He has supervised 46 PhD students spanning five decades, with dissertations covering AI, computer architecture, computational biology, and physical system modeling. His Sussman Lab develops computational tools for science education and engineering design, including contributions to the Magellan telescopes in Chile. Current projects involve explainable AI systems and computational mechanics frameworks.

Arash TermehchyView profile

Associate Professor

• Machine Learning
• Data Systems
• Human-Data Interaction
• +6 more

Arash Termehchy is an Associate Professor in the Department of Electrical Engineering and Computer Science at Oregon State University's College of Engineering. His research focuses on data-centric systems, including machine learning on structured/heterogeneous data, human-data interaction, and scalable/robust reasoning systems. He leads the IDEA Lab and teaches courses such as CS 549 (Scalable Reasoning & ML), CS 540 (Database Management Systems), and CS 440 (Database Management Systems). His work has been recognized with awards like the 2019 ACM SIGMOD Research Highlight Award and multiple Best Paper selections. Termehchy holds a Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign. His research spans data cleaning methods for ML, scalable relational learning, and systems for translational biomedicine (e.g., RTX-KG2). He explores how users' data focus evolves during visual analysis and develops adaptive visualization techniques like ShiftScope. His work emphasizes practical applications of AI in data systems, including entity augmentation, query generation, and model consistency through declarative constraints. Key contributions include Schema-independent relational learning (Castor), variational databases, and the Data Exploration Game framework. His research bridges theoretical foundations (e.g., logical scalability of learning algorithms) with real-world systems (e.g., Universal-DB for graph analytics). Current projects address challenges in handling incomplete data, scalable schema mappings, and human-in-the-loop data exploration. Education: Ph.D., Computer Science, University of Illinois at Urbana-Champaign Labs/Teams: IDEA Lab (Investigating Data-centric AI & Exploratory Analytics) Grants: NSF III Collaborative Research on Similarity Metrics (2014), Yahoo! Key Scientific Challenges (2011)

Maria Garcia De La Banda GarciaView profile

Professor

• Combinatorial Optimisation
• Program Analysis
• Declarative Programming
• +2 more

Maria Garcia De La Banda Garcia is a Professor at Monash University's Faculty of Information Technology with over 25 years of academic experience. She currently serves on the ARC College of Experts and is Co-Chair of the Monash-Woodside FutureLab. Her research spans: Combinatorial optimization techniques Program analysis and transformation Constraint programming languages Bioinformatics applications She has secured over $34M in research funding and serves as Area Editor for the Journal of Theory and Practice of Logic Programming. Awards include: Logan Fellowship (1997) International Constraint Modelling Challenge (2005) Monash Honour Roll (2021)

Maria Garcia de la BandaView profile

Professor

• Constraint Programming
• Combinatorial Optimization
• Program Analysis
• +5 more

Maria Garcia de la Banda is a distinguished Professor at Monash University's Faculty of Information Technology, where she serves in the Department of Data Science and Artificial Intelligence (DSAI). With over 25 years of academic experience, she has held significant leadership roles including Deputy Dean (Research) until July 2022, overall Deputy Dean of the Faculty (2013-2016), and Head of the Caulfield School of Information Technology (2009-2011). She is currently a member of the ARC College of Experts and Co-Chair of the Monash-Woodside FutureLab. Her educational background includes a Doctor of Philosophy in Computer Science from the Universidad Politecnica de Madrid (awarded July 7, 1994) and an Ingeniero Informatico degree from the same institution (awarded March 1, 1992). Her PhD received the university's Best PhD Award. Garcia de la Banda's research spans multiple disciplines with a strong focus on constraint programming, combinatorial optimization, program analysis, and bioinformatics. She leads the Optimization research group within DSAI and has made significant contributions to declarative programming languages, parallelism, and automatic parallelization. Her interdisciplinary work bridges computer science with biological applications, particularly in protein structure analysis and computational drug design. Her publication record shows consistent contributions across constraint programming, optimization, and bioinformatics. Recent work demonstrates increasing interdisciplinary collaboration, with a notable expansion into bioinformatics applications alongside her core constraint programming research. She has maintained a strong presence at major conferences like CP (International Conference on Principles and Practice of Constraint Programming) while also building impactful industry collaborations. Her scientific recognition includes: Logan Fellowship (1997) - the first and only prestigious award of its kind in the Faculty of IT International Constraint Modelling Challenge winner (2005, with Peter Stuckey) Universidad Politecnica de Madrid's Best PhD Award (1994) Induction into the Monash Honour Roll (2021) Vice-Chancellor's Diversity and Inclusion Award (2020) As a research leader, Garcia de la Banda has secured over $20M in industry funding and $14M in nationally competitive funding, including $8M as Chief Investigator in 11 ARC grants (5 as lead). She has served as Area Editor of the Journal of Theory and Practice of Logic Programming since 2010 and on the Editorial Board of the Constraints journal since 2019. Her leadership extends to professional organizations, having served on the Executive Committees of both the Association of Logic Programming (2005-2008) and the Association of Constraint Programming (2017-2020), where she was President (2019-2020). She leads the Optimization research group within DSAI and collaborates extensively across Monash University and with industry partners. Her current major projects include HARNESS (Hierarchical Abstractions and Reasoning for Neuro-Symbolic Systems), the ARC Training Centre in Optimisation Technologies, and the Building 4.0 CRC project focused on better buildings through technology. These initiatives demonstrate her commitment to translating theoretical research into practical applications with real-world impact.

• Declarative Programming
• Software Development Technologies
• Specification Languages
• +3 more

Juan José Moreno-Navarro is a Professor at the Technical University of Madrid (UPM) and a Research Professor at IMDEA Software Institute. He has been affiliated with UPM since 1996 and joined IMDEA at its foundation in 2005. He served as Deputy Director of IMDEA until 2008 and is currently on leave as Director General for University Policies at the Spanish Ministry of Education. PhD in Computer Science from Technical University of Madrid, Spain (1989), with part of his doctoral work conducted at RWTH Aachen, Germany His research interests center on declarative and rigorous software development technologies, including specification languages, automatic code generation, and software services description. He focuses on the integration of functional and logic programming to enhance language expressiveness for real-world applications, having led the design and implementation of the BABEL language and contributed to the international development of Curry. Moreno-Navarro has participated in numerous EU-funded and national/international research projects, leading the BABEL research group for over 17 years. He has coordinated the first Erasmus Mundus Master program in Spain and served as founding director of SpaRCIM, the Spanish research consortium in Informatics and Mathematics. His administrative roles include leadership in the FP6 IST Committee, Spanish National Contact Point for the Ministry of Education and Science, and vice-chair positions in national software engineering and technology platforms.

• Answer Set Programming
• Knowledge Representation and Reasoning
• Cyber-Physical Systems
• +3 more

Dr. Peter Schüller is a Professor affiliated with the Department of Knowledge-Based Systems at TU Wien (Vienna University of Technology). He holds the academic title of Privatdozent (Priv.-Doz.) and has a background in Technical Engineering (Dipl.-Ing. Dr.techn. / Bakk.techn.). His roles include academic research, consulting services for intelligent automation, and partnership with Potassco Solutions. He is based at Favoritenstrasse 11, Room HG0312, and can be contacted via peter.schueller@tuwien.ac.at or contact@peterschueller.com. Education : Master's Thesis: 'Reconstructing borders of manually torn paper sheets using integer linear programming' (2008) PhD (Dr.techn.) in Informatics Habilitation (Privatdozent) qualification Research Interests : Schüller specializes in declarative problem solving through Answer Set Programming (ASP), with focus areas including hybrid knowledge integration systems, inconsistency management, and applications in robotics, traffic optimization, and industrial automation. His work bridges theoretical advances in computational logic with practical implementations in enterprise software architecture and database systems. Projects & Grants : He has led projects funded by the Austrian Research Promotion Agency (FFG), Austrian Science Fund (FWF), and Vienna Science and Technology Fund (WWTF). Key projects include: 'Dynamic knowledge-based (re)configuration of cyber-physical systems' (2017–2020) 'Integrated Evaluation of Answer Set Programs' (2015–2018) 'Inconsistency Management for Knowledge-Integration Systems' (2009–2012) Consulting & Partnerships : Provides services in enterprise software design, database optimization, GDPR compliance, and hybrid knowledge systems. Official partner of Potassco Solutions. Collaborates on initiatives like AI4EU and HumanE-AI-Net. Labs & Teams : Active in TU Wien's Knowledge-Based Systems Group. Involved in developing the DLVHEX and Hexlite solvers.

• Fuzzy Logic
• Artificial Intelligence
• Automated Scheduling
• +2 more

Wolfgang Slany is Professor at Vienna University of Technology focusing on AI applications in scheduling systems. His research develops domain-specific languages and hybrid algorithms for workforce optimization in healthcare, call centers, and industrial settings. Key research areas: Fuzzy logic in AI systems Automated shift planning Break scheduling heuristics Test automation frameworks Publications demonstrate iterative development of the TEMPLE modeling language for staff scheduling. Recent work combines constraint programming with local search techniques to solve complex real-world scheduling problems across supervision systems and manufacturing environments.

Leroy ChewView profile

Research Fellow

• Proof Complexity
• Quantified Boolean Formulas
• SAT Solving
• +3 more

Dr. Leroy Chew is a Research Fellow at the Institute of Logic and Computation at Technische Universität Wien. He specializes in theoretical computer science with focus areas in proof complexity, quantified Boolean formulas (QBF), and SAT solving. His educational background includes a PhD from the University of Leeds and postdoctoral research at Carnegie Mellon University. Dr. Chew's research explores the boundaries of computational complexity and formal verification systems. His current projects include developing novel proof systems for quantified formulas and expansion-based approaches for constraint satisfaction problems. He leads research funded by the ESPRIT Grant on QBF Proofs and Certificates. His publication record demonstrates consistent contributions to formal verification and computational logic, with recent advances in strategy extraction techniques and dual proof systems. He maintains academic collaborations across Europe and the United States, and has served on program committees for major conferences including SAT and QBF Workshops. Dr. Chew has received the EPSRC Postdoctoral Prize Research Fellowship and continues to develop computational tools for the research community, including proof generators and strategy extraction software.