Compiler Design Professors and Supervisors in Austria

Michael Szvetitsمشاهده پروفایل

مدرس

University of Applied Sciences Wiener NeustadtAustria

Dr. Michael Szvetits is a Lecturer and Researcher at the Institute of Computer Sciences at the University of Applied Sciences Wiener Neustadt. He holds a PhD in Computer Science from the University of Vienna (2019), an MSc in Computer Science (2012), and a BSc in Information Technology (2010), all from the University of Applied Sciences Wiener Neustadt. His research focuses on software architecture, domain-specific languages, model-driven software development, functional programming, logic programming, and compiler construction. He has contributed to projects such as 'Care about Care' (C^C), which aims to enhance home care through ICT solutions, and 'CARU cares,' which integrates emergency call systems with care documentation tools. His publications span topics like runtime event analysis, model-driven engineering, and software architecture decisions. He collaborates on initiatives funded by the FFG and Active Assisted Living Programme. Dr. Szvetits is actively involved in research projects targeting healthcare technology, software systems optimization, and innovation in assistive living solutions.

پروفایل رسمی دانشگاه

Michael Bischofمشاهده پروفایل

پژوهشگر

Paracelsus Private Medical UniversityAustria

Dr. Michael Bischof is affiliated with the Institute for Ecomedicine at Paracelsus Medical University, Salzburg. His research focuses on health tourism, nature-based interventions, and environmental health. He has contributed to publications such as Tourismusforschung: Handbuch für Wissenschaft und Praxis (2025) and Heilkraft der Alpen (2023). His work includes randomized controlled trials comparing mountain hiking and forest therapy effects on health. He co-organized the 2024 'Heilkraft der Alpen' congress on alpine health tourism. No scientific awards are explicitly mentioned in the provided texts. His research spans environmental health, tourism methodology, and public health applications. Education details are not explicitly provided in the text.

پروفایل رسمی دانشگاه

Friedrich Slivovskyمشاهده پروفایل

پژوهشگر

Vienna University of TechnologyAustria

Friedrich Slivovsky is a researcher at the Institute of Logic and Computation within the Faculty of Informatics at Technische Universität Wien (Vienna University of Technology). His work focuses on theoretical and practical aspects of computational logic, with particular expertise in Quantified Boolean Formulas (QBFs), Propositional Model Counting (#SAT), and Knowledge Compilation. His research interests span the theoretical foundations and practical applications of computational logic. Slivovsky investigates the complexity of logical reasoning problems, develops efficient algorithms for solving them, and creates practical tools that implement these theoretical advances. His work bridges the gap between theoretical computer science and practical applications in areas like hardware verification, artificial intelligence, and electronic design automation. Analysis of his publication trends reveals a consistent focus on QBF solving techniques, with increasing emphasis on circuit minimization, proof complexity, and practical solver engineering. His recent work (2023-2024) shows a strong focus on circuit minimization techniques, combining QBF and SAT approaches to solve complex optimization problems in hardware design. Earlier work (2019-2021) emphasized dependency schemes, certification methods, and theoretical foundations of QBF solving. Slivovsky leads several significant software projects that have become important tools in the computational logic community: Qute : A dependency learning QBF solver with GitHub repository showing active development (latest commit December 2024) Unique : A preprocessor for (D)QBF that computes unique Skolem and Herbrand functions Pedant : A certifying DQBF solver These projects demonstrate his commitment to translating theoretical advances into practical tools that benefit the broader research community.

پروفایل رسمی دانشگاه

Alexey Ignatievمشاهده پروفایل

دانشیار

Vienna University of TechnologyAustria

Alexey Ignatiev is an Associate Professor in the Optimisation research group at Monash University's Faculty of Information Technology. Previously, he was a postdoctoral researcher and researcher at the University of Lisbon's Faculty of Sciences, focusing on SAT/SMT-based decision procedures. He holds a Ph.D. from the Matrosov Institute for System Dynamics and Control Theory (Russian Academy of Sciences), where his thesis explored parallel CDCL-BDD integration. His research emphasizes formal methods in AI, including explainable AI (XAI), SAT-based reasoning, and optimization for applications like software upgradability, model-based diagnosis, and fault localization. His work spans over 100 publications, with notable contributions to MaxSAT solving (RC2 solver), neuro-symbolic frameworks (NEUSIS), and rigorous explanations for machine learning models. He has collaborated extensively with institutions like the University of Lisbon and Monash University, contributing to advancements in formal verification and interpretable machine learning.

پروفایل رسمی دانشگاه

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

استاد

Vienna University of TechnologyAustria

Thomas Eiter is a Professor at TU Wien's Institute of Logic and Computation. His research focuses on declarative programming paradigms, knowledge representation, and artificial intelligence. He leads projects in neurosymbolic systems, answer set programming (ASP), and stream reasoning, with applications in visual question answering, scheduling optimization, and semantic scene generation. Eiter has contributed to foundational work in ASP semantics, computational complexity, and hybrid reasoning frameworks. His work bridges logical formalisms with practical AI challenges, emphasizing explainability and scalability. Projects like ALASPO and neurosymbolic integration showcase his focus on advancing both theoretical and applied aspects of AI. Projects: HumanE AI Network, WASP, REWERSE Research Themes: Neurosymbolic AI, Answer Set Programming, Stream Reasoning Notable achievements include pioneering work on semiring-based reasoning frameworks and developing efficient ASP solvers like Alpha. His contributions span over 471 publications, emphasizing interdisciplinary applications in computer vision, robotics, and automated planning.

پروفایل رسمی دانشگاه

Ulrike Jessner-Schmidمشاهده پروفایل

استاد

University of InnsbruckAustria

Ulrike Jessner-Schmid is an Extraordinary Professor at the University of Innsbruck (Austria) and holds an academic position at North West University (South Africa). Her primary affiliation is with the Department of English . She holds a PhD in English and French Philology (1988) from Karl-Franzens-Universität Graz, followed by a Habilitation (2006) at Leopold-Franzens Universität Innsbruck, recognized with the Liechtenstein Award. She also serves as an official representative for the Austrian Science Fund (FWF) since 2016. Research Interests: Focuses on Applied Linguistics, Multilingualism, Third Language Acquisition (TLA), Metalinguistic Awareness, and Cross-cultural Pragmatics . Her work challenges monolingual educational norms, emphasizing multilingual advantages in cognitive development and pedagogical strategies. Key Achievements: Received the Arthur-Haidl-Prize 2015 for the DyME research group's contributions to multilingualism research. Coordinates international partnerships, including with South Africa and Hungary, and leads the DyME (Dynamics of Multilingualism with English) research group. Her research extends to multilingual education in diverse contexts like South Tyrol, Tanzania, and South Africa. Administrative Roles: Oversees linguistic publications, serves as a grant reviewer for FWF, and manages educational initiatives such as the MKT Metalinguistischer Kompetenztest for evaluating multilingual competencies. Her work bridges theory and practice, influencing language policies and teaching methodologies globally.

پروفایل رسمی دانشگاه

Oliver Czoskeمشاهده پروفایل

پژوهشگر

University of ViennaAustria

Oliver Czoske is a Researcher affiliated with the Department of Astrophysics within the Faculty of Earth Sciences, Geography and Astronomy . His work focuses on instrumentation development for large telescopes , particularly the Extremely Large Telescope (ELT), and observational astrophysics involving galaxy clusters and dark matter. He leads projects like the METIS integral field spectrograph and the MICADO first light imager , contributing to data reduction pipelines and simulation frameworks such as ScopeSim and SimCADO . His research integrates adaptive optics , mid-infrared astronomy , and telescope instrumentation , with a strong emphasis on preparing for the scientific capabilities of next-generation telescopes. Collaborations include the CLASH and SLACS surveys, analyzing gravitational lensing phenomena and galaxy mass profiles. Recent activities (2024) include talks at public outreach events like Führung Sternwarte . Publications span instrumentation design, data analysis techniques, and observational cosmology, with over 30 peer-reviewed articles since 2010. He is actively involved in XMM-Newton and Hubble Space Telescope projects, addressing topics like dark matter distribution and galaxy cluster dynamics.

پروفایل رسمی دانشگاه