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

Inci Dirim is a Professor at the Department of German Studies within the Faculty of Philology and Cultural Studies at the University of Vienna . Her work focuses on German as a Second Language (DaZ) , multilingualism, migration pedagogy, and educational equity. She has developed diagnostic tools for language assessment, contributed to curriculum design, and critically analyzed discrimination mechanisms in language education. Education : Magistra Artium (MA) in Linguistics and German Studies from the University of Bremen (1991); PhD in Educational Science from the University of Hamburg (1997) Her research emphasizes language diagnostics , cultural identity , and reflexive pedagogy , particularly in contexts of linguistic and social heterogeneity. She has led projects like TESSLA (language support for multilingual children) and Unterrichtsbegleitende Sprachstandsbeobachtung DaZ (classroom language assessment). Recent publications explore inter- and transdisciplinary approaches to DaZ, normative foundations in language teaching, and separation practices in language promotion. She serves as a key figure in the Austrian Association for German as a Foreign/Second Language (ÖDaF) and the German Society for Educational Science (DGfE) , advocating for critical perspectives on language, migration, and education. Her teaching includes courses on Basics of German as a Foreign and Second Language , Modern German Literature , and Language Diagnostics .

• German as a Second Language (DaZ)
• Multilingualism in Education
• Migration Pedagogy
• +۴ مورد دیگر

Hans Tompits is an Associate Professor in the Department of Knowledge-Based Systems at Technische Universität Wien (Vienna University of Technology). His research focuses on computational logic, declarative logic programming, and formal methods, with a particular emphasis on Answer-Set Programming (ASP). He coordinates the Master's program in Logic and Computation and leads projects in areas such as formal methods for optimization, fault-tolerant autonomous systems, and algorithmic composition. His work bridges theoretical advancements with practical applications, including tools like SeaLion (an ASP IDE with debugging support) and dlvhex (an ASP-based semantic web reasoner). He has contributed to foundational topics like program equivalence, debugging techniques, and integration of ASP with external systems. His recent projects address challenges in autonomous vehicle architectures, music composition algorithms, and safety-critical system design. Tompits has published extensively on topics ranging from nonmonotonic reasoning and modal logics to the development of declarative programming tools. His interdisciplinary approach spans computer science, mathematics, and AI, with applications in both academic and industrial contexts.

• Computational Logic
• Declarative Logic Programming
• Answer-Set Programming
• +۵ مورد دیگر

Ana Sokolova is a Professor in the Department of Computer Science at the University of Salzburg. She is affiliated with the Faculty of Digital and Analytical Sciences and actively contributes to research in theoretical computer science. University: University of Salzburg Faculty: Faculty of Digital and Analytical Sciences Department: Computer Science Email: ana.sokolova@plus.ac.at Her research focuses on probabilistic systems , concurrency theory , convex algebras , and formal verification . This work bridges theoretical foundations with practical applications in distributed computing and programming semantics. Recent publications highlight advancements in trace semantics , determinization , probabilistic anonymity , and coalgebraic modeling . Key trends include the integration of Markov chains , nondeterministic systems , and algebraic structures for formal verification.

• Computer Science
• Theoretical Computer Science
• Formal Methods
• +۳ مورد دیگر

Joachim Schätz is a Lecturer at the Institute for Theatre, Film and Media Studies at the University of Vienna . He previously served as a University Assistant (Post-Doc) from March 2019 to February 2024 and has been a researcher in multiple projects, including the FWF-funded Practices of Educational and Teaching Films in Austria (2019–2023) and the Horizon 2020 Innovation Action Visual History of the Holocaust: Rethinking Curation in the Digital Age as a Research Coordinator (2017–2019). His research interests span the contexts of film usage poetics and politics of comedy theories of detail interfaces between economics and aesthetics documentary practices Austrian and German film history educational film historiography with a focus on media materiality and pedagogical applications. His recent publications and projects emphasize educational films, media history, and intermedial analysis. He co-founded the research network BTWH – The Emergence of Modernity and contributed to the FWF research project exploring Austria's educational film practices. Scientific awards include the DOC team scholarship for the project 'Sponsored Films and the Culture of Modernization' which supported his early research into the interplay of economics and aesthetics in Austrian industrial films. Joachim Schätz has no PhD or Master's students listed in his publications or academic contributions. His work often intersects with collaborative projects, such as the digital resource Lehrfilmpraktiken.at , which he co-coordinated.

• Contexts of use of film
• Poetics and Politics of Comedy
• Theories of detail
• +۶ مورد دیگر

Mihyun Kang is a Professor in the Institute of Discrete Mathematics at Graz University of Technology (TU Graz), leading the Combinatorics Group. She holds significant academic positions and has been recognized with a Heisenberg Fellowship (German Research Foundation) and a Friedrich Wilhelm Bessel Research Award (Alexander von Humboldt Foundation). Her research focuses on combinatorics, discrete probability, and algorithms, with a specialization in random graph theory. She contributes to editorial boards, including Random Structures & Algorithms . Her research interests emphasize high-dimensional graphs, percolation processes, and structural properties of random graphs. She explores topics such as phase transitions, graph enumeration, and algorithmic applications in combinatorial problems. Her work bridges theoretical foundations with practical applications in algorithm design and probabilistic modeling. Dr. Kang’s scientific achievements include pioneering studies on hypergraphs, bootstrap percolation, and the evolution of random graph processes. Her recent publications highlight advancements in understanding graph components, connectivity thresholds, and universality phenomena in random structures. She collaborates widely, contributing to conferences and international initiatives like the SFB “Discrete random structures: enumeration and scaling limits.” Her professional activities include advising doctoral students and supervising research projects at TU Graz. She leads the Combinatorics Group, which hosts the Graz Combinatorics Seminar and actively engages in academic outreach. Her contributions extend to textbook authorship, including Diskrete Mathematik für die Informatik , and she maintains an active presence in discrete mathematics education and research.

• Combinatorics
• Discrete Probability
• Algorithms
• +۳ مورد دیگر

Efstathia Bura is a Professor heading the Applied Statistics Research Unit (ASTAT) within the Institute of Statistics and Mathematical Methods in Economics at TU Wien's Faculty of Mathematics and Geoinformation. Her research focuses on dimension reduction techniques in regression and classification, high-dimensional statistics, and their applications in biostatistics, econometrics, and legal statistics. She leads projects like ProbInG (WWTF-funded) and the SecInt Doctoral College on statistical verification of cyber-physical systems. Her work integrates advanced statistical methodologies with interdisciplinary applications, emphasizing practical solutions for complex data challenges. Current projects explore probabilistic program analysis, security properties in cyber-physical systems, and dynamic econometric modeling. She collaborates internationally, with notable contributions to statistical theory and applications in law, healthcare, and telecommunications. Key research themes include time-varying regression models, sufficient dimension reduction for mixed predictors, and fusion of statistical methods with machine learning. Her publications bridge theoretical advancements and real-world problem-solving, reflecting her role as a leading academic in modern applied statistics. Her team includes postdocs and assistants working on WWTF and SecInt grants, focusing on probabilistic systems and statistical verification. While no formal student advisees are listed, her collaborative projects engage junior researchers in cutting-edge statistical research.

• Dimension Reduction in Regression
• High-Dimensional Statistics
• Multivariate Analysis
• +۵ مورد دیگر

Thomas Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where he leads the Henzinger Thomas Group focused on improving software reliability through mathematical methods. He previously served as ISTA's President (2009–2022) and held academic positions at EPFL, Max Planck Institute, UC Berkeley, and Cornell University. Education: Dipl.-Ing. in Computer Science (Johannes Kepler University, Austria), M.S. in Computer and Information Sciences (University of Delaware), PhD in Computer Science (Stanford University), and Honorary Doctorates from Fourier University (France) and Masaryk University (Czech Republic). The group's research spans concurrent systems , embedded systems , quantitative model checking , runtime monitoring , and trustworthy AI . They develop tools like HyTech and VAMOS, emphasizing predictability, robustness, and fairness in safety-critical software. Recent publications highlight trends in quantitative automata , fairness in AI , quantum algorithms , and automata theory , reflecting interdisciplinary applications from cyber-physical systems to neural networks. Collaborative projects include SPyCoDe (security foundations) and VAMOS (software monitoring). Honors & Awards: 2024 Fellow of the Royal Society 2020 Member, US National Academy of Sciences 2015 Royal Society Milner Award 2012 Wittgenstein Award 2006 ACM and IEEE Fellow 1995 NSF CAREER and ONR Young Investigator Awards Henzinger advises current and former PhD students including Mahyar Karimi, Pavol Kebis, and Mathias Lechner. His grants include ERC Advanced Grants (QUAREM, VAMOS) and FWF funding (Wittgenstein Award, NFN RISE). Labs & Teams: He leads the Henzinger Thomas Group at ISTA, collaborating with FORSYTE (TU Wien) and contributing to EU-funded initiatives. The group integrates postdocs, PhD students, and interns in formal methods and system verification.

• Formal Methods
• Software Verification
• Concurrent Systems
• +۶ مورد دیگر

Wil van der Aalst is a full professor at RWTH Aachen University since 2018, leading the Process and Data Science (PADS) group. He serves as Chief Scientist at Celonis and is part-time affiliated with Fraunhofer FIT . Additional roles include deputy CEO of the Internet of Production Cluster of Excellence , co-director of the RWTH Center for Artificial Intelligence , and speaker of the RWTH ICT Profile Area . Previously, he led the Architecture of Information Systems group at Eindhoven University of Technology (TU/e) until 2017 and was a member of Tilburg University's Board of Governors (2015–2023). Research interests focus on process mining , business process management , Petri nets , and model-based analysis . His work bridges formal methods with real-world applications, influencing software development, standardization committees, and commercial tools like Celonis, SAP, and YAWL. Developed foundational WorkFlow nets (WF-nets) and soundness criteria for workflow modeling Pioneered the Workflow Patterns initiative (with Arthur ter Hofstede and Nick Russell), impacting process modeling standards Founded the YAWL open-source workflow system and ProM process mining framework Chaired steering committees for major conferences (Business Process Management, IEEE Task Force on Process Mining) Scientific honors include IEEE, ACM, and IFIP fellowships, the Alexander von Humboldt Award (2018), and memberships in prestigious academies such as Academia Europaea and the German Academy of Science and Engineering. He has an H-index of 182 (Google Scholar) and over 155,000 citations. He has served on the editorial boards of journals including Business & Information Systems Engineering , IEEE Transactions on Services Computing , and Transactions on Petri Nets and Other Models of Concurrency . He also co-founded the BPM User Group Foundation and led the Data Science Center Eindhoven (DSC/e) until 2017.

• Business Process Management
• Data Mining
• Simulation
• +۶ مورد دیگر

Christian Fermüller is an Associate Professor in the Department of Theory and Logic at the Faculty of Informatics, Technische Universität Wien (TU Wien). His research focuses on theoretical computer science, artificial intelligence, automated deduction, and formal logic systems. He specializes in fuzzy logic, proof theory, and non-classical logics, with contributions to semantic games, dialogue systems, and computational models of reasoning under vagueness. **Research Interests:** Foundations of fuzzy logic and many-valued logics Proof theory and analytic calculi Game-based semantics for non-classical logics Formal models of judgment aggregation and argumentation theory Applications in automated reasoning and computational intelligence **Grants & Projects:** Austrian Science Fund (FWF) projects on graded deontic reasoning (2025–2027), semantic games and analytic calculi (2019–2023), and fuzzy logic foundations (2008–2013) Co-PI of the LogICCC initiative exploring contextualism and fuzzy logic **Teaching:** Courses include logical methods in computer science, quantum computing, and theoretical computer science. Supervised over 15 PhD and master’s theses on topics ranging from semantic games to argumentation frameworks. **Affiliations:** Active in the LogiCS research group and regularly organizes seminars on logic and computation.

• Theoretical Computer Science
• Artificial Intelligence
• Automated Deduction
• +۶ مورد دیگر

Nelson Nicolas Higuera Ruiz is a PreDoc Researcher at the Vienna University of Technology, affiliated with the Faculty of Informatics' Knowledge-Based Systems research group. His work bridges logic programming and deep learning for explainable AI. Research Focus: Neurosymbolic AI, Visual Question Answering (VQA), Answer Set Programming (ASP), and hybrid reasoning systems Projects: Leads optimization research in the LCS (2017–2025) project, developing neurosymbolic approaches for intelligent systems Key Contributions: Pioneering adaptive large-neighbourhood search algorithms for ASP optimization, modular neurosymbolic architectures, and contrastive explainability frameworks for VQA Collaborations: Active in international workshops and conferences including IJCAI, AAAI, and CLeaR, frequently collaborating with researchers like Thomas Eiter and Johannes Oetsch Publications: Focus on neurosymbolic integration, optimization algorithms, and explainability across AI, logic programming, and computer vision domains

• Neurosymbolic AI
• Answer Set Programming
• Visual Question Answering
• +۳ مورد دیگر

Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.

• Model Checking
• Formal Verification
• Probabilistic Models
• +۵ مورد دیگر

Univ.-Prof. Dr. Norbert Schuch is a Professor of Physics and Mathematics at the University of Vienna, leading the Quantum Information and Quantum Many-Body Physics group. His research bridges Quantum Information Theory, Quantum Computing, and the study of complex quantum many-body systems, with a focus on Tensor Networks, Topological Order, and Symmetry Breaking. He has offices at both the Faculty of Physics (Boltzmanngasse 9) and Faculty of Mathematics (Oskar-Morgenstern-Platz 1). Research Interests : Quantum Information at the interface of Many-Body Physics, including Entanglement Theory, Topological Quantum Computation, Tensor Network algorithms, and Symmetry-Protected Topological (SPT) phases. His work develops numerical and analytical frameworks to study entanglement order parameters and prepare/experiment with topological states in quantum simulators. Teaching : Courses on Quantum Information, Quantum Computing, Theoretical Physics, and seminars on quantum many-body topics. Prior to Vienna, he was a tenured group leader at Max-Planck-Institute of Quantum Optics and a lecturer at Technical University Munich. Scientific Awards : ERC Consolidator Grant SEQUAM (2020–2025) FWF ESPRIT Programme ESP 306 FWF SFB BeyondC FWF Entanglement Order Parameters Research Trends : His recent publications explore Quantum Algorithms, Tensor Networks for Topological Phase Transitions, Entanglement Spectra, and Symmetry-Protected Phases. Key subfields include Non-Abelian Anyons, Chiral Spin Liquids, and Computational Complexity in Many-Body Systems. Group Members : Current team includes postdocs like Dr. Ilya Kull and Dr. András Molnár, with historical alumni spanning PhDs, Masters, and BSc students now at institutions like Xanadu, MIT, and Quantinuum.

• Quantum Information
• Quantum Computing
• Quantum Many-Body Physics
• +۹ مورد دیگر

Xavier Parent is a Researcher in the Department of Theory and Logic at Technische Universität Wien (TU Wien). His work focuses on deontic logic, normative reasoning, and proof theory, with applications to AI and legal systems. He leads the LoDEx project (2024–2026) and previously contributed to the Lisa Meitner grant (2021–2024) and TICAMORE project (2017–2022). His research emphasizes formal verification of normative systems using higher-order logic (HOL) and explores topics like conditional obligations, dyadic deontic structures, and automated reasoning. Key projects include: LoDEx: Developing logical methods for deontic explanations Lisa Meitner Grant: Investigating permissive norms and regulative norms TICAMORE: Embedding dyadic deontic logic in HOL His research interests span: Formal semantics of normative systems Automated theorem proving for deontic logics Interactions between betterness orderings and obligations Publications highlight contributions to journals like Journal of Philosophical Logic and Journal of Applied Non-Classical Logics , with conference presentations at DEON, PRIMA, and Dagstuhl Seminars. He advises students like David Pichler on extensionality in normative systems.

• Deontic Logic
• Normative Reasoning
• Proof Theory
• +۳ مورد دیگر

Mauro Tempesta is a Senior Lecturer and Curriculum Coordinator for Security and Privacy at TU Wien's Faculty of Informatics. He teaches courses including 'Fundamentals of Security and Privacy' and 'Introduction to Security'. His research focuses on web security, browser mechanisms, firewall systems, and language-based security approaches. Tempesta's publications demonstrate expertise in analyzing modern web vulnerabilities and developing formal verification methods for security protocols. His recent work explores browser security mechanisms and same-site attacks, contributing to improved security frameworks for web applications.

• Computer Security
• Web Security
• Cryptography
• +۱ مورد دیگر

Gerti Kappel is a full professor at the Institute of Information Systems Engineering at TU Wien, affiliated with the Business Informatics Group (BIG). Since 2020, she has served as Dean of the Faculty of Informatics at TU Wien, previously holding the role of Dean’s team member responsible for research, diversity, and financial affairs (2016–2019). She previously held a full professorship in computer science (database systems) and led the Department of Information Systems at Johannes Kepler University Linz (1993–2001). Her research focuses on Model Engineering, Web Engineering, and Process Engineering, particularly in cyber-physical production systems. She has co-authored influential works such as UML@Work (2005), UML@Classroom (2015), and Web Engineering (2006). Key projects include leadership roles in Vienna Informatics Living Lab (2018–2019), MPM4CPS (2014–2019), and ARTIST (2012–2015), addressing topics like model versioning, cloud architecture modeling, and inter-organizational systems. Her recent articles explore circular systems engineering, IoT-based simulation environments, and model-driven approaches for time-series analytics and cloud applications. She actively contributes to academic governance, including managing the Office of the Dean (E199-01) and overseeing faculty services. Her work emphasizes bridging theory and practice through collaborative frameworks like ERPEL and TROPIC . Grants: Projects funded by Austrian Research Promotion Agency, European Cooperation in Science and Technology, Vienna Business Agency, and others. Advising: Supervised over 15 graduate theses, including recent works on model-driven techniques for railway planning, debugging frameworks for modeling tools, and cloud-based IDEs. Labs/Teams: Leads research within the Business Informatics Group (BIG) and collaborates with the Vienna Informatics Living Lab for applied systems engineering.

• Model Engineering
• Web Engineering
• Process Engineering
• +۹ مورد دیگر