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

Peter Druschelمشاهده پروفایل

استاد

• Distributed Systems
• Operating Systems
• Network Security
• +۳ مورد دیگر

Peter Druschel is a Professor and founding Director of the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. He holds adjunct professorships at Saarland University and the University of Maryland. His research focuses on distributed systems, operating systems, and privacy-preserving technologies. He earned his Ph.D. from the University of Arizona in 1994 and has held roles at Rice University since 1994, including Professor of Computer Science (2002–2005). Education: Ph.D. in Computer Science, University of Arizona (1994) Research Interests: Distributed systems, operating systems, network security, accountable computing, and privacy technologies. Current projects include privacy compliance in data systems (Thoth), secure communication (EbN), and privacy-aware image capture (I-Pic). Awards: SIGOPS Mark Weiser Award (2008) NSF CAREER Award (1995) Member of Academia Europaea and German Academy of Sciences Leopoldina Grants & Leadership: Leads the ERC Synergy Project imPACT, chairs the Max Planck Society’s Chemistry, Physics, and Technology Section, and collaborates with institutions like Cornell and Google. Advises on policy issues related to technology and privacy. Labs/Teams: Distributed Systems Group at MPI-SWS, collaborations with Microsoft Research and MIT. Current team includes students and postdocs working on privacy, security, and distributed systems.

Wolfgang Kunzمشاهده پروفایل

استاد

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

• Model-Based Testing
• Automata Theory
• Machine Learning
• +۵ مورد دیگر

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

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

• Software Engineering
• Cybersecurity
• Artificial Intelligence
• +۵ مورد دیگر

Philipp Haindl is a lecturer at the Department of Computer Science and Security at St. Poelten University of Applied Sciences. His work focuses on software engineering, cybersecurity, and AI integration in education and manufacturing. Software Engineering Cybersecurity Artificial Intelligence DevOps Quality Assurance Research Interests: Dr. Haindl explores software metrics, inter-service security in microservices, and AI tools like ChatGPT in programming education. He investigates quality models and non-functional requirements in DevOps environments. Publications: Recent work includes studies on ChatGPT's impact in software engineering education, systematic reviews of microservice security, and frameworks for human-AI teaming in manufacturing.

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

استاد

• Model-Driven Software Engineering
• Digital Twins
• Model-Driven Engineering
• +۵ مورد دیگر

Manuel Wimmer is a Full Professor and Head of the Department of Business Informatics – Software Engineering at Johannes Kepler University Linz, Austria. He also serves as the Program Director for the Business Informatics master's program since 2019. His academic leadership extends to representing JKU Linz in the AutomationML society and leading significant research initiatives. Dr. Wimmer received his Ph.D. and Habilitation from TU Wien. His academic journey includes: Research associate at the University of Malaga, Spain Visiting professor at the University of Marburg, Germany Visiting professor at TU Munich, Germany Assistant professor at the Business Informatics Group (BIG), TU Wien, Austria Professor Wimmer's research focuses on Model-Driven Software Engineering and its applications, particularly in the emerging field of Digital Twins . His work bridges theoretical foundations with practical industrial applications, with special emphasis on model transformations, runtime modeling, and the integration of artificial intelligence techniques into model-driven approaches. More recently, he has been exploring the intersection of model-driven engineering with quantum computing, investigating how modeling principles can be applied to quantum software development. His recent publications reveal a strong trend toward Digital Twin engineering, with approximately 40% of his 2023-2025 publications focusing on various aspects of Digital Twin technology. Another significant strand of his work involves the application of AI and machine learning techniques to enhance model-driven engineering processes. The emergence of quantum software engineering as a research direction is also notable in his most recent publications, demonstrating his ability to identify and explore cutting-edge research frontiers. From 2017-2023, Professor Wimmer led the Christian Doppler Laboratory on Model-Integrated Smart Production (CDL-MINT), where he developed engineering approaches for digital twins. He is also the co-author of the influential book "Model-driven Software Engineering in Practice" (2nd edition, 2017). Professor Wimmer is actively involved in the organization of major scientific events including the IEEE International Conference on Quantum Software (QSW) and the International Conference on Engineering Digital Twins (EDTconf), demonstrating his leadership in these emerging research communities. His research has practical applications across various domains including smart cities, industrial automation, tunneling/construction, and quantum computing. The MATISSE project represents a significant multi-partner effort to develop a framework for federated digital twins of industrial systems.

Jeffrey Kramerمشاهده پروفایل

استاد

• Software engineering
• Distributed computing
• Requirements engineering
• +۵ مورد دیگر

Professor Jeffrey Kramer is a distinguished academic at Imperial College London, where he currently serves as Professor in Distributed Computing within the Department of Computing, Faculty of Engineering. With a career spanning over four decades at Imperial College, he has held numerous leadership positions including Senior Dean (2009-2012), Dean of the Faculty of Engineering (2006-2009), and Head of the Department of Computing (1999-2004). Professor Kramer's research focuses on software engineering, particularly in distributed computing, requirements engineering, software architecture, and self-managing adaptive systems. His work on the Darwin Software Architecture led to commercial implementation by Philips in consumer television products. He has been a principal investigator in research projects developing the CONIC and DARWIN environments for distributed programming. His publication portfolio includes over 200 refereed journal and conference papers along with two influential books: 'Distributed Systems and Computer Networks' (1986) and 'Concurrency: State Models & Java Programs' (1999, 2nd ed. 2006). His most cited works address software architecture, dynamic reconfiguration, and adaptive systems, demonstrating a consistent research trajectory focused on foundational aspects of distributed software systems. FREng Fellow of the Royal Academy of Engineering (2008) ACM SIGSOFT Outstanding Research Award (2005, joint with Prof. Magee) ACM SIGSOFT Distinguished Service Award (2011) Editor-in-Chief of IEEE Transactions on Software Engineering (2006-2009) Most Influential Paper Award at ICSE 2003 IEE Informatics Premium prize (1998/99) Professor Kramer has served on over 50 international conference committees in the last decade and has delivered numerous keynote addresses globally. His industrial collaborations include work with BP, BT, NATS, Fujitsu, Barclays Capital, QinetiQ, Kodak, Microsoft, and Philips. He has also served as an expert witness for major law firms and has been involved in numerous research collaborations and consulting engagements.

• Cybersecurity
• Game Theory
• Quantum Cryptography
• +۵ مورد دیگر

Stefan Rass is a Professor at the Institute of Networks and Security within the Faculty of Engineering & Natural Sciences at Johannes Kepler University Linz (JKU), where he leads the LIT Secure and Correct Systems Lab. As Principal Investigator for FFG-funded projects including reSilienz (digital supply chain resilience, 2023–2025) and ITPUK (AI signature verification, 2022–2024), he bridges theoretical game theory with practical cybersecurity solutions for critical infrastructures and robotics systems. His research spans game-theoretic security models (patrolling games, defense-in-depth strategies), quantum cryptography (QKD network architectures), and cyber deception frameworks like Honeyquest for measuring honeypot effectiveness. Recent work addresses robotics security benchmarking (RobotPerf), cryptographic instruction chaining for control flow protection, and risk assessment methodologies for interdependent infrastructures. His mathematical decision-making approach integrates bounded rationality and stochastic modeling to solve real-world security challenges. Professor Rass actively shapes the field through program committee roles (ARES 2023), peer reviews, and invited talks on security transparency. His current projects focus on cost-benefit-aware monitoring for cyber-physical systems and quantum key distribution standardization, reflecting Austria’s strategic priorities in digital resilience. The LIT Secure and Correct Systems Lab under his direction develops foundational theories while deploying tools for industrial applications, particularly in critical infrastructure protection and secure robotics workflows.

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.

• Systems
• Concurrency
• Memory Management
• +۵ مورد دیگر

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.

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

Stefan Rassمشاهده پروفایل

استاد

• Security and Risk Management
• Decision and Game Theory for Security
• Security Infrastructures
• +۹ مورد دیگر

Stefan Rass is a full Professor at Alpen-Adria-Universität Klagenfurt (AAU), with additional affiliation at Johannes Kepler University Linz (JKU). He holds the academic title Univ.-Prof. (Universitätsprofessor) and possesses advanced degrees including PD (Privatdozent), Dipl.-Ing. (Diplom-Ingenieur), and Dr. (Doctor). His research spans multiple institutions and projects, with a focus on security and risk management through game theory applications. Professor Rass's research interests center around Security and Risk Management, Decision and Game Theory for Security, Security Infrastructures (including Key Distribution and Management, PKI, and Authentication), Unconditional and network security, Applied Quantum Cryptography, and Complexity Theory and Statistics in Security. His work bridges theoretical computer science with practical security applications, particularly in quantum networks and critical infrastructure protection. His recent publications demonstrate a strong trend toward interdisciplinary security research, combining game theory with quantum cryptography, robotics security, and AI-powered penetration testing. The articles reveal increasing focus on practical applications of theoretical security concepts, with notable work in quantum networks, deniable encryption techniques, robotics security benchmarking, and AI-assisted security testing. His research shows consistent evolution from theoretical foundations toward real-world implementation challenges. Professor Rass leads multiple ongoing research projects including Machine Learning for Risk Management, Safe and Secure Robotic Systems Engineering (SEEROSE), Simulation and analysis of critical network infrastructures in cities (ODYSSEUS), and security for cyber-physical value networks Exploiting smaRt Grid systems (synERGY). These projects, primarily funded by FFG (Austrian Research Promotion Agency), demonstrate his leadership in securing critical infrastructure and developing next-generation security frameworks.