جست‌وجوی استاد و پژوهشگر

• Computer Security
• Web Security
• Formal Methods
• +۴ مورد دیگر

Lorenzo Veronese holds the position of PostDoc Researcher at the Technische Universität Wien (TU Wien), affiliated with the Department of Security Engineering within the Faculty of Informatics . His work focuses on formal methods applied to web and mobile security, including browser security mechanisms, firewall policies, and automated detection of security vulnerabilities. Education: He holds a Dr.techn. (Doctor of Technical Sciences) from TU Wien, with his 2024 doctoral dissertation titled Computer-aided formal security analysis of the Web platform . Research Interests include: Formal verification of security protocols Web platform vulnerability analysis Browser security mechanisms Automated firewall policy synthesis Mobile security (Android) Session integrity protection Publications trends show a focus on web platform security with contributions in: Exploiting Android custom tab vulnerabilities Breaking/fixing web session integrity Machine-checked browser specifications Automated detection of web threats (WPT tool) Projects include leadership in Browsec (2018–2024), W4MP (2023–2027), and IoTIO (2020–2025). He has also contributed to firewall management via FireWall Synthesizer (FWS) and ViSP . Advising: Supervised Lee A. 's 2024 diploma thesis on WebAPISpec. Active in teaching courses like Formal Methods for Security and Privacy and Introduction to Security . Lab affiliations: Member of TU Wien's Security and Privacy research group, collaborating with industry partners on practical security solutions.

• Distributed Systems
• Formal Verification
• Fault-Tolerant Algorithms
• +۲ مورد دیگر

Dr. Josef Widder is an Affiliated Researcher and Privatdozent at Technische Universität Wien's Embedded Computing Systems department. His research develops formal methods for verifying fault-tolerant distributed systems, with contributions to model checking and concurrent system verification. Core research areas include parameterized verification techniques, Byzantine fault tolerance, and synchronization in distributed algorithms. Recent work focuses on efficient model checking approaches for synchronous systems and counter abstraction methods. Supervision activities include doctoral students working on SMT-driven verification techniques and symbolic verification of distributed algorithms. Recognized through dissertation awards for contributions to distributed computing theory.

• Computer Architecture
• Compilers
• Programming Languages
• +۴ مورد دیگر

Andreas Krall is an Associate Professor in the Department of Software Technology at TU Wien's Faculty of Informatics. He holds roles as Curriculum Coordinator for the Bachelor Informatics and Bachelor Software and Information Engineering programs, and serves as a Substitute Member of the Curriculum Commission for Informatics. His research focuses on compiler design, architecture description languages (e.g., VADL), and formal methods for ensuring correctness in compiler-processor co-design. Key research areas include computer architecture, compiler verification, embedded systems, and the development of tools for processor simulation and optimization. Krall has led projects such as 'Correct Compilers for Correct Processors' (2010–2015) and contributed to the CACAO JVM project. He has published extensively on topics like instruction selection, abstract state machines (CASM), and SSA-based optimizations. Notable awards include the Heinz Zemanek Preis (1987). His work spans over 30 years, with contributions to both academic research and industry-relevant tools like the VADL architecture description framework. Krall has advised numerous students in topics ranging from compiler backends to garbage collection algorithms.

• Automated Software Verification
• Formal Methods
• Model Checking
• +۷ مورد دیگر

Georg Weissenbacher is a Full Professor in the Institute of Logic and Computation at TU Wien, leading the Formal Methods in Systems Engineering group. His research focuses on automated software verification, formal methods, and concurrency bug analysis. He holds a DPhil from Oxford and has held positions at Princeton and ETH Zurich. Education: TU Wien (since 2010), Postdoctoral Researcher at Princeton University (2010–2012), PhD from Oxford University (2008–2010), Research Assistant at ETH Zürich (2005–2010), Master's at TU Graz (until 2003). Research Interests: Automated software verification, formal methods, model checking, concurrency bug detection, logic and automated reasoning, symbolic simulation, and test case generation. His work addresses challenges like Heisenbugs in concurrent systems and robustness verification of neural networks. Grants & Projects: Lead projects such as AutoTest (Vienna Science Fund), LogiCS-Scholarships (2017–2025), and contributions to the National Research Network 'Rigorous Systems Engineering' (FWF). Active in the FWF-funded doctoral college 'Automated Reasoning' (2025). Advising: Supervised over 20 PhD and master's students, including notable works on Heisenbugs, mutation testing, and neural network verification. Current advisees include Thomas Hader and Sarah Sallinger. Labs & Teams: FORSYTE Group at TU Wien, collaborating on formal methods and automated reasoning. Engaged in international conferences like CAV and FMCAD as program chair/co-chair.

• Parameterized Complexity
• Graph Theory
• Computational Complexity
• +۳ مورد دیگر

Liana Khazaliya is a PreDoc Researcher in the Department of Algorithms and Complexity at Vienna University of Technology , specializing in parameterized complexity and graph theory. Her work intersects computational complexity, graph drawing, and structural decomposition techniques. Research Focus: Double-exponential lower bounds for NP problems, crossing number analysis, planar graph extensions, and metric dimension parameterizations Key Collaborations: Works with teams in computational geometry, graph drawing, and algorithmic research Her recent publications analyze algorithmic hardness through treewidth and vertex cover parameterizations, contributing to the understanding of complexity thresholds in graph problems. She actively participates in international conferences like SoCG, GD, and IPEC, advancing fixed-parameter tractability frameworks.

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

استاد

• Algorithms and tools for the design and verification of reactive and distributed systems
• Verification of systems with infinitely many states
• Software Model Checking
• +۷ مورد دیگر

Javier Esparza is a Professor at the Technische Universität München, holding the Chair of Foundations of Software Reliability and Theoretical Computer Science since 2007. Prior to this, he held chairs at the University of Stuttgart (2003-2007) and the University of Edinburgh (2001-2003), along with academic positions dating back to 1990. Education: M.S. in Theoretical Physics (1987, University of Zaragoza), Ph.D. in Computer Science (1990, University of Zaragoza), and Habilitation in Computer Science (1994, University of Hildesheim). His research focuses on formal verification, distributed systems, and software reliability, particularly through algorithms for software model checking, logic and automata theory, and analysis of probabilistic systems. His work has been supported by numerous grants from the German Research Council (DFG), British Engineering and Physical Sciences Research Council (EPSRC), and the Humboldt Foundation. Scientific Awards: Doctor honoris causa from Masaryk University (2009), TeachInf Awards for best Bachelor and Master courses (2009, 2010), TU München Diploma for excellent teaching (2011), Member of Academia Europaea (2011), and Dissertation Prize from the University of Zaragoza (1990). Esparza has supervised over 15 PhD students, including Dr. Stefan Schwoon, Dr. Claus Schröter, and Dr. Michael Luttenberger, and collaborated on research projects with institutions across Europe and the UK.

Kim Guldstrand Larsenمشاهده پروفایل

استاد

• Modeling
• Verification
• Performance analysis
• +۴ مورد دیگر

Kim Guldstrand Larsen is a Full Professor in Computer Science at Aalborg University, Denmark, a position he has held since 1993. He serves as director of CISS, the Centre for Embedded Software Systems, a national center of excellence bridging industry and research since 2002, and holds leadership roles in multiple international research initiatives. His academic credentials include a Cand.Scient. in Mathematics and Computer Science from Aalborg University (1982) and a PhD in Computer Science from Edinburgh University, Scotland (1986). His career includes visiting professorships at institutions including Uppsala University, École Normale Supérieure in Cachan, and University of Twente. Professor Larsen's research centers on modeling, verification, and performance analysis of real-time and embedded systems, with foundational contributions to concurrency theory and model checking. Since 1995, he has led development of UPPAAL, a widely adopted verification tool, and co-founded UP4ALL International. His work spans theoretical foundations to practical applications in cyber-physical systems. His publication portfolio exceeds 200 peer-reviewed papers and 12 software tools, with his research showing consistent focus on formal methods for real-time systems evolving toward quantitative analysis and cyber-physical applications, as evidenced by his H-index of 58 (highest in Denmark for Computer Science). Honorary Doctor (Honoris causa), Uppsala University (1999) Danish Citation Laureates Award (2005) Thomson Scientific award as most cited Danish Computer Scientist (1990-2004) Ridder af Dannebrog (Knight of the Order of the Dannebrog) (2007) Honorary Doctor (Honoris causa), Ecole Normal Superieure De Cachan, Paris (2007) Professor Larsen currently supervises 7 PhD and 7 post-doc students, having previously guided over 20 PhD and 12 post-doc researchers to completion. His significant research funding includes leadership of the DaNES project, VKR Center of Excellence MT-LAB, national ICT Innovation Network InfinIT, and the Danish-Chinese Basic Research Center IDEA4CPS. He leads the Modeling and Validation Cluster within the EU/IST Network of Excellence ARTIST Design and directs multiple research centers focused on embedded software systems, maintaining active roles in editorial boards, conference steering committees, and national research councils.

Pierangela Samaratiمشاهده پروفایل

استاد

• Data Protection
• Privacy and Anonymity
• Data Security and Privacy
• +۱ مورد دیگر

Pierangela Samarati is a Professor in Informatics at the University of Milan , Italy. She has held visiting positions at George Mason University and Stanford University (USA). Her academic journey includes roles as Full Professor (2000–present), Associate Professor (1998–2000), and Assistant Professor (1990–1998) at the University of Milan, and research roles at SRI International (USA) during 1997–1999. Department: Computer Science Department Academic Rank: Professor Key Positions: PI for EU and MUR-funded projects like GLACIATION, MARSAL, MOSAICrOWN, and ESCUDO-CLOUD. Research Interests focus on data protection, security, and privacy , with an emphasis on privacy-preserving data sharing, access control models, and secure interoperation of distributed systems. She has coordinated numerous projects addressing privacy-aware solutions for cloud computing, genomic data, and healthcare information systems. Recent Trends in Publications include work on cloud security, database integrity, and data anonymization . Notable examples are her 2014 DBSec Best Paper on cloud integrity checks and 2013 DBSec runner-up on secure data fragmentation. Scientific Honors include: ACM and IFIP Fellow (2021) ESORICS Outstanding Research Award (2018) IEEE Computer Society Technical Achievement Award (2016) IEEE Fellow (2012) Professional Contributions span editorial leadership (e.g., Co-Editor-in-Chief of the Encyclopedia of Cryptography ), steering committee roles (ACM WPES, ESORICS, ERCIM WG STM), and organizing ~50 international conferences as General/Program Chair. She has served on ~500 PC committees and delivered ~100 keynotes. Grants and Projects include leading EU Horizon Europe initiatives (GLACIATION), H2020 projects (MARSAL, MOSAICrOWN), and MUR-funded research (POLAR, SPDP). She has also secured industry collaborations with BT, Dell-EMC, IBM, and MasterCard.

Harald Urbanمشاهده پروفایل

استادیار

• Building Information Modeling (BIM)
• openBIM Standards
• Augmented Reality in Construction
• +۳ مورد دیگر

Harald Urban is an Assistant Professor at TU Wien's Faculty of Architecture and Planning, affiliated with the Research Area Digital Construction Process. His work focuses on advancing digital transformation in construction through BIM standardization, augmented reality applications, and regulatory process optimization. He co-leads the BRISE-Vienna initiative, aiming to digitize building permit processes using openBIM frameworks. Key research areas include automated compliance checking via BIM models, AR-driven construction inspection tools, and digitalization of administrative procedures. His contributions span academic publications, training manuals like the BIMcert series, and collaborative projects with public authorities to implement cutting-edge digital workflows. Urban's recent projects emphasize sustainability through digital methods, including carbon footprint reduction strategies and lifecycle analysis integration. He actively participates in international standardization efforts for openBIM and AR applications, ensuring alignment between technological innovation and regulatory requirements. Notable achievements include developing AR-based inspection systems for technical equipment validation and pioneering model-based procedures for building approvals. His work bridges academic research with practical industry needs, fostering efficiency and transparency in construction processes.

• Software Engineering
• Formal Verification
• Model-Driven Engineering
• +۴ مورد دیگر

Petra Kaufmann is an academic at TU Wien's Institut für Softwaretechnik und Interaktive Systeme. Her research focuses on formal verification techniques for software models, model-driven engineering, and model versioning. She has contributed to advancing methodologies for consistency checking in multiview models, semantic-aware merging of UML diagrams, and SAT-based model debugging tools. Her work integrates formal methods like OCL and CTL with practical software development challenges. Kaufmann collaborates on educational initiatives, such as modernizing UML teaching tools, and explores model versioning solutions for collaborative software projects. Key research areas include: Formal verification of software models Model consistency and versioning UML-based system modeling Automated debugging and conflict resolution SAT-based analysis tools Her recent publications emphasize semantic-aware approaches to model evolution and merging, addressing challenges in maintaining consistency across state machines and sequence diagrams. She has advised students like Robert Bill on software model checking and model-driven engineering topics. Her work bridges theoretical formal methods with practical software development workflows, particularly in collaborative environments.

Ezio Bartocciمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Formal Methods
• Runtime Verification
• +۵ مورد دیگر

Univ. Prof. Dr. Ezio Bartocci is a Professor at TU Wien, leading the Forschungsbereich Cyber-Physical Systems . His research focuses on formal methods, runtime verification, and probabilistic systems in Cyber-Physical Systems (CPS). He leads projects like 'Distribution Recovery for Invariant Generation of Probabilistic' and 'Trustworthy IoT for CPS'. Key interests include specification mining, probabilistic hyperproperties, and developing tools like MoonLight for spatio-temporal monitoring. Recent work explores reinforcement learning ethics, neural network verification, and adaptive testing frameworks. His contributions span conferences such as HSCC and RV, with notable publications on parameter synthesis, fault localization in CPS, and moment-based analysis of probabilistic loops. Research Interests : Cyber-Physical Systems (CPS) design and validation Formal specification and verification techniques Probabilistic systems and hyperproperties Runtime monitoring and adaptive testing Neural networks and ethical AI Labs/Teams : Active in TU Wien's Cyber-Physical Systems research unit, collaborating with industry and academia on CPS security and autonomous systems.

Daniel Rehsmannمشاهده پروفایل

پژوهشگر

• Game Theory
• Mechanism Design
• Auction Design
• +۸ مورد دیگر

Daniel Rehsmann is a researcher in the Department of Business Decisions and Analytics at the Faculty of Business, Economics and Statistics, University of Vienna. His work centers on economic theory with a focus on game theory and mechanism design, particularly under conditions of asymmetric information, contests, and auction design. His research interests span game theory , mechanism design , industrial organization , and computational economics . These are supported by interdisciplinary methods drawing from economics and computer science, especially in combinatorial auctions and computational experiments. His work often addresses practical applications in carrier collaboration, public goods provision, and strategic information environments. The recent publications reflect a strong trend in applying theoretical economic models to operational and strategic decision-making problems, combining formal analysis with computational validation. Topics include optimal allocation, discriminatory power in markets, and consistency checks in valuation systems. Scientific Awards: No awards mentioned in the provided text. Daniel Rehsmann is actively involved in academic and public discourse, presenting at talks on topics such as Contesting Fake News and Auctions and Land Purchase . While no formal advisees or grants are listed, his collaborative work with researchers like Rudolf Vetschera and Paul Schweinzer suggests active research engagement. There is no mention of leadership in labs or research teams in the current data.

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

Axel Polaczek is a Researcher in the Formal Methods in Systems Engineering group at the Technische Universität Wien. His work focuses on formal verification techniques and systems engineering methodologies. His research interests span Formal Methods Software Verification Model Checking Theoretical Computer Science within the broader domains of Computer Science and Systems Engineering.

Katalin Fazekasمشاهده پروفایل

استادیار

• Formal Verification
• SAT Solving
• SMT Solving
• +۳ مورد دیگر

Katalin Fazekas is an Assistant Professor in the Formal Methods in Systems Engineering group at TU Wien. Her research focuses on improving incremental reasoning methods for SAT/SMT solvers and advancing formal verification techniques. She holds a PhD from the Johannes Kepler University Linz, supervised by Armin Biere. Education: PhD in Logical Methods in Computer Science (LogiCS), JKU Linz (2016–2021) Research Interests: Incremental SAT/SMT solving Formal verification of distributed systems Algorithm optimization for constraint solving Automated reasoning and proof generation Key Projects: INCR (2021–2024) : Austrian Science Fund (FWF) project on scalable verification via incremental reasoning REVEAL-AI and SLIM : Collaborative projects on AI-driven formal methods Awards: Hertha Firnberg Fellowship (FWF), 2021–2024 Tools Developed: CaDiCaL 2.0: Advanced SAT solver QSM: Quantified symmetric minimization framework for distributed protocols Lab/Affiliations: FORSYTE research group, TU Wien.

Christel Baierمشاهده پروفایل

استاد

• Probabilistic systems
• Modeling and specification formalisms
• Semantics of coordination languages
• +۴ مورد دیگر

Christel Baier is a Full Professor for Algebraic and Logical Foundations of Computer Science at the Faculty of Computer Science, Technical University Dresden. She has held this position since 2006, following her role as Professor for Theoretical Computer Science at Rheinische-Friedrich-Wilhelms Universität Bonn (1999-2006). Her research focuses on probabilistic systems, modeling and specification formalisms, semantics of coordination languages, probabilistic model checking, quantitative analysis, temporal and modal logics, and automata theory. Her work bridges theoretical computer science with practical applications in system verification and analysis, particularly in developing formal methods for probabilistic and timed systems. Professor Baier's publications demonstrate consistent contributions to theoretical computer science with a clear trajectory from foundational work in automata theory to applied model checking techniques. Her research shows particular strength in probabilistic verification methods and their application to complex system analysis. Award for visiting professor (1 month in both years), CNRS/ENS Cachan, France (2005 and 2006) ETAPS Best Theory Paper Award (2008) Professor Baier has advised numerous PhD students throughout her career, including Alexander Asteroth, Nathalie Bertrand, Marcus Groesser, Verena Wolf, and Frank Ciesinski. She currently supervises 4 PhD students at TU Dresden. She has served as Chair of the examination board for bachelor, master and diploma programs in Computer Science at TU Dresden and has been Principal Investigator for 4 national projects funded by the German Research Foundation (DFG). Her research group at TU Dresden focuses on advancing formal verification methods for probabilistic systems. She maintains active involvement in the academic community through editorial board membership of the Journal of Universal Computer Science, steering committee participation for major conferences, and extensive program committee service for top-tier theoretical computer science venues.