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

• Media Ethics
• Transdisciplinary Research
• Philosophy of Science
• +۵ مورد دیگر

Larissa Krainer serves as Associate Professor at the Institute of Media and Communication Studies, University of Klagenfurt, where she holds the position of Chair of the Senate. Her academic profile centers on ethical dimensions of media practices and transdisciplinary research approaches within communication studies. Her core research domains include: Media Ethics and Philosophical Foundations Transdisciplinary and Intervention Research Methodologies Sustainability Communication Frameworks Philosophy of Science in Media Contexts Critical Analysis of Media Codes and Self-Regulation Recent publications (2022-2025) reveal consistent focus on ethical challenges in digital media environments, particularly examining sustainability integration in media codes across the DACH region, normative shifts in media organizations, and transdisciplinary communication tools. Her work bridges theoretical philosophy with practical media ethics applications, addressing emerging issues like fact-checking platforms, online conflict dynamics, and surveillance normalization. No scientific awards were documented in the source materials. Information regarding student supervision and research grants was not provided in available documentation. She operates within the Institute of Media and Communication Studies at the University of Klagenfurt, contributing to its research profile through active participation in the Senate and scholarly output centered on ethical media practices and transdisciplinary approaches.

• Process Mining
• Business Process Management
• Concept Drift
• +۳ مورد دیگر

Florian Stertz is a researcher affiliated with the Faculty of Computer Science and the Research Group Workflow Systems and Technology. His work focuses on process mining, business process management, and real-time analytics. Expertise in concept drift detection Specialization in event stream analysis Active in healthcare and manufacturing domains Recent publications highlight advancements in time-aware and data-driven process mining, including constraint discovery and exception handling in industrial workflows. Notable trends include balancing automation with documentation in care processes. In 2022, he participated in a public science talk at Kinderuni, demonstrating engagement beyond academic circles.

Roderick Bloemمشاهده پروفایل

استاد

• Formal Verification
• Reactive Synthesis
• Hardware Security
• +۲ مورد دیگر

Roderick Bloem is Full Professor of Computer Science at Graz University of Technology, heading the Institute of Information Security. He holds MSc from Leiden University (1996) and PhD from University of Colorado Boulder (2001). His research develops formal methods for verification, reactive synthesis, and hardware security. Current projects include: adaptive simplex architectures for safety-critical systems, controller synthesis for blackbox systems, provably secure cryptographic implementations, and threat model repair frameworks. Bloem edited the Handbook of Model Checking and organized premier conferences including Computer Aided Verification (CAV) and Formal Methods in Computer Aided Design (FMCAD). He leads Austrian National Research Network on Rigorous Systems Engineering.

Thomas W. Repsمشاهده پروفایل

استاد

• Programming languages
• Software engineering
• Static program analysis
• +۵ مورد دیگر

Thomas W. Reps is a Professor in the Department of Computer Science at the University of Wisconsin, holding the position since 1985. He has served as President and Co-founder of GrammaTech, Inc. since 1988, and held visiting roles including Guest Professor at the University of Paris 7 (2007-08), Visiting Researcher at CNR in Pisa, Italy (2000-01), and Guest Professor at the University of Copenhagen (1993-94). He previously served as Associate Chairman of the Computer Sciences Department at Wisconsin (1990-93) and held postdoctoral roles at Cornell University and INRIA. Reps' research spans programming languages, software engineering, and computer security, with a focus on static program analysis, machine-code analysis, and program slicing. His work in model checking, software maintenance, and analysis techniques for information security has significantly impacted the field of computer science. 2017 ACM SIGPLAN Programming Languages Achievement Award 2015 WARF Named Professorship 2005 ACM Fellow 2000 Guggenheim Fellowship 1986 NSF Presidential Young Investigator Award Reps' publications highlight advancements in interprocedural dataflow analysis, weighted pushdown systems, and symbolic computation. His work bridges theoretical foundations with practical applications in software verification and security, creating tools that have shaped modern program analysis techniques. He has collaborated extensively with researchers like Somesh Jha, Mooly Sagiv, and Gogul Balakrishnan across institutions in Europe and the U.S.

Javier Esparzaمشاهده پروفایل

استاد

• Theoretical Computer Science
• Software Verification
• Model Checking
• +۹ مورد دیگر

Javier Esparza is a Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich (TUM), Germany. He has held academic positions at several prestigious institutions including the University of Stuttgart, University of Edinburgh, and Technische Universität München since 1990. His work focuses on theoretical computer science with applications in software verification and formal methods. His educational background includes: M.S. in (Theoretical) Physics from the University of Zaragoza (Spain, 1987) Ph.D. in Computer Science from the University of Zaragoza (Spain, 1990) Habilitation in Computer Science from the University of Hildesheim (Germany, 1994) Professor Esparza's research interests span multiple areas of theoretical computer science and formal methods. He has made significant contributions to the fields of software verification, model checking, and Petri nets. His work on algorithms for the design and verification of reactive and distributed systems has been particularly influential. He has developed theoretical foundations and practical tools for analyzing systems with infinitely many states, pushing the boundaries of what can be formally verified. His research on formal models for distributed systems, particularly Petri nets and process algebras, has provided new insights into concurrency theory. Additionally, his work on the analysis of probabilistic systems and applications of linear and constraint programming to verification problems has opened new avenues for research. His recent publications demonstrate a continued focus on fundamental problems in verification and theoretical computer science, with particular emphasis on population protocols, model checking techniques, and theoretical foundations of distributed computing. His work bridges the gap between theoretical insights and practical applications in software reliability. His scientific achievements have been recognized with several prestigious awards: Doctor honoris causa in Informatics, Masaryk University (2009) Dissertation prize, University of Zaragoza (1990) TeachInf Award for best Bachelor course at TU München (2009) TeachInf Award for best Master course at TU München (2010) Diploma for excellent Teaching, TU München (2011) Member of Academia Europaea (2011) Professor Esparza has successfully advised numerous PhD students who have gone on to make their own significant contributions to computer science. His research has been consistently supported by competitive grants from major funding bodies including the German Research Council (DFG), the British Engineering and Physical Sciences Research Council, and the European Union. His research projects have often involved international collaborations, reflecting the global recognition of his work. He leads a vibrant research group at TUM focused on theoretical computer science and verification. The group has developed several influential software tools including Rabinizer, Peregrine, Owl, and Strix, which are widely used in both academia and industry for verification tasks. His group maintains strong collaborations with research institutions worldwide, particularly in Europe.

Thomas A. Henzingerمشاهده پروفایل

استاد

• Computer-Aided Verification
• Model Checking
• Concurrency Theory
• +۲ مورد دیگر

Thomas A. Henzinger is a distinguished academic and current President of the Institute of Science and Technology Austria (IST Austria) since 2009. He previously held professorial positions at École Polytechnique Fédérale de Lausanne (EPFL) from 2004, University of California, Berkeley (1996-2004) as Professor of Electrical Engineering and Computer Sciences, and served as Director at the Max Planck Institute for Computer Science (1999-2000). His academic career spans leadership roles in theoretical computer science and systems biology. Education: PhD in Computer Science, Stanford University (1991) Research Interests focus on computer-aided verification , model checking , concurrency theory , real-time systems , and embedded software . These areas address the formal analysis and design of complex software systems. Scientific Awards include: ACM Fellow IEEE Fellow Wittgenstein Award (2012) Foreign Member, Royal Society, UK (2024) Henzinger has been actively involved in academic governance, serving as President of IST Austria and contributing to numerous professional societies. His work bridges theoretical foundations with practical applications in software engineering and systems biology.

Henri Balمشاهده پروفایل

استاد

• Distributed Systems
• Parallel Computing
• High-Performance Computing
• +۵ مورد دیگر

Henri Bal is a Full Professor in the Department of Computer Science at Vrije Universiteit Amsterdam's Faculty of Sciences, leading a research group of over 20 members in High Performance Distributed Computing since 2005. His career at the university spans from Research Assistant (1982) to current Professor, with prior appointments including Associate Professor (1994) and split Full Professor roles across Computer Science and Physics (1998). Education: PhD in Computer Science, Vrije Universiteit Amsterdam (1989) MSc in Mathematics, Delft University of Technology (1982) Professor Bal's research integrates fundamental distributed systems with real-world applications, specializing in programming environments for clusters, grids, clouds, and mobile systems. His work spans semantic web reasoning, distributed model checking, and scientific applications in astronomy (LOFAR), high-energy physics (NIKHEF), and climate modeling (Utrecht University), evidenced by systems like Orca, MagPIe, Manta, and Ibis/JavaGAT. Scientific Awards: NWO PIONIER award (1993-1997), comparable to an ERC starting grant Work on Awari recognized in 'The Math Book' as a historic mathematics achievement Multiple first prizes in IEEE International Scalable Computing Challenges (2008, 2010) Two EuroSys Roger Needham PhD awards for his students (2010, 2013) He established foundational Dutch research infrastructure through the NWO DAS project, creating distributed testbeds used by ~100 PhD candidates. As adjunct director of the €40M Virtual Lab for e-Science (2004-2009), he catalyzed the Netherlands eScience Center's formation and participated in EU projects (Gridlab, XtreemOS, Contrail). Currently, he chairs the Department of Computer Science Science committee and explores GPU and smartphone-based distributed systems. His research group actively collaborates with NIKHEF, LOFAR, and Utrecht University on domain-specific applications while advancing hybrid distributed computing frameworks.

• Bayesian Statistics
• Time Series Analysis
• Econometrics
• +۳ مورد دیگر

Gregor Kastner is Professor and Deputy Head of the Institute of Statistics at the University of Klagenfurt. His research focuses on Bayesian statistics, time series analysis, econometrics, and computational methods, with applications in finance, economics, and environmental modeling. He develops statistical software including packages for stochastic volatility modeling in R. Kastner's methodological work centers on Bayesian inference for high-dimensional problems, developing efficient computational algorithms for complex models. His applied research examines volatility dynamics in financial markets, macroeconomic forecasting, and spatial analysis of economic indicators. Recent projects include Bayesian nonparametric clustering for evaluating agricultural subsidies in Europe, sparse vector autoregressions for high-dimensional forecasting, and stochastic volatility models for commodity markets. He maintains active collaborations across economics, finance, and environmental science disciplines.

• Cyber-Physical Systems
• Formal Verification
• Programmable Logic Controllers
• +۳ مورد دیگر

Ignacio David Lopez Miguel is a PreDoc Researcher at the Cyber-Physical Systems department of Vienna University of Technology (TU Wien). His research focuses on formal verification techniques for safety-critical systems, particularly in the context of Programmable Logic Controllers (PLCs) used in industrial and high-stakes environments like CERN's Large Hadron Collider (LHC) cooling systems. Current projects include TAIGER (2023–2027), addressing neural network verification for PLC code. Collaborates with institutions such as CERN, GSI, and NASA on safety-critical control systems. Research Themes : Integration of formal verification with AI/ML components Runtime enforcement in cyber-physical systems Ethical considerations in engineering design Automated translation of natural language requirements to formal specifications His work spans interdisciplinary domains, connecting computer science, control theory, and engineering ethics through rigorous verification methodologies.

Orna Grumbergمشاهده پروفایل

استاد

• Model checking
• Automated verification
• Abstraction and refinement
• +۷ مورد دیگر

Orna Grumberg is a Leumi Chair Professor in the Computer Science Department at the Technion - Israel Institute of Technology. She has held this professorship since 2005 and was awarded the Leumi Chair in Science in 2011. Professor Grumberg serves on the Steering Committee of the Computer-Aided Verification (CAV) conference and has been actively involved in the academic community through editorial boards and conference committees. Her educational background is deeply rooted at the Technion, where she received her B.Sc., M.Sc., and Ph.D. in Computer Science. Professor Grumberg's research spans several critical areas in computer science, with a primary focus on formal verification methods. Her work has significantly advanced the field of model checking and automated verification systems. She has made substantial contributions to abstraction techniques, refinement methods, and counterexample analysis in verification processes. Her research extends to compositional model checking, SAT-based approaches, distributed verification systems, and applications to security vulnerability detection. Her theoretical work on temporal logics and automata on infinite objects provides the mathematical foundation for many practical verification tools. The publication record of Professor Grumberg demonstrates a consistent research trajectory focused on improving model checking techniques. Her work shows evolution from foundational model checking approaches to more specialized techniques like abstraction-refinement, SAT-based solving, and security applications. The research spans theoretical computer science, practical software engineering applications, and hardware verification, reflecting the interdisciplinary nature of formal methods. Professor Grumberg has received recognition through her leadership roles in the field, including serving on the Steering Committee of the CAV conference and editorial boards of prestigious journals like "Information and Computation" and "Formal Methods in System Design". Her book "Model Checking" co-authored with E.M. Clarke and D. Peled has become the standard reference in the field. As an educator and mentor, Professor Grumberg has shaped the verification landscape in Israel. She served as Associate Dean for Graduate Studies at the Technion and established the software engineering track with a strong verification component. Her introductory model checking course attracts approximately 100 students annually. Her students now hold prominent positions in academia (Hebrew University, Tel-Aviv University) and industry (particularly at IBM). She maintains strong industry collaborations, with ongoing projects with IBM on UML Verification and with Rafael on Finding Security Vulnerabilities in Network Protocols. Professor Grumberg leads research groups that form the foundation for verification teams in major Israeli technology companies like IBM and Intel, demonstrating the practical impact of her academic work.

• Cyber-Physical Systems
• Computer Science
• Robotics
• +۴ مورد دیگر

Jaroslav Klapalek is a PreDoc Researcher in the Cyber-Physical Systems department at Vienna University of Technology (TU Wien). His work focuses on formal verification of distributed timed-automata, resilient control mechanisms, and timing anomalies in automotive architectures. He is affiliated with the Embedded Systems Group (E191-01) and has contributed to research on machine learning for industrial predictive maintenance, consensus algorithms, and energy-efficient scheduling. Research Trends: Recent publications highlight expertise in formal verification of real-time constraints, security analysis in industrial CPS, and timing predictability under clock drift and network delays. Key methods include model checking, hybrid system modeling, and safety-critical protocol validation. Scientific Awards:

Matthias C. Kettemannمشاهده پروفایل

استاد

• Internet Law
• Digitalization Governance
• Artificial Intelligence Regulation
• +۵ مورد دیگر

Matthias C. Kettemann is a full-time Professor of Innovation, Theory and Philosophy of Law at the University of Innsbruck , where he leads the Department of Legal Theory and Future of Law . He also serves as a research programme leader at the Leibniz Institute for Media Research | Hans Bredow Institute in Hamburg, research group leader at the Alexander von Humboldt Institute for Internet and Society in Berlin, and as a research group leader at the Sustainable Computing Lab in Vienna. His academic affiliations extend to associated researcher roles at institutions in Hamburg, Frankfurt am Main, and Graz. Head of Department, University of Innsbruck Research Programme Leader, Leibniz Institute for Media Research Research Group Leader, Humboldt Institute for Internet and Society Board Member, Sustainable Computing Lab Associated Researcher, Research Institute for Social Cohesion Prof. Kettemann’s research focuses on internet law , AI governance , platform regulation , digital constitutionalism , and innovation law . His publications and projects explore normative orders , multinormativity , and cybersecurity in digital spaces. His recent articles address human-in-the-loop AI systems , consumer credit algorithms , and democratic resilience against disinformation . He also investigates legal frameworks for data sovereignty and platform accountability in crisis situations . He has received prestigious scholarships, including the Fulbright and Boas Scholarships , and contributes to academic discourse as Managing Editor of the Mohr/Siebeck series 'Internet und Gesellschaft' , editorial board member of journals like jusIT and Media and Communication Studies , and scientific advisory board member of the European Yearbook on Human Rights . He is actively involved in reviewing for international publishers and academic journals. Prof. Kettemann teaches in German, English, and French, with courses in internet law , innovation law , international law , and legal philosophy since 2008. He supervises theses at bachelor, diploma, doctoral, and post-doctoral levels, emphasizing digital law and innovation frameworks . His third-party funding includes grants from the European Union , Friedrich-Ebert-Stiftung , Google , and Deutsche Telekom .

• Knowledge Representation
• Artificial Intelligence
• Temporal Logic
• +۲ مورد دیگر

Davide Solda is a Researcher in the Knowledge-Based Systems group at Vienna University of Technology. His work focuses on formal methods in artificial intelligence, particularly temporal logic and knowledge representation. Research interests include: computational logic, multi-agent systems, epistemic planning, and automated reasoning techniques. His investigations bridge theoretical foundations with practical applications in system verification. Recent publications demonstrate consistent focus on temporal extensions of logical frameworks, with progressive applications in multi-agent scenarios and runtime verification contexts.

• Formal Methods
• Concurrency Theory
• Coalgebra
• +۱۰ مورد دیگر

Ana Sokolova is a Full Professor in the Department of Computer Science at the University of Salzburg. Her research focuses on formal methods, concurrency theory, and coalgebra, with significant contributions to probabilistic systems and concurrent data structures. Department: Computational Systems Group, University of Salzburg Key Research Areas: Formal Methods, Concurrency Theory, Coalgebra, Probabilistic Systems Her work bridges theoretical and applied computer science, including memory management, real-time systems, and security. She has been actively involved in organizing international conferences and workshops, such as Dagstuhl Seminar 22492 , and served on program committees for venues like FoSSaCS, CAV, and CONCUR. Recent publications explore coalgebraic trace semantics, probabilistic anonymity, and concurrent data structures. She has supervised numerous PhD students, including Sebastian Arming and Clemens Brunner, and is recognized for her Elise Richter Fellowship.

Nicolas Halbwachsمشاهده پروفایل

پژوهشگر

• Embedded Systems Verification
• Synchronous Programming
• Formal Methods
• +۳ مورد دیگر

Nicolas Halbwachs is a Research Director at CNRS and Director of the Verimag Laboratory, affiliated with the University of Grenoble. His work focuses on formal methods for embedded systems, synchronous programming, and verification techniques. He co-developed the Lustre language, which forms the basis of the industrial tool Scade, and contributed to Linear Relation Analysis for program verification. Halbwachs has held positions including Invited Professor at Stanford University (1992-93) and has been recognized with the 2004 Michel Monpetit Award. He has supervised 10 PhD theses and contributed to major research projects like the SYRF Esprit project and the ASSERT initiative. His research spans verification of real-time systems, abstract interpretation, and automated invariant discovery in array-manipulating programs. Education: State Thesis in Mathematics (Grenoble, 1984), Third Cycle Thesis in Computer Science (Grenoble, 1979) Research Highlights: Synchronous Programming Foundations, Linear Relation Analysis, Lustre Language Development Leadership: Editor of Formal Methods in System Design, Program Committee Chair for CAV'99, TACAS'05, and EMSOFT'09 His recent work addresses invariant discovery in array-based programs, extending abstract interpretation techniques to handle complex data structures.