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

• Computer Security
• Cryptography
• Privacy
• +۴ مورد دیگر

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

Victor Vianuمشاهده پروفایل

استاد

• Computational Logic
• Database Systems
• Database Theory
• +۴ مورد دیگر

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

• Cybersecurity
• Blockchain
• Machine Learning
• +۱۲ مورد دیگر

Edgar Weippl is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice Dean and Head of the Research Group Security and Privacy. His work spans cybersecurity, blockchain, and machine learning, with teaching roles in information security and software security courses. Current Positions: Vice Dean (Faculty of Computer Science), Head (Security and Privacy Research Group), Deputy Head (Neuroinformatics & Knowledge Engineering Groups) Research Interests: Cybersecurity, blockchain, IoT security, code obfuscation, privacy technologies, reinforcement learning, and socio-technical systems security Selected Publications: Focus on blockchain privacy, VoWiFi security, code obfuscation, and reinforcement learning applications

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

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.

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

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 Engineering
• Information Systems Engineering
• Operating Systems
• +۴ مورد دیگر

M. Anton Ertl is an Associate Professor at TU Wien's Faculty of Informatics, Department of Compilers and Languages. His roles include teaching courses such as 'Compilers,' 'Efficient Programs,' and 'Stack-based languages.' He specializes in compiler back-ends, Forth, interpreters, programming languages, operating systems, and computer architectures. Ertl's research focuses on optimizing interpreters, compiler design, and hardware security, particularly addressing vulnerabilities like Spectre. His research interests span interpreter performance, compiler optimization, and Forth language evolution. Recent work includes exploring hardware-based Spectre mitigation, decompilers for Gforth, and stack-based language efficiency. He actively contributes to the EuroForth conferences as an editor and presenter. Ertl supervises students on topics like compiler construction, reverse engineering, and interpreter optimization. His academic contributions include over 50 publications, with a focus on virtual machine performance, compiler back-ends, and Forth-related advancements. He is a key figure in the Gforth project and regularly teaches advanced courses on programming languages and computer systems.

• Software Engineering
• Probabilistic Programming
• Security and Penetration Testing
• +۵ مورد دیگر

Jürgen Cito is an Associate Professor in the Department of Software Engineering at the Faculty of Informatics, TU Wien, where he leads research in probabilistic programming, security, and configuration management. His work is supported by major grants from the Austrian Science Fund (FWF), European Commission, and Meta Platforms, Inc., with active projects spanning 2022-2027. His research focuses on the intersection of software engineering and machine learning, particularly in static analysis of probabilistic programs, AI-driven penetration testing, and infrastructure security. Key contributions include identifying secret exposure in configuration files, grammar inference for ad hoc parsers, and performance prediction from source code, often combining empirical studies with tool development. Analysis of his 15 most recent publications (2020-2024) reveals three dominant trends: (1) Security vulnerabilities in configuration management systems, especially secret leakage in dotfiles; (2) Application of large language models to offensive security testing; and (3) Machine learning techniques for performance prediction and AutoML optimization in software contexts. Cito has supervised 22 Master's students on cutting-edge topics including AI security, infrastructure as code, and program analysis. His current research portfolio includes: Types4Strings (FWF, 2024-2027): Type systems for string processing Cloud Open Source Research Mobility Network (EU, 2023-2026): Open-source cloud infrastructure Software Assistants for Probabilistic Programming (Meta, 2022-2026): AI tools for probabilistic code He is embedded in TU Wien's Institute of Software Technology and Interactive Systems (E194), collaborating on cross-institutional projects focused on software security and developer tooling, with particular emphasis on empirical validation of security practices and configuration management systems.

• Software Engineering
• Cybersecurity
• Cloud Computing
• +۳ مورد دیگر

Georg Simhandl is affiliated with the Faculty of Computer Science, specifically within the Research Group Software Architecture. His work focuses on advancing theoretical and practical aspects of software engineering with a strong emphasis on cybersecurity, microservices, and empirical studies. Research Interests: His core research spans Microservices Architecture , Cybersecurity in Software Systems , Formal Methods , and Empirical Software Engineering . He investigates topics such as secure firmware updates, threat modeling for microservices, and developer cognition in system maintenance. Recent work highlights include leveraging TPMs for cryptographic anchoring and analyzing how dataflow diagrams enhance security analysis. Activities: He has presented at conferences like the ACM SIGPLAN International Conference on Software Language Engineering (SLE '24) and participated in workshops such as the IEEE/ACM International Workshop on Eye Movements in Programming (EMIP). His research bridges theoretical frameworks with practical software development challenges. Labs/Teams: Works within the Research Group Software Architecture, contributing to projects on secure architecture design and empirical evaluation of software practices.

• Optimizing Compilers
• Program Analysis
• Embedded Systems
• +۴ مورد دیگر

Jens Knoop is a Full Professor at TU Wien, leading the Department of Information Systems Engineering (E194) and the Research Unit Compilers and Languages (E194-05). His roles include Head of Institute for Information Systems Engineering and membership in the Curriculum Commission for Informatics. He specializes in compiler design, program analysis, and embedded systems, with a focus on worst-case execution time (WCET) analysis and formal methods. His research interests span optimizing compilers, programming languages, and real-time computing. Notable contributions include the Platin tool suite for WCET analysis and contributions to the T-CREST project on time-predictable multi-core architectures. He has authored and edited multiple influential publications, including proceedings of international conferences such as Code Generation and Optimization (CGO) and ARCS. Professor Knoop has supervised numerous theses, including works on effect systems in Haskell, mutation testing in Rust, and robotic systems. He has received the Most Influential PLDI Paper Award (2002) for foundational work in compiler optimization.

• Software Engineering
• Machine Learning
• Static Code Analysis
• +۳ مورد دیگر

Markus Böck is a PreDoc Researcher at the Software Engineering department of Technische Universität Wien (TU Wien), Austria. His academic work focuses on the intersection of software engineering and machine learning , particularly in performance prediction and probabilistic program analysis . He contributes to automated code analysis and intelligent software systems research. Role: PreDoc Researcher Department: Software Engineering, TU Wien Contact: markus.h.boeck@tuwien.ac.at His research explores: Language-agnostic static analysis of probabilistic programs Context-dependent performance prediction from source code Interactive machine learning systems for software engineering Distributional reinforcement learning applications Code-based performance modeling Program analysis for probabilistic systems Key publication trends include: Advancing probabilistic program analysis (2024-2025) Performance prediction techniques (2022-2023) Reinforcement learning innovations (2020-2022) Application of machine learning to software engineering challenges Game theory algorithm optimization (2025)

• Blockchain
• Smart Contracts
• Ethereum
• +۷ مورد دیگر

Monika di Angelo is an Assistant Professor at Vienna University of Technology's Faculty of Informatics, Department of Automation and Control Systems. Working at 50% capacity, she focuses on Information Systems Engineering and Visual Computing and Human-Centered Technology. Her research spans blockchain technology, smart contracts, Ethereum security, vulnerability detection, cultural heritage applications, and educational informatics. Dr. di Angelo's research interests center around blockchain technology and smart contract security, with particular expertise in Ethereum. Her work explores vulnerability detection in smart contracts, compiler analysis, token standards, and wallet implementations. She also maintains research interests in cultural heritage applications through digital visualization and simulation, extending from earlier work on architectural heritage and pedestrian behavior modeling. Her educational research focuses on didactics in computer science education, particularly for secondary schools and vocational training. Her publication record shows a clear evolution from early work in educational technology and architectural visualization toward blockchain and smart contract research starting around 2018. Recent publications demonstrate deep expertise in Ethereum security analysis, vulnerability detection frameworks, and comparative analysis of smart contract platforms. Her work combines theoretical analysis with practical tool development for blockchain security. Mobilitätsstipendium der TU Wien für hervorragende Dissertation Lions-Förderpreis (1989) Dr. di Angelo has supervised over 50 diploma and master's theses since 2008, with recent supervision focusing primarily on blockchain security, smart contract analysis, and Ethereum vulnerability detection. Her students' work reflects her research trajectory, moving from educational technology topics toward blockchain security in recent years. She has secured research funding from the Austrian Research Promotion Agency (FFG) for projects evaluating educational concepts for MINT promotion. Her DIVS project (2010-2020) represented a long-term research commitment to visualization and simulation of pedestrian behavior at train stations and architectural heritage applications. Her research extends across multiple domains including the SmartBugs framework for smart contract analysis, Ethereum security research, and applications of blockchain technology in various domains. She maintains active collaborations with researchers in blockchain security and has contributed to the development of tools and methodologies for smart contract analysis.

Patrick Cousotمشاهده پروفایل

استاد

• Abstract Interpretation
• Computer Science
• Semantics
• +۵ مورد دیگر

Patrick Cousot is a Professor of Computer Science at École Normale Supérieure (ENS) in Paris, France, where he directs educational activities and leads the ENS-CNRS-INRIA joint project team "Abstraction." He has held academic positions at École Polytechnique (1984–1997), University of Metz (1979–1984), New York University (2008), and MIT (2005) as a J. C. Hunsaker Distinguished Visiting Professor. Education: Engineer, École des Mines of Nancy (1971) Doctor Engineer (PhD) in Computer Science, University of Grenoble (1974) Doctor ès Sciences in Mathematics, University of Grenoble (1978) As co-inventor of Abstract Interpretation with Radhia Cousot (1975), he developed a foundational theory for sound approximation of mathematical structures in computer systems. This framework underpins methods for solving undecidable or complex problems across semantics, verification, static analysis, program optimization, and security, with industrial applications in hardware/software safety and security. Scientific honors include: Chevalier in Ordre des Palmes académiques (1990) Chevalier in Ordre National du Mérite (1993) CNRS Silver Medal (1999) Honorary doctorate from Saarland University (2001) Grand Prix de l'Académie des Sciences (2006) Humboldt Research Award (2008) Member of Academia Europaea (2006) His prior roles include Research Scientist at CNRS (1974–1979), where he developed foundational work in static analysis. He also established the LIX research laboratory at École Polytechnique.

Laura Kovácsمشاهده پروفایل

استاد

• Computer Algebra
• Automated Deduction
• Software Verification
• +۳ مورد دیگر

Laura Kovács is a full professor at the Faculty of Informatics of Vienna University of Technology (TU Wien), leading the Automated Program Reasoning Group (APRe) and contributing to the Formal Methods in Systems Engineering (FORSYTE) research unit. Her research establishes critical synergies between computer algebra and automated deduction to enhance software reasoning capabilities. Key directions include algebraic analysis of systems for invariant synthesis and termination analysis, deductive verification for safety/security, SMT solving with on-demand theory reasoning, and first-order theorem proving for quantified reasoning with theory extensions. She develops foundational software tools including the Vampire theorem prover, Polar static analyzer, and Z3 SMT solver extensions. Her leadership extends to major conference roles as Co-chair of TACAS 2024, CICM 2024, RP 2024, and iFM 2024, along with invited lectures at FORTE 2024, IJCAR 2024, and the Marktoberdorf Summer School 2024. Her distinguished recognition includes: ERC Starting Grant (2014), ERC Consolidator Grant (2020), and ERC Proof of Concept Grants (2018, 2024) Amazon Research Awards (2020, 2023) Wallenberg Academy Fellowship (2014) Promotion Prize in STEM from Vienna City (2021) She actively supervises student projects through the APRe group and drives research via multiple grants, with recent accepted papers at top venues including POPL 2024, S&P 2024, and IJCAR 2024. Her group maintains strong industry-academia collaboration through tools like Vampire and Polar.

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.