Parallelizing compilers Professors and Supervisors in Austria

Hu Zhenjiangمشاهده پروفایل

استاد

Graz University of TechnologyAustria

Zhenjiang Hu is a Chair Professor at Peking University, China, and previously held professorships at the National Institute of Informatics, University of Tokyo, and SOKENDAI. He specializes in bidirectional transformation, functional programming, and software engineering. His research focuses on foundational theories and applications in programming languages, including parallelization and formal methods. Education: BSc, Shanghai Jiao Tong University (1988) MSc, Shanghai Jiao Tong University (1991) PhD, University of Tokyo (1996) Research Interests: Development of bidirectional languages and frameworks Optimization of functional programs Automated parallelization techniques Formal verification of transformations Awards: Yangtze River Scholar (2015) ACM Distinguished Scientist (2016) Basic Research Achievement Award (2015) Multiple Best Paper Awards including Takahashi Awards (1997, 2008) Grants & Leadership: PI of 14 national grants totaling over 250 million Yen Founder and Chair of NII Shonan Meetings (2010-2018) Leadership roles in ICFP, MODELS, APLAS, and other top conferences Labs/Teams: Active in the NII Shonan Meetings, fostering collaborative research in informatics and software engineering.

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

Michael Schröderمشاهده پروفایل

پژوهشگر

Vienna University of TechnologyAustria

Michael Schröder is a Researcher at TU Wien's Faculty of Informatics, affiliated with the Institute of Software Technology. He holds a BSc and a Dipl.-Ing. (Master's equivalent) in Informatics. His research focuses on software engineering, static analysis, and programming languages, with notable contributions to probabilistic program analysis, security, and empirical studies on developer workflows. Education : Bachelor of Science in Informatics Diplom-Ingenieur (Dipl.-Ing.) in Informatics from TU Wien Research Interests : His work spans static analysis of probabilistic programs, security in software repositories, grammar inference for ad hoc parsers, feature flag dependency analysis in large systems, and empirical studies on command-line tool customization. He has also contributed to medical research in pediatric oncology through a 2019 study on leukemia genetics. Recent Trends in Publications : Recent efforts emphasize language-agnostic static analysis frameworks (2024), lateral movement detection in source code (2023), and grammar inference techniques for parsers (2022). Earlier work includes neural ranking models (2020) and transactional memory systems (2015). Grants & Advising : No explicitly listed grants or student advisement, though recent theses supervised include static grammar inference projects (2025). Labs/Teams : Not explicitly mentioned in available records.

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

Stefan Brucknerمشاهده پروفایل

استاد

Vienna University of TechnologyAustria

Stefan Bruckner is Professor of Visualization at the University of Bergen, specializing in biomedical visualization, volume rendering, and visual data exploration. His work develops novel techniques for analyzing complex scientific datasets across meteorology, medicine, and materials science. Dr. Bruckner's research group develops interactive visual analytics tools for weather forecasting, medical diagnostics, and ensemble data analysis. His methodological innovations include GPU-accelerated rendering, visual parameter exploration, and uncertainty visualization. He received the 2011 Eurographics Young Researcher Award for contributions to illustrative visualization. Professional service includes program committee roles for IEEE VIS, Eurographics, and ECRTS conferences. His pedagogical contributions span visualization, computer graphics, and programming languages at institutions including École normale supérieure and École polytechnique.

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

Hans Zimaمشاهده پروفایل

استاد

Vienna University of TechnologyAustria

Hans Zima is a Professor affiliated with Vienna University of Technology. His research focuses on compilers and programming languages, with expertise in parallel computing systems.

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

Stefan Szeiderمشاهده پروفایل

استاد

Vienna University of TechnologyAustria

Stefan Szeider is a full professor and chair of the Algorithms and Complexity Group at the Faculty of Informatics, Technische Universität Wien (TU Wien). He also serves as a visiting scientist at UC Berkeley's Simons Institute for the Theory of Computing. His academic journey includes positions at the University of Durham (UK) and the University of Toronto (Canada), and he earned his Mathematics PhD from the University of Vienna in 2001. Dr. Szeider's research focuses on designing efficient algorithms for problems in Artificial Intelligence, automated reasoning, and combinatorial optimization. He leads several initiatives, including the Vienna Center for Logic and Algorithms (VCLA), and has secured funding from the ERC, EPSRC, FWF, and others. His Erdős number is 2, reflecting his collaborative network in mathematics and computer science. Key achievements include the first ERC Starting Grant awarded to an Austrian computer scientist (2009), and awards such as the Highlighted Paper Award at SAT 2023 and Best Paper at CP 2020. He advises numerous PhD students and postdocs, fostering the next generation of researchers in algorithms and complexity. Notable contributions extend beyond academia to public outreach, including initiatives like the 'Algorithms Think Differently' educational program and the 'Algorithms in 60 Seconds' video competition. His work bridges theoretical foundations and practical applications, influencing both academic and real-world computational challenges.

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

Michele Chiariمشاهده پروفایل

پژوهشگر

Vienna University of TechnologyAustria

Michele Chiari is a PostDoc Researcher at TU Wien's TrustCPS Group led by Prof. Ezio Bartocci. Previously, he was a PhD candidate and PostDoc at Politecnico di Milano's DEIB in the DeepSE group. His primary affiliations include TU Wien and the TrustCPS group, with a focus on formal verification and cyber-physical systems. Education: PhD candidate and PostDoc at Politecnico di Milano's Department of Electronics, Information, and Bioengineering (DEIB). Research interests include formal methods for safety-critical systems, temporal logic, automata theory, model checking for recursive probabilistic programs, infrastructure-as-code modeling (DOML), floating-point computation verification, and approximate computing. Research highlights: Development of POTL (Probabilistic Operator Temporal Logic), model checkers for operator precedence languages (POMC), and contributions to the PIACERE and CORPORA projects. His work bridges theoretical formal methods with practical applications in software engineering and embedded systems. Key projects include leadership of the EU-funded MSCA PF CORPORA project (2023–present) and contributions to the PIACERE H2020 initiative. Collaborations include tools like TAFFO (floating-point precision tuner) and DOML (Infrastructure-as-Code modeling framework). Labs/Teams: Core member of TU Wien's TrustCPS Group and former contributor to Politecnico di Milano's DeepSE Group. Active in conferences like CAV, RV, and CAiSE, with recent service roles on OOPSLA and RV program committees.

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

Keshav Pingaliمشاهده پروفایل

استاد

Graz University of TechnologyAustria

Keshav Pingali is currently the W. A. "Tex" Moncrief Chair of Computing and a Professor in the Department of Computer Science at The University of Texas at Austin. He also serves as Director of the Center for Grid and Distributed Computing at the Oden Institute for Computational Engineering and Sciences. Previously, he held positions as India Chair of Computer Science at Cornell University (2003-2006) and Professor in both the Department of Computer Science and the Department of Electrical and Computer Engineering there (1999-2006). Education: Sc.D. (1986) and S.M./E.E. (1983) from MIT B.Tech. (1978) from Indian Institute of Technology, Kanpur Research Interests: Keshav works in programming languages, compilers, and runtime systems for program optimization and parallelization, with a focus on multicore processors and irregular applications from domains like social networks, data mining, and graphics. Scientific Awards: ACM SIGPLAN Programming Languages Achievement Award (2024) ACM/IEEE CS Ken Kennedy Award (2023) IEEE Charles Babbage Award (2023) Foreign Member, Academia Europaea (2020) IIT Kanpur Distinguished Alumnus Award (2013) Fellowships: ACM (2012), AAAS (2010), IEEE (2010) NSF Presidential Young Investigator Award (1989-1994) IBM Faculty Development Award (1986-1987) President's Gold Medal and Lalit Narain Das Memorial Gold Medal at IIT Kanpur (1978) Leadership & Service: He has served on steering committees of major conferences (PLDI, PPoPP), chaired editorial boards (ACM Transactions on Programming Languages and Systems), and contributed to NSF advisory committees. His research group maintains a homepage at http://iss.ices.utexas.edu/ .

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

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.

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