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

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.

• Software Engineering
• Semantic Analysis
• Microservices
• +۳ مورد دیگر

Johann Glock is a PhD candidate and university assistant (Univ.-Ass.) in the Software Engineering Research Group (SERG) at the University of Klagenfurt, Austria. His research is supervised by Prof. Martin Pinzger. He is affiliated with the Department of Informatics Systems and contributes to the Team ICS Eder. His work focuses on software engineering challenges, including developer understanding of code changes, microservice API evolution, and semantic analysis techniques. Education: Holds BSc and MSc degrees (exact institutions unspecified). Research interests span semantic differencing, API evolution strategies, software quality metrics, and developer productivity tools. His recent publications investigate symbolic execution-based methods for code comprehension and empirical studies on microservice architecture challenges. Publications emphasize practical software engineering solutions, with a focus on improving developer workflows and system maintainability. He has contributed to tools like PASDA for semantic code comparison and studies on design patterns' impact on software quality. No scientific awards are explicitly mentioned. Teaching involvement includes software practicum courses and project supervision. Active in the Interactive Systems Research Team (IAS) and contributes to ongoing projects in software engineering and HCI.

• Real-Time Systems
• Worst-Case Execution Time (WCET) Analysis
• Single-Path Code Optimization
• +۳ مورد دیگر

Peter Puschner is an Associate Professor at Vienna University of Technology (TU Wien), affiliated with the Cyber-Physical Systems Research Area. His work focuses on real-time systems, worst-case execution time (WCET) analysis, and time-predictable code execution. Key research areas: Real-Time Systems, Single-Path Code, Time-Triggered Networks, Cache Architectures Advisor to multiple thesis students including Michael Platzer and Bekim Cilku Co-developer of tools like the platin Toolkit for WCET analysis Recipient of Best Paper Award at ECRTS 2015 for Requirement Semi-formalization Methodology for SoC Design

Manuel Hermenegildoمشاهده پروفایل

استاد

• Constraint Programming
• Logic Programming
• Functional Programming
• +۷ مورد دیگر

Manuel Hermenegildo is a Full Professor at the Technical University of Madrid (UPM) and Director of the IMDEA Software Research Institute in Spain. He held the Prince of Asturias Endowed Chair at the University of New Mexico (2003-2008) and was previously a project leader at MCC (1986-1989) and Adjunct Associate Professor at the University of Texas at Austin (1987-1990). Education: M.S. and Ph.D. in Computer Engineering, University of Texas at Austin (1986) Engineer's Degree in Electrical and Telecommunications Engineering, Technical University of Madrid (1981) His research spans programming language design , abstract interpretation-based analysis , parallelizing compilers , and parallel/distributed processing . His work integrates theoretical advances with practical implementations like the Ciao system and PiLLoW library. Recent publications focus on parallelization , program verification , mobile code security , and distributed programming . Key methodologies include abstract interpretation , constraint logic programming , and compiler optimization . Scientific Awards: ACM Fellow Julio Rey Pastor Prize (highest Spanish national award in Mathematics and ICT) Aritmel Prize in Computer Science President of the Association for Logic Programming He has led numerous national and international projects, served as area editor for journals like Theory and Practice of Logic Programming , and participated in EU advisory committees (ISTAG, CREST). His work on the Abstraction Carrying Code (ACC) approach advances mobile code safety and trusted computing.

• Security
• Intrusion Detection
• Malware Detection
• +۲ مورد دیگر

Christopher Krügel is a Professor at Technische Universität Wien, affiliated with the Department of Automation Systems (E191-03). His research focuses on Security, Intrusion Detection, Malware Detection, Operating Systems, and Networks. He leads multiple research projects and has supervised 20+ graduate students. His research explores malware analysis techniques, web security vulnerabilities, hardware-level attacks (e.g., Rowhammer), and privacy threats in mobile/social systems. Recent work examines ARM TrustZone security and machine learning limitations in malware detection, while earlier publications cover P2P networks, phishing defenses, and binary analysis. Awards: Wirtschaftskammerpreis (2005) EIB Scientific Award for Excellent Diploma Thesis (2000) Grants & Projects: Includes SECoverer (web app security, 2008-2011), WOMBAT (malware observatory, 2008-2011), Pathfinder (malware analysis, 2007-2009), and 5+ other funded initiatives focusing on binary analysis, pervasive security, and malware detection. He leads the Automation Systems research group, collaborating with institutions like European Commission and Austrian Science Fund.

• Computer Science
• Cybersecurity
• Web Security
• +۳ مورد دیگر

Magdalena Maria Solitro is a PreDoc Researcher at the Security and Privacy department of Technische Universitat Wien (Vienna University of Technology). Her research focuses on cybersecurity , web security , and formal methods , with a recent publication on sound reachability analysis for WebAssembly at the IEEE Computer Security Foundations Symposium (CSF) 2024 . She has contributed to projects such as Browsec , CDL-BOT , ForSmart , and SFB SPyCoDe , spanning from 2018 to 2027. Her work addresses critical challenges in software security and program analysis.

• Software Engineering
• Formal Methods
• Program Analysis
• +۷ مورد دیگر

Prof. Maria Christakis is a Full Professor in the Faculty of Informatics at TU Wien, leading the Rigorous Software Engineering Group and the Software Engineering Research Unit (E194-01). Her research focuses on developing reliable software tools, emphasizing formal methods, program analysis, and automated testing. She holds leadership roles including Curriculum Coordinator for Software Engineering programs and Faculty Council membership. Her research interests span automatic test generation, program verification, and improving developer productivity through novel techniques. Notable projects include the 'Sherlock' framework for testing program analyzers and 'Olympia' for Solidity fuzzer benchmarking. Awards include Amazon and Google Research Awards, and she actively contributes to conferences like CAV, ASE, and IJCAI. Prof. Christakis advises over 15 students (PhD, Master's, and project students) and has supervised numerous alumni. She teaches core courses like Advanced Software Engineering and oversees Bachelor/Master curricula. Her work bridges formal verification and systematic testing, with tools like 'queryFuzz' and 'LIBRA' addressing neural network fairness and SMT solver reliability. Current projects include the 'Nomos' specification language for machine learning safety and the 'LaZ' framework for lazy testing. She co-leads the Automated Reasoning doctoral school and collaborates with institutions like MPI-SWS and Microsoft Research.

• Cybersecurity
• Information Security
• IoT Security
• +۶ مورد دیگر

Martina Lindorfer is an Associate Professor at the Department of Security and Privacy, Faculty of Informatics, Technische Universität Wien (TU Wien). Her primary roles include academic research and teaching in cybersecurity, privacy engineering, and IoT security. She coordinates the Women in Informatics initiative and leads research projects addressing critical security challenges across mobile, IoT, and cloud ecosystems. Dr. Lindorfer holds a Dipl.-Ing. (BSc) and a PhD in Technical Informatics from TU Wien (2011 and 2015, respectively). Her research focuses on malware analysis, mobile security, and privacy-preserving technologies. Notable projects include the WWTF-funded IoTIO initiative analyzing IoT device vulnerabilities and the W4MP project exploring cross-platform malware threats. Key research interests span: Cybersecurity frameworks for IoT ecosystems Privacy implications of smart TV protocols (HbbTV) Mobile app vulnerability analysis APT campaign attribution through file forensics Academic cloud migration risks Her work bridges technical analysis with societal impacts, addressing topics like surveillance technology and academic freedom in cloud environments. Lindorfer has supervised over 20 graduate students, with recent theses focusing on rootkit detection, ART-based app diffing, and privacy in configuration repositories. Current grants include: IoTIO (2020–2025): Securing IoT ecosystems W4MP (2023–2027): Cross-platform malware research Browsec (2018–2024): Browser security analysis Her lab develops tools like C2Miner (C2 server detection) and FlowPrint (encrypted network fingerprinting), contributing to both academic and industry standards. Lindorfer actively collaborates with organizations like the European Commission and FFG on cybersecurity policy and threat mitigation strategies.

• Worst-Case Execution Time Analysis
• Real-Time Systems
• Testing of Embedded Systems
• +۲ مورد دیگر

Raimund Kirner is an academic at the Institute of Computer Engineering (E191-01) at Technische Universität Wien , specializing in real-time and embedded systems. His career spans research in Worst-Case Execution Time (WCET) Analysis , Time-Triggered Communication , and Automated Testing for safety-critical systems. He has contributed to projects such as ALL-TIMES, COSTA, and HINT, focusing on timing predictability and composability in real-time systems. Key Research Areas : WCET Analysis, Real-Time Systems, Embedded Testing, Time-Predictable Computing Notable Collaborations : Peter Puschner, Andreas Prantl, Martina Zolda Recent Publications analyze cybersecurity in automotive networks, quantitative interface evaluation for time-triggered systems, and synchronization trade-offs. His work bridges theoretical timing models with practical compiler and hardware solutions for deterministic execution. Awards : Recipient of the Mobilitätsstipendium der Creditanstalt AG (2003) for outstanding dissertation. Advising includes supervising 11 theses from 2002–2014 on topics like Automated Load Balancing , WCET Estimation , and Compiler Timing Models .

Mei Hongمشاهده پروفایل

استاد

• Software architecture
• Program analysis and testing
• Software System for Cloud Computing and Big Data
• +۵ مورد دیگر

Mei Hong is a Professor and Vice President for HR and International Collaboration at Beijing Institute of Technology. Previously held roles include Professor and Vice President at Shanghai Jiao Tong University (2013-2016), Director of key national research centers at Peking University, and leadership positions in software engineering education and research. Holds dual academic leadership and technical expertise in software engineering. Education: BSc/MSc (Nanjing University of Aeronautics & Astronautics, 1984/1987); PhD (Shanghai Jiao Tong University, 1992). Research focuses on software architecture, cloud computing systems, component-based engineering, and software testing. Has pioneered the 'Internetware' paradigm and contributed to national standards for software development. Publications span software engineering methodologies and tools, with recent work emphasizing mobile computing optimization and automated testing techniques. Over 20 awards including IEEE Fellow (2014), Member of Chinese Academy of Sciences (2011), and multiple best paper awards. Advisory roles include Alibaba DAMO Academy's Academic Board, China's National Key R&D Program, and leadership in 863 High-Tech Program committees. PI of 40+ grants totaling over 200 million CNY. Editorial leadership includes SCIENCE CHINA-Information Sciences (Editor-in-Chief since 2018), ACM Computing Surveys, and top-tier journals/conferences. Active in conference organization (General Chair for ICSME 2017, SPLC 2016).

• Artificial Intelligence
• Software Engineering
• Computer Science Education
• +۳ مورد دیگر

Gerald Weinberger is a Lecturer at the University of Applied Sciences St. Pölten , affiliated with the Department of Computer Science and Security. He actively contributes to academic research and teaching in the intersection of artificial intelligence and software engineering education. His research focuses on AI applications in programming education , particularly the impact of tools like ChatGPT on novice programmers' learning outcomes and code quality. This work aligns with broader trends in educational technology and technology-enhanced learning , where AI-driven solutions are reshaping pedagogical approaches. Weinberger's recent publications (2023-2024) explore opportunities and challenges in integrating generative AI into software engineering curricula. His studies employ empirical methods, including static code analysis and student experience surveys, to evaluate AI's role in undergraduate programming courses. Contact: gerald.weinberger@fhstp.ac.at

• Software Engineering
• Programming Languages
• Static Analysis
• +۴ مورد دیگر

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.

Florian Sextlمشاهده پروفایل

پژوهشگر ارشد

• Program Verification
• Formal Methods
• Programming Languages
• +۳ مورد دیگر

Florian Sextl is a Research Fellow and university assistant at the Formal Methods in Systems Engineering research unit at TU Wien, where he conducts research on program verification and formal foundations of programming languages. His work focuses on memory safety fundamentals, particularly through separation logic-based methods and the Rust programming language. Current projects explore biabduction techniques for ensuring memory safety across Rust-C foreign function interfaces and compositional shape analysis. Sextl teaches Program Analysis courses and has supervised research on join operators for bi-abductive analysis of low-level code. He maintains expertise in interactive theorem proving with Isabelle/HOL and Rocq.

• Formal Methods
• Program Analysis
• Verification
• +۹ مورد دیگر

Florian Zuleger is an Associate Professor at TU Wien's Department of Formal Methods in Systems Engineering (E192-04). He has a 100% research focus and serves as Curriculum Coordinator for the Master’s program in Verification and Automated Reasoning. His work emphasizes automated methods for termination analysis, resource-bound estimation, verification of programs with dynamic data structures, parameterized systems, and automated feedback for introductory programming tasks. He has led projects funded by the European Commission (2024–2027), Austrian Science Fund (FWF), Amazon Research Awards, and Vienna Science and Technology Fund. Research Interests: Automated Program Verification Formal Methods for Concurrent Systems Separation Logic and Decision Procedures Resource and Complexity Analysis Parameterized Model Checking Inductive Logic in Verification Grants & Advising: Zuleger’s recent grants explore verification of safety-critical applications and automated cost analysis. He has advised numerous students on topics ranging from verified data structures to fault-tolerant algorithms. His projects include collaboration with Amazon, the European Commission, and FWF. Labs/Teams: Involved with the LogiCS Research Group, focusing on logical methods in computer science, and contributes to tool development (e.g., ATLAS, SpecBMC, SL-COMP competitions).

• Formal Methods
• Temporal Logic
• Automata Theory
• +۵ مورد دیگر

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.