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

• 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 Science
• Network Engineering
• Software Development
• +۳ مورد دیگر

Thorsten Jarz-Sand is a Professor at the Pädagogische Hochschule Steiermark (Styrian College of Teacher Education), specializing in Secondary Vocational Teacher Education. His work focuses on integrating advanced IT systems into educational environments, emphasizing practical technical guidance for schools and organizations. He holds a Magister degree and teaches courses on network infrastructure, system administration, and programming. His research interests include Windows operating systems, server management, and educational technology applications. Key areas of expertise include Active Directory, Hyper-V virtualization, network security, and programming languages like C# and VB.NET. Dr. Jarz-Sand has authored over a dozen technical manuals, including guides for Windows Server 2022, Windows 11, and foundational network technologies. His books emphasize hands-on learning through exercises and real-world case studies, making complex IT concepts accessible for educators and IT professionals. He maintains an active presence in academic and professional circles through his publications and contributions to didactic IT education. Contact him via email or visit his website for resources.

Franz Wotawaمشاهده پروفایل

استاد

• Model-Based Reasoning
• Qualitative Reasoning
• Theorem Proving
• +۶ مورد دیگر

Franz Wotawa is a Professor of Software Engineering at Graz University of Technology. He holds a M.Sc. (1994) and PhD (1996) from Vienna University of Technology. He has served as head of the Institute for Software Technology from 2003–2009 and since 2020. His research focuses on model-based reasoning, software testing, autonomous systems, and diagnosis, with over 390 peer-reviewed publications. He founded Softnet Austria (2006) to bridge research and industry. He leads the Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems since 2017 and has supervised 90+ master and 36+ PhD students. His awards include the 2016 Lifetime Achievement Award from the International Diagnosis Community. He is a member of Academia Europaea, IEEE, and AAAI. **Education**: M.Sc. in Computer Science, Vienna University of Technology, 1994 PhD, Vienna University of Technology, 1996 **Research Interests**: Model-based reasoning, qualitative reasoning, theorem proving, mobile robotics, verification/validation, software testing/debugging, AI, and autonomous systems. **Notable Projects**: A-IQ Ready (2022–2026): Quantum sensing for autonomous systems. ALFA (2024–2027): AI for smart diagnosis in building automation. Bilateral AI (2024–2029): Combining symbolic and sub-symbolic AI. VARCOS (2025–2028): Vehicle-road cooperative systems for autonomous driving. **Awards & Memberships**: Lifetime Achievement Award (2016, International Diagnosis Community) Senior Member, AAAI Member of Academia Europaea, IEEE, ACM, and Austrian Computer Society **Labs/Teams**: Christian Doppler Laboratory for Quality Assurance Methodologies (since 2017). Active in Cluster of Excellence “Bilateral AI” at TU Graz.

• 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.

Christian Fibichمشاهده پروفایل

پژوهشگر

• Fault-Tolerant FPGA Design
• Reliability Analysis of SRAM-Based FPGAs
• High-Level Synthesis

Christian Fibich is a Researcher and Lecturer at the Department of Electronic Engineering, University of Applied Sciences Technikum Wien, Austria. He leads the Research Group Embedded Systems, focusing on FPGA reliability and high-level synthesis. His roles include project management for R&D initiatives like VECS (2013-2018), INES (2018-2023), and the 2024 Drohnentechnik integration project. Fibich holds an MSc in Embedded Systems from Technikum Wien and has been active in the field since 2010. Research interests include fault-tolerant FPGA design, reliability analysis of SRAM-based FPGAs, and high-level synthesis optimization. His work emphasizes practical applications of open-source tools and automated design exploration. Recent projects explore temperature-dependent fault effects and drone integration in academic programs. Publications span FPGA reliability, fault injection methods, and embedded systems design, with a focus on open-source IP cores and hardware security. His contributions include Fiji (a fault injection tool) and HLShield (a reliability framework for HLS).

• 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)

• 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.

Antonio Vallecilloمشاهده پروفایل

استاد

• Software Quality
• Model-Driven Software Engineering
• Enterprise Modeling
• +۷ مورد دیگر

Antonio Vallecillo is a Full Professor at the University of Málaga, leading the ATENEA research group focused on Software Modeling and Analysis. He has held key academic and administrative roles, including Vice-President of the Spanish Society on Informatics (SCIE), President of SISTEDES (Spanish Society on Software Engineering), and coordinator of the Computer Science and Information Technologies area at the Spanish Research Agency (AEI). His work spans standardization activities in AENOR, ISO, and ITU-T, where he edited three international standards on Open Distributed Processing. Research interests include Model-Driven Engineering, Software Quality, Enterprise Architectures, and Model Transformations. He has over 120 publications in top venues, secured €2M+ in research funding, and pioneered conferences like STAF and ICMT. His contributions to open-source tools for model transformation validation and international standards underscore his impact. Awards include Best Paper distinctions and the 10-Year Most Influential Paper Award. Academic leadership roles include Vice-President of Postgraduate Studies at the University of Málaga and Director of University IT systems. He actively participates in editorial boards (SoSym, JOT) and international conferences as PC Chair and keynote speaker.

Andreas Zellerمشاهده پروفایل

استاد

• Software Security
• Automated Software Debugging
• Software Testing and Analysis
• +۳ مورد دیگر

Andreas Zeller is a Full Professor of Computer Science at Saarland University and a faculty member at CISPA Helmholtz Center for Information Security in Germany. His research focuses on software engineering, automated debugging, and software testing/analysis, with foundational contributions like Delta Debugging and the SZZ algorithm. He has held academic positions since 2001 and leads projects funded by ERC grants, including the 'Semantics of Software Systems (S3)' initiative. Education: Ph.D. in Computer Science (1997, focused on software versioning). Research interests include mining software repositories, input grammar inference, fuzzing, and open science practices. He has authored influential papers (e.g., 'Mining Software Histories to Guide Software Changes' with over 1,700 citations) and interactive textbooks like The Fuzzing Book and The Debugging Book . Key awards include ACM Fellow (2010), ERC Advanced Grants (2011, 2023), and multiple 10-Year Most Influential Paper Awards. His group at CISPA/Saarland includes PhD students and postdocs working on testing, debugging, and security.

• 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.

Georg Weissenbacherمشاهده پروفایل

استاد

• Formal Methods in Systems Engineering
• Software Verification
• Concurrency
• +۵ مورد دیگر

Georg Weissenbacher is a Professor at Vienna University of Technology , affiliated with the Network Lab and the research area of Formal Methods in Systems Engineering . His academic work focuses on software verification , formal methods , and concurrent systems . University: Vienna University of Technology Research Area: Formal Methods in Systems Engineering Academic Rank: Professor Education: D.Phil. Univ.Prof. Dipl.-Ing. Research Interests : Weissenbacher's work centers on formal verification techniques for software and hardware systems. Key areas include: Hyperproperties : Analyzing properties of systems involving multiple execution traces, such as security and robustness. Model Checking : Applying bounded model checking to automotive software (e.g., AUTOSAR components) and concurrent systems. Symbolic Execution : Leveraging symbolic execution for bug detection in programs with complex behaviors like speculative execution. Concurrency Bugs : Formalizing heisenbugs and developing methods to extract safe thread schedules from incomplete model checking results. Automated Reasoning : Improving interpolation-based techniques and SAT solvers for program analysis and fault localization. Publication Trends : His recent articles (2024-2025) emphasize symbolic execution for hyperbug detection, machine learning in security verification, and automotive software validation. Earlier works (2023-2021) explore model checking , mutation testing , and concurrent system analysis . Projects : He leads initiatives such as: Abstraction-based Parameterized TLA Checker Bit-level Accurate Reasoning and Interpolation Tools for Concurrent and Distributed Systems LogiCs-Stipendien (Formal Methods in Computer-Aided Design) Collaboration and Supervision : Weissenbacher co-edits conference proceedings (e.g., FMCAD 2023 , CAV 2018 ) and supervises students in formal verification, including Andreas Fellner (model-based mutation testing), Emmanuel Pescosta (speculative non-interference), and Tobias Nießen (hyperproperty counterexamples).

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.

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

Dejan Nickovic is a Professor affiliated with the Department of Cyber-Physical Systems at TU Wien. His research focuses on runtime verification, formal methods for cyber-physical systems (CPS), and software testing. He leads projects such as TAIGER (2023–2027) and ARTIST (2021–2026), advancing CPS safety and AI robustness. His work bridges theoretical formalisms with practical applications in robotics, IoT, and embedded systems. Key research themes include specification mining, fault localization, and automated verification. He has developed tools like DeepRIoT for robotic-IoT integration and FIM for Simulink fault analysis. His professorial dissertation (2020) formalized runtime verification techniques for CPS. Recent publications emphasize adaptive architectures, backdoor detection in AI, and hyperproperties for security. He collaborates extensively with academia and industry, addressing challenges in CPS testing and verification through grants like ZK 35-G (2019–2024). His lab supports platforms like CPS/IoT Ecosystem for research and education. Projects: TAIGER, ARTIST, EdgeAI, ProbInG Supervised students: N. Manjunath (PhD, 2021), Florian Exenberger (2019), Markus Heindl (2017)

• 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.