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

Franz Wotawaمشاهده پروفایل

استاد

• Model-Based Reasoning
• Qualitative Reasoning
• Theorem Proving
• +۶ مورد دیگر

Franz Wotawa is a Professor of Software Engineering at Graz University of Technology. He holds a M.Sc. (1994) and PhD (1996) from Vienna University of Technology. He has served as head of the Institute for Software Technology from 2003–2009 and since 2020. His research focuses on model-based reasoning, software testing, autonomous systems, and diagnosis, with over 390 peer-reviewed publications. He founded Softnet Austria (2006) to bridge research and industry. He leads the Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems since 2017 and has supervised 90+ master and 36+ PhD students. His awards include the 2016 Lifetime Achievement Award from the International Diagnosis Community. He is a member of Academia Europaea, IEEE, and AAAI. **Education**: M.Sc. in Computer Science, Vienna University of Technology, 1994 PhD, Vienna University of Technology, 1996 **Research Interests**: Model-based reasoning, qualitative reasoning, theorem proving, mobile robotics, verification/validation, software testing/debugging, AI, and autonomous systems. **Notable Projects**: A-IQ Ready (2022–2026): Quantum sensing for autonomous systems. ALFA (2024–2027): AI for smart diagnosis in building automation. Bilateral AI (2024–2029): Combining symbolic and sub-symbolic AI. VARCOS (2025–2028): Vehicle-road cooperative systems for autonomous driving. **Awards & Memberships**: Lifetime Achievement Award (2016, International Diagnosis Community) Senior Member, AAAI Member of Academia Europaea, IEEE, ACM, and Austrian Computer Society **Labs/Teams**: Christian Doppler Laboratory for Quality Assurance Methodologies (since 2017). Active in Cluster of Excellence “Bilateral AI” at TU Graz.

Sangiorgi Davideمشاهده پروفایل

استاد

• Computer Science
• Theory of Concurrent Systems
• Theory of Distributed Systems
• +۲ مورد دیگر

Davide Sangiorgi is a Full Professor at the University of Bologna, Italy, with a distinguished career in computer science and theoretical concurrency. He has held significant roles as Director of Research at INRIA (2000), Researcher at INRIA (1995), and Research Fellow at the University of Edinburgh (1993). His work spans programming languages, distributed systems, and formal verification. Laurea (Master) in Computer Science, University of Pisa, 1987 PhD in Computer Science, University of Edinburgh, 1993 His research focuses on the theory of concurrent and distributed systems, with contributions to bisimulation, process calculi, and type systems. His publications highlight advancements in lock-freedom, environmental bisimulation, and behavioral equivalence, primarily in programming languages and concurrency theory. Key trends in his articles include the development of formal methods for concurrency, type systems for mobile processes, and the application of bisimulation in higher-order languages. His work bridges theoretical foundations with practical verification techniques in distributed systems and programming languages. Elected Chairman of IFIP Working Group 2.2 (FORMAL DESCRIPTION OF PROGRAMMING CONCEPTS) in 2005 and re-elected in 2008 Member of the Council of the Italian Chapter of the European Association for Theoretical Computer Science (EATCS), re-elected 3 times Sangiorgi has supervised 10 PhD students across France and Italy, currently advising 3. He has led 3 large EU projects and bilateral initiatives (France-USA, France-Germany, France-Italy). He co-founded the joint INRIA-University of Bologna laboratory, the first of its kind for INRIA in a foreign institution.

Dzeroski Sasoمشاهده پروفایل

استاد

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۸ مورد دیگر

Saso Dzeroski is a Professor and Department Head at the Department of Knowledge Technologies, Jožef Stefan Institute, Slovenia. He holds concurrent roles as a guest professor at the Faculty of Computer and Information Science, University of Ljubljana, and a full professor at the Jožef Stefan International Postgraduate School. His primary affiliation is with Jožef Stefan Institute, where he has served as Scientific Councillor since 2006 and Department Head since 2020. Former roles include Professor at the School of Environmental Sciences, University of Nova Gorica (1999-2014). Education: PhD (1995 - youngest in Computer Science in Slovenia), MSc (1991), and BSc (1989) in Computer Science from the University of Ljubljana. Research focuses on machine learning, data mining, and their applications in environmental and life sciences. Key areas include constraint-based mining, ensemble learning, inductive logic programming, and predictive modeling. He has coordinated major EU projects such as MAESTRA (FET Open, ranked 1st/318 proposals), HBP’s SARSCARUB subproject (ranked 1st/87), and LANDMARK (H2020). Awards: ECCAI Fellow (2008), Jožef Stefan Golden Emblem Prize (1996), ERCIM Fellowship (1995-1996). Leadership: General/Program Chair for ECML/PKDD 2017, ICML 2005/1999, and other major conferences. Editorial board member of journals like Machine Learning, Journal of Machine Learning Research, and Ecological Modelling.

• Systems
• Concurrency
• Memory Management
• +۵ مورد دیگر

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.

• Database Theory
• Computational Logic
• Parameterized Complexity
• +۴ مورد دیگر

Reinhard Pichler is a Full Professor at the Vienna University of Technology (TU Wien), affiliated with the Faculty of Informatics and the Department of Databases and Artificial Intelligence . His research focuses on Database Theory , Computational Logic , and Parameterized Complexity . He leads multiple research projects like DeConquer (2023–2027) and HyperTrac (2018–2022), addressing challenges in query optimization and hypergraph decompositions. He holds the prestigious START Prize (2014–2022) for young researchers. His work spans theoretical foundations (e.g., hypertree decompositions) and practical applications (e.g., SPARQL query processing systems like SparqLog). He contributes to academic governance, serving on faculty councils and curriculum commissions. His research innovations bridge algorithmic theory and real-world database systems, emphasizing efficient query evaluation and tractability analysis. Key contributions include advancing fractional hypertree decompositions , SPARQL query optimization , and consistent query answering . His projects often involve collaborations with industry and international funders like the Austrian Science Fund (FWF) and Vienna Science and Technology Fund (WWTF). He actively publishes in top venues like Journal of the ACM , ACM Transactions on Database Systems , and Proceedings of the VLDB Endowment . His academic leadership extends to course design, teaching advanced topics like Complexity Theory and Theoretical Computer Science . He mentors doctoral students and oversees research teams exploring cutting-edge areas like uncertain databases and cloud-based computational social choice .

• Artificial Intelligence
• Natural Language Processing
• Chatbot Development
• +۲ مورد دیگر

Nathaniel Boisgard is an External Lecturer at the Department of Logic and Computation at Technische Universität Wien. His academic focus includes artificial intelligence, natural language processing, and chatbot development, as evidenced by his 2018 diploma thesis on German language chat-bot systems. He teaches courses such as 'Introduction to Programming 1' and maintains an academic presence via university portals like TISS. Research interests span computational linguistics and AI applications in dialogue systems. His work emphasizes practical implementations of state-of-the-art techniques in language technology. No scientific awards are explicitly listed, though his academic contributions are reflected through published works and teaching activities.

Gabriel Ciobanuمشاهده پروفایل

استاد

• Membrane Computing
• Natural Computing
• Distributed Systems
• +۶ مورد دیگر

Gabriel Ciobanu is a Professor at Alexandru Ioan Cuza University of Iasi, Romania, and a Senior Researcher at the Romanian Academy, Iasi. He has held various academic positions internationally including as a Visiting Professor at Newcastle University (UK) from 2010-2015 and as a Research Fellow/Professor at the National University of Singapore (2000-2004). His educational background includes PhD studies at A.I.Cuza University and Edinburgh University (1990-1994) under the mentorship of Robin Milner, and his undergraduate studies in the Faculty of Mathematics and Computer Science at A.I.Cuza University of Iasi (1977-1982). Professor Ciobanu's research focuses on Membrane Computing and Natural Computing , Distributed Systems Models including process calculi with emphasis on semantics, behavioral equivalences, logics, and verification. He has made significant contributions to bridging membrane computing and process calculi, and to the Foundations of Mathematics and Computer Science through his work on Finitely Supported Mathematics. His research has applications in theoretical computer science, formal methods, and computational biology. His publication record shows a consistent research trajectory focusing on theoretical computer science with applications to natural computing, membrane systems, process calculi, and finitely supported structures. Recent work (2023-2025) continues to explore these areas with increasing focus on multi-agent systems, continuation semantics, and applications to medical systems and reaction systems. Scientific Awards and Recognition 2013 Grigore Moisil Award, Romanian Academy (as co-author of "Mobility in Process Calculi and Natural Computing", Springer) 2010-2013 Member of the National Research Council (CNCS) in Romania 2008-2010 Royal Society of London Joint International Project (Newcastle University, School of Computing) 2004 Octav Mayer Award for Scientific Achievements, Romanian Academy of Sciences, Iasi branch 2000 Grigore Moisil Award of the Romanian Academy of Sciences for results in Theoretical Computer Science 1995-1996 Japan Society for the Promotion of Science Fellowship (Tohoku University and Kyoto University) 1994 DAAD Research Fellowship (Institute of Computer Science, University of Kiel) 1991-1992 Royal Society of London and Romanian Academy Fellowship (University of Edinburgh) Professor Ciobanu has supervised 8 PhD students and numerous master's students. He has served as Editor-in-Chief of the Scientific Annals of Computer Science since 2006 and has been a guest editor for special issues of several international journals. He has collaborated with researchers from numerous countries including UK, France, Netherlands, Spain, Italy, Russia, China, Singapore, and India. He has been involved in various research projects and has spent research periods at prestigious institutions worldwide including Edinburgh University, Universite de Paris XI, CWI and VU Amsterdam, Tohoku and Kyoto University, National University of Singapore, and Newcastle University.

Johannes Peter Wallnerمشاهده پروفایل

دانشیار

• Knowledge Representation and Reasoning
• Artificial Intelligence
• Argumentation
• +۷ مورد دیگر

Johannes Peter Wallner is an Associate Professor at Graz University of Technology (TU Graz), working in the Institute of Software Engineering and Artificial Intelligence within the Faculty of Computer Science and Biomedical Engineering. He leads the Knowledge Representation and Reasoning (KRR) research group and has previously been a researcher at TU Wien's DBAI group and the Constraint Reasoning and Optimization group at the University of Helsinki. Dr. Wallner's research focuses on knowledge representation and reasoning, artificial intelligence, argumentation, abduction, belief change, inconsistency handling and measurement, computational social choice, computational complexity, Boolean satisfiability, and answer set programming. His work bridges theoretical foundations with practical applications, particularly in developing computational models for argumentation systems. He has made significant contributions to structured argumentation frameworks, including assumption-based argumentation and ASPIC+. His recent publications demonstrate a strong trend toward advancing algorithmic approaches to probabilistic argumentation, abstraction techniques in argumentation systems, and applications of argumentation in domains like healthcare. He has been particularly active in exploring the computational complexity of various argumentation semantics and developing efficient algorithms for reasoning tasks. Dr. Wallner has received multiple prestigious awards including being selected for the IJCAI 2024 Early Career Track (only 12 researchers globally selected), being named a Top Scholar by ScholarGPS in 2024 (top 0.5% worldwide in AI), and receiving the AI 2000 Most Influential Scholar Honorable Mention in Knowledge Engineering in 2021 and 2022. As Principal Investigator, Dr. Wallner has secured significant research funding from the Austrian Science Fund (FWF), including two major projects: "A Novel Computational Workflow for Argumentation in AI" (grant P 35632, 358,848 €) and "Extending Belief Change to Advance Dynamics in Argumentation" (grant P30168-N31, 353,438 €). He is highly active in the academic community, serving on program committees for major AI conferences including AAAI, IJCAI, KR, and ECAI, and was a member of the Program Committee Board of IJCAI (2022-2024). He leads the Knowledge Representation and Reasoning (KRR) research group at TU Graz, which develops both theoretical foundations and practical implementations for computational argumentation systems. The group has contributed to several software systems including CEGARTIX (a SAT-based argumentation system), Vispartix (visualization of argumentation frameworks), ADFsys (an ASP-based argumentation system for abstract dialectical frameworks), and others that implement various argumentation frameworks.

Nicola Leoneمشاهده پروفایل

استاد

• Knowledge representation and reasoning
• Deductive databases
• Semantic web
• +۵ مورد دیگر

Nicola Leone is a Full Professor of Computer Science at the University of Calabria , Italy, within the Department of Mathematics and Computer Science . Since 2000, he has held key academic and administrative roles, including Head of Department, Coordinator of the PhD Program in Mathematics and Informatics, Member of the Academic Senate, and Director of the PhD School in Systems Engineering, Informatics, Mathematics, and Operation Research. His research spans foundational and applied areas in Artificial Intelligence and Database Systems , with a focus on knowledge representation and reasoning , deductive databases , semantic web , answer set programming , and ontologies . He has been instrumental in advancing the theoretical and practical aspects of these fields, contributing to both academic discourse and real-world applications. Leone has been recognized with numerous prestigious awards, including the EurAI Fellowship , the ACM-PODS Alberto O. Mendelzon Test-of-Time Award , and multiple civic honors for scientific excellence. He has served on over 100 program committees and held editorial roles in top-tier journals. He has supervised 25 PhD dissertations and over 200 master’s theses , with many of his former students now holding professorships and contributing significantly to AI research. His leadership in education and research has shaped a generation of scholars in computer science and AI.

Leonid Libkinمشاهده پروفایل

استاد

• Data management
• Database theory
• Logic in computer science
• +۲ مورد دیگر

Leonid Libkin is a Professor and Chair of Foundations of Data Management at the University of Edinburgh , affiliated with the School of Informatics and the Laboratory for Foundations of Computer Science (LFCS) . Since 2006, he has been leading research and teaching in data management, database theory, and logic in computer science. Education and Career: 2006–present: Professor and Chair of Foundations of Data Management, University of Edinburgh 2004–2006: Full Professor, University of Toronto 2001–2004: Associate Professor, University of Toronto 1999–2000: Visiting Researcher, INRIA-Rocquencourt 1994–2001: Member of Research Staff, Bell Laboratories, Murray Hill Research Interests: Libkin's research spans databases, logic in computer science, and finite model theory. His work includes query languages for relational and graph databases, data integration, constraints, incomplete data, automata theory, and applications of logic in computer science. He has also contributed to lattice theory and programming semantics. Awards and Honors: Royal Society Wolfson Research Merit Award (2016) Member of Academia Europaea (2015) Fellow of the ACM (2012) Fellow of the Royal Society of Edinburgh (2012) Marie Curie Chair, EU FP6 (2006) Premier's Research Excellence Award, Ontario (2001) Five best paper awards from top-tier conferences (KR, ICDT, PODS) Books and Publications: Libkin is the author of several influential books including Elements of Finite Model Theory , Principles of Databases , and others on database theory and logic. His extensive publication record includes foundational papers in database theory and logic in computer science.

• Formal Verification
• Probabilistic Systems
• Game Theory
• +۵ مورد دیگر

Krishnendu Chatterjee is a Professor at the Institute of Science and Technology Austria (IST Austria) , Department of Computer Science. His research spans formal verification, probabilistic systems, game theory, and evolutionary dynamics, with over 300 peer-reviewed publications in top venues such as DISC, AAAI, LICS, PNAS, Nature , and Journal of the ACM . His research focuses on developing theoretical foundations and practical algorithms for analyzing complex systems, including Markov decision processes, stochastic games, probabilistic programs, and evolutionary models. He has made significant contributions to topics such as reachability analysis, termination of probabilistic programs, synthesis of controllers, and evolutionary game dynamics. Chatterjee's work is highly interdisciplinary, bridging computer science, mathematics, and biology. He has collaborated extensively with leading researchers worldwide and has been involved in editorial roles and program committees for major conferences in formal methods and theoretical computer science.

• Semantic Web
• Knowledge Representation
• Graph Data Management
• +۴ مورد دیگر

Shqiponja Ahmetaj is an Assistant Professor in the Department of Knowledge-Based Systems at the Faculty of Informatics, TU Wien. She specializes in semantic web technologies, knowledge representation, and graph data management. Her research focuses on SHACL validation, ontology integration, and formal methods for constraint satisfaction in graph databases. Education: PhD in Computer Science, TU Wien (2019): 'Rewriting approaches for ontology-mediated query answering.' MSc in Computer Science, TU Wien (2013): 'Planning in graph databases under description logic constraints.' Roles: Course instructor for 'Introduction to Artificial Intelligence,' 'Knowledge-based Systems,' and 'Semantic Technologies.' Principal investigator in projects like FRESH (2021–2026) and SEE (2012–2016). Research Interests: Her work addresses challenges in semantic web validation, ontology semantics, and graph data evolution. She develops formal methods for SHACL constraint validation, explanation generation for non-validation, and repair algorithms. Her contributions bridge the gap between semantic web standards and practical database systems. Her recent publications focus on SHACL validation of evolving graphs , ontology-ontology interoperability , and consistent query answering under constraints . Projects like FRESH emphasize theoretical and applied aspects of SHACL in knowledge graphs. Grants & Projects: FRESH (FWF, 2021–2026): 'Shapes in Graph Data: Theory and Implementation.' SEE (WWTF, 2012–2016): 'SPARQL Evaluation and Extensions.' Advising: Supervised theses such as 'SHACL validation of evolving RDF graphs' (2023) and 'A metaheuristic approach to crowdsourced package delivery' (2023). Labs/Teams: Active in TU Wien's research groups on semantic technologies and knowledge representation, collaborating with international institutions on projects like OMEGA and KtoAPP.

• Artificial Intelligence
• Strategic Reasoning in Multi-Agent Systems
• Formal Verification
• +۱۰ مورد دیگر

Aniello Murano is a Professor in Computer Science at the Department of Electrical Engineering and Information Technology of the University of Naples Federico II. He serves as Scientific Director of the ASTREA (Automated Strategic REAsoning) Laboratory and has been actively involved in numerous research projects including H2020-MSCA project SEAL as Principal Coordinator and PNRR Research Unit Coordinator on Resilient Strategic Reasoning in AI (2023-2025). His primary research interests focus on Artificial Intelligence, Formal Aspects for Strategic Reasoning in Multi-Agent Systems under Perfect and Imperfect Information, Specification, Verification, and Synthesis of Reactive Systems, Model Checking and Module Checking, Formal Languages, Automata Theory, Real-time Systems, Pushdown and Hierarchical Systems, Temporal and Modal Logics, Logics for Strategic Reasoning in AI, Game Theory, Parity Games, Solution Concepts, and Automated Mechanism Design. His work bridges theoretical computer science with practical applications in AI systems. Murano has published extensively in top-tier venues, with recent publications spanning KR, IJCAI, AAAI, AAMAS, and other premier conferences. His research shows strong trends in strategic reasoning frameworks, verification techniques for multi-agent systems, and applications of game theory to mechanism design. He has made significant contributions to Strategy Logic and its extensions. JPMorgan Faculty Research Award 2022 Best Paper Award PRIMA 2015 Vigevani Research Project Prize 2010 In KR Top 100, best AI-2000 world researchers Italian Scientific Abilitation as Full Professor in Engineering Computer Science (March 2018) Italian Scientific Abilitation as Full Professor in Computer Science (April 2017) Royal Society Award 2016 Murano has supervised numerous PhD students including Silvia Stranieri, Antonio Di Stasio, Vadim Malvone, and Giuseppe Perelli. He has served as Program Chair for major conferences including ECAI 2025 (Program co-chair), KR 2024 (Area chair), and CSL 2024. His research has been supported by significant grants including Horizon 2020 projects, JPMorgan funding, and Italian national research programs. He leads the ASTREA Laboratory focused on automated strategic reasoning and has been instrumental in establishing collaborative research initiatives with institutions worldwide.

• Mathematical Physics
• Partial Differential Equations
• Computational Mathematics
• +۷ مورد دیگر

Norbert Mauser is a full Professor in the Department of Mathematics at the University of Vienna, where he has been affiliated since 1999. His research bridges mathematical analysis, computational physics, and applied mathematics with a focus on developing and analyzing numerical methods for complex physical systems. Mauser's research interests center on mathematical physics, particularly partial differential equations arising in quantum mechanics and magnetism. His work spans Schrödinger-type equations, many-body quantum systems, micromagnetics, and more recently, the integration of machine learning techniques with physics-based modeling. He has made significant contributions to the mathematical analysis of quantum systems, numerical methods for micromagnetics, and computational approaches to Bose-Einstein condensates. His recent publications (2023-2025) reveal a growing emphasis on machine learning applications in micromagnetics, with multiple papers on physics-informed machine learning for magnetic energy minimization and spin wave dynamics. This represents an evolution from his earlier foundational work on Schrödinger equations and quantum systems toward more applied computational approaches that integrate AI with physical modeling. His research consistently demonstrates strong mathematical rigor combined with practical computational implementations. Mauser leads or participates in multiple significant research projects including 'Adaptive Splitting for Magneto-Hydrodynamics in Astrophysics' (2022-2026), 'Taming Complexity in Partial Differential Systems' (2017-2026), and 'Numerical simulation of A-type and white dwarf stars' (2021-2023). He has an extensive collaboration network across Europe, frequently working with researchers in computational physics and applied mathematics. His academic activities include organizing conferences such as 'Inverse-Design Magnonics' (2024) and presenting invited talks on absorbing boundary conditions for quantum wave equations. With over 80 publications spanning more than two decades, Mauser maintains an active research program that continues to evolve with contemporary challenges in computational mathematical physics.

Thomas Eiterمشاهده پروفایل

استاد

• Artificial Intelligence
• Knowledge Representation and Reasoning
• Computational Logic
• +۷ مورد دیگر

Thomas Eiter is a Full Professor at the Institute of Logic and Computation, Technical University of Vienna (TU Wien), where he serves as Head of Research Unit. He is a Full Member of the Division of Mathematics and Natural Sciences since 2022 and holds leadership roles within the university. His research focuses on knowledge representation and reasoning, computational logic, algorithms and complexity in AI, declarative problem solving, nonmonotonic logic programming and databases, and reasoning about actions and change. His work bridges theoretical foundations with practical applications in artificial intelligence, particularly in logic programming and knowledge-based systems. He has made significant contributions to Answer Set Programming (ASP), developing frameworks like DLV and HEX programs that enable sophisticated reasoning capabilities. His recent publications demonstrate a strong focus on stream reasoning (LARS framework), knowledge forgetting, modular reasoning systems, and the integration of logic programming with ontologies. His research shows consistent contributions to both theoretical foundations and practical implementations of AI systems over several decades. ACM Fellow (2020) Fellow of the European Association for AI (2006) Distinguished Paper Award of the 17th International Joint Conference on Artificial Intelligence (IJCAI, 2001) Prominent Paper Award of the Artificial Intelligence Journal (2013) Test of Time Award (10 years) of the International Conference on Logic Programming (2013) Eiter has led and participated in numerous research projects, both internationally funded (such as LogiCS@TUWien, Humane AI, AI4EU) and nationally funded (including projects like BILAI, TAIGER, and several FWF-funded initiatives). His research unit has received substantial support from European Commission programs (H2020) and Austrian funding agencies (FWF, FFG, WWTF). He is actively involved in the academic community as a member of the Austrian Academy of Sciences (ÖAW), Academia Europaea, and has served on the Executive Council of AAAI. His research unit maintains strong connections with international collaborators and has developed influential systems like the DLV answer set programming system.