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

Christoph Kirschمشاهده پروفایل

استاد

• Concurrent Programming
• Memory Management
• Virtualization
• +۵ مورد دیگر

Christoph Kirsch is Professor and Chair of the Department of Computer Science at the University of Salzburg, Austria since January 2022, and Chair of the Computational Systems Group since April 2004. He also serves as Chair of the Programming Research Laboratory at Czech Technical University in Prague since October 2022. Dr. Kirsch earned his Dr.-Ing. from Saarland University in 1999 while at the Max Planck Institute for Computer Science. He worked as Postdoctoral Researcher at UC Berkeley (1999-2004) and later returned as Visiting Scholar (2008-2013) and Visiting Professor (2014). His research focuses on: Principled design of programming languages and runtime systems Server, quantum, embedded, real-time, and mobile systems Symbolic reasoning, memory management, and concurrency Dr. Kirsch co-invented embedded programming languages (Giotto, HTL, Embedded Machine) and has designed high-performance concurrent data structures. His recent work centers on symbolic execution frameworks like Selfie, with publications spanning efficient model checking, program analysis, and memory management systems. Professional recognitions include ACM Distinguished Speaker (2017-present). He co-founded EMSOFT (2001), served as ACM SIGBED chair (2011-2013), and was associate editor for IEEE TCAD and ACM TODAES. He has supervised 5 postdocs, 10 PhD students, and 18 Masters students since 2004, teaching undergraduate and graduate courses in Compiler Construction, Systems Engineering, and Introduction to Computer Science. Dr. Kirsch leads the Computational Systems Group at University of Salzburg, advancing programming language design, runtime systems, and formal verification methods.

Pavlos Petoumenosمشاهده پروفایل

استادیار

• Compiler Optimization
• Runtime Systems
• Energy Efficient Computing
• +۶ مورد دیگر

Pavlos Petoumenos is a Lecturer (Assistant Professor) in the Department of Computer Science at the University of Manchester and a Research Fellow of the Royal Academy of Engineering. He leads research within the Advanced Processor Technology (APT) group, focusing on compiler optimization and energy-efficient computing. Previously, he worked as a Research Associate and Senior Researcher at the University of Edinburgh under Hugh Leather. His research centers on compilers, runtime systems, and development tools designed to help programmers write fast, energy-efficient programs with minimal effort. With electronic systems consuming 10% of global electricity (projected to reach 20% by 2030), his work addresses the critical challenge of bridging the complexity gap between programmers and modern energy-efficient hardware. Key research areas include compiler optimization, machine learning applications in compilation, code size reduction, and quantum-classical programming integration. His recent publications reveal strong trends in applying machine learning to compiler optimization, particularly through active learning techniques and deep learning models. The research spans multiple domains including function merging, branch fusion, loop transformations, and energy profiling, with significant contributions to quantum programming language design. His work consistently targets real-world applications in multicore processors and interactive mobile environments. Award highlights include: Best Paper Award at CGO 2019 Distinguished Paper Award at ISSTA 2018 Best Paper Award at PACT 2017 Best Paper Award at CGO 2017 Best Paper Award at IISWC 2014 Royal Academy of Engineering Research Fellowship Petoumenos actively contributes to the research community through mentoring PhD students, organizing the biennial International Workshop on Code Optimisation for Multi and Many-Cores (COSMIC), and co-hosting the Compucast podcast where he serves as chief editor. His collaborations span multiple institutions including the University of Edinburgh, University of Lancaster, and University of St Andrews. He has secured significant research impact through tools like BenchPress and F3M that address practical challenges in compiler design and optimization. He leads the Advanced Processor Technology group and contributes to the Compucast podcast, which features interviews with computer science researchers, academic and industry news, and technical discussions. The podcast represents a collaboration between multiple UK universities and serves as an important outreach platform for computer science research.

• Formal Methods
• Software Dependability
• Software Security
• +۷ مورد دیگر

Panagiotis Katsaros is a Professor at the Department of Informatics, Aristotle University of Thessaloniki. His research focuses on Formal Methods, Software Dependability & Security, and Internet of Things (IoT) systems. 1992: Dipl. in Mathematics, Aristotle University 1993: M.Sc in Software Engineering, Aston University 2002: PhD in Informatics, Aristotle University His work integrates model-based design with probabilistic verification to address challenges in embedded systems , IoT , and cloud environments . He has pioneered methodologies for correctness-by-construction and security-aware elasticity in distributed systems. Recent publications (2015-2019) highlight trends in multi-core embedded systems , probabilistic model checking , and logical error detection . His research bridges formal verification with practical system design . Scientific Recognition Best Paper Award at 17th Panhellenic Conference on Informatics (2013) Best Paper Award at 15th Panhellenic Conference on Informatics (2011) He has supervised PhD students Stylianos Basagiannis and Anakreon Mentis , and contributes to the Dependability & Security Group (DSG A.U.Th) . His work impacts spacecraft design , cloud security , and transaction processing systems .

• Knowledge Graphs
• Semantic Web
• Data Integration
• +۵ مورد دیگر

Fafalios Pavlos is an Assistant Professor at the School of Production Engineering and Management of the Technical University of Crete. His research focuses on knowledge graphs, ontology management, semantic interoperability, and data integration. He has organized international workshops such as BeyondFacts on computational methods for online discourse analysis. Pavlos's work bridges computer science with domains like digital humanities, maritime history, and food science, emphasizing the application of semantic technologies for interdisciplinary challenges. His academic background includes significant contributions to semantic web technologies, entity linking, and fact-checking systems. Pavlos collaborates on projects like ClaimsKG and FastCat, advancing methods for analyzing historical and archival data. He has published extensively on topics ranging from ontology governance to knowledge graph applications in earthquake data modeling and circular economy analysis. Recent trends in his research include enhancing semantic interoperability across heterogeneous datasets and developing frameworks for robust claim validation in online discourse. His work often integrates machine learning with traditional information retrieval techniques to address real-world data challenges.

• Quantum Computing
• Quantum Information Processing
• Quantum Networking
• +۹ مورد دیگر

Panagiotis Tzounakis is a Researcher at the Computer Laboratory under the Division of Computer Science and Numerical Analysis at Aristotle University of Thessaloniki . His expertise spans quantum computing, semantic web technologies, and classical networking systems. Research Interests Quantum Information Processing and Networking Resource Theories for Nonlocality, Entanglement, and Contextuality Semantic Web, Linked Open Data (LOD), RDF, and Timed RDF Classical Network Internetworking and Telecommunications Publications Overview His work includes contributions to real-time verification tools (1992) and recent applications in semantic web and open data (2015), particularly focusing on digital preservation and data modeling in archaeology. Laboratory Affiliation He is affiliated with the Computer Laboratory , supporting technical infrastructure and research initiatives.

• Security
• Privacy
• Network Security
• +۳ مورد دیگر

Kotzanikolaou Panagiotis serves as an Associate Professor specializing in Security and Privacy of New Generation Networks at the Department of Informatics, University of Piraeus, where he also directs the Department's Security Laboratory. With a strong academic foundation including a degree in Informatics and a PhD in information systems security, both from the University of Piraeus, he has established himself as a leading expert in network security and privacy domains. University of Piraeus - BSc in Informatics University of Piraeus - PhD in Information Systems Security Professor Kotzanikolaou's research focuses on the critical intersection of security and privacy within next-generation communication networks. His work addresses fundamental challenges in securing modern network infrastructures against evolving threats while preserving user privacy. He has developed expertise in cryptographic techniques, authentication mechanisms, and security protocols specifically designed for emerging network technologies including 5G, IoT, and edge computing environments. His research approach combines theoretical rigor with practical implementation considerations, ensuring relevance to real-world security challenges faced by communication systems today. Analysis of his publication record reveals a consistent focus on addressing security challenges in evolving network technologies, with increasing attention to AI-driven security solutions, quantum-resistant cryptography, and privacy-preserving techniques for distributed systems. His work demonstrates a progression from traditional network security approaches to more sophisticated methods addressing the unique challenges posed by next-generation networks, including 5G infrastructure, IoT ecosystems, and edge computing environments. CISSP (Certified Information Systems Security Professional) ISO 27001 Lead Auditor certification Professor Kotzanikolaou actively participates in research and development projects for both public and private sector entities in the field of Information and Communication Systems Security. He serves on organizing committees for international conferences and contributes as a guest editor and reviewer for prominent scientific journals in security. His professional engagement extends to practical applications through previous work as a Special Scientist at the Communications Privacy Assurance Authority (ADAE) and as a systems security consultant in the private sector. As director of the Department's Security Laboratory at the University of Piraeus, he leads research initiatives focused on cutting-edge security challenges in modern communication networks. The laboratory serves as a hub for collaborative research involving academic researchers, industry partners, and government agencies working together to develop innovative security solutions for next-generation network infrastructures.

Alex Groceمشاهده پروفایل

دانشیار

• Software Engineering
• Software Testing
• Mutation Testing
• +۷ مورد دیگر

Alex Groce is an Associate Professor at the School of Informatics, Computing, and Cyber Systems (SICCS) at Northern Arizona University. He joined NAU in 2017 after serving as faculty at Oregon State University where he was promoted to Associate Professor in 2015. Previously, he was a core member of NASA's Jet Propulsion Laboratory's Laboratory for Reliable Software and taught software testing at Caltech. Educational background includes: Ph.D. in Computer Science from Carnegie Mellon University (2005) B.S. in Computer Science and Multidisciplinary Studies from North Carolina State University (1999) His research focuses on software engineering with emphasis on testing techniques for complex systems. Primary interests include: Development of testing tools like TSTL (Python testing) DeepState (C/C++ unit testing with symbolic execution) Mutation testing frameworks including universalmutator and MuttFuzz Security/reliability of embedded and systems software Dr. Groce leads significant open-source projects and serves on program committees for top conferences including ISSTA, ICSE, ASE, and FSE.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Verification
• Software Engineering
• Concurrent Systems
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor at the KTH Royal Institute of Technology's School of Computer Science and Communication. He obtained his Master's and Ph.D. degrees from ETH Zurich, with research focused on finding faults in multi-threaded programs. Before joining KTH in 2016, he held research positions at the National Institute of Informatics in Tokyo and the National Institute of Advanced Industrial Science and Technology (AIST) in Japan. His research interests include: Software verification and software engineering Concurrent and networked systems Model-based testing and runtime verification Fault injection techniques Formal methods for distributed systems His recent publications demonstrate strong focus on model checking, test generation, and verification techniques for concurrent/distributed systems, with applications ranging from IoT protocols to Android devices. Notable trends include the development of specialized testing tools and formal verification approaches. Awards and recognitions: ACM SIGSOFT Distinguished Paper Award (ASE 2015) QRS 2015 best paper award Best tool competition winner at SBST 2015 He leads development of several verification tools including Modbat (model-based tester) and Java PathFinder extensions. He is also involved in the KTH Center for Cyber Defense and Information Security management group.

Parosh Aziz Abdullaمشاهده پروفایل

استاد

• Concurrency
• Distributed Systems
• Program Verification
• +۵ مورد دیگر

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. He is a prominent researcher in the field of theoretical computer science with a focus on formal methods, concurrency, and program verification. His work bridges theoretical foundations with practical applications in software and hardware verification. Professor Abdulla's primary research interests include Concurrency, Distributed Systems, Program Verification, Model Checking, Automata, and Logic. His work spans both theoretical aspects of computer science and practical verification techniques for concurrent and distributed systems. He has made significant contributions to the understanding of memory models, particularly in the context of modern architectures like x86 with persistent memory. His research has evolved from foundational work on infinite-state systems to practical verification techniques for concurrent programs and string constraints. Professor Abdulla has served on numerous program committees for top-tier conferences including PLDI, POPL, CAV, CONCUR, and TACAS, demonstrating his standing in the research community. He has been PC co-Chair for TACAS'11 and has contributed to many other conferences over the years. As an advisor, Professor Abdulla has supervised numerous PhD students to completion, with graduates working on topics ranging from verification of networks of communicating processes to caches, transactions, and memory models. His students have gone on to successful careers in academia and industry. Professor Abdulla maintains an active research agenda, with recent work focusing on verification of quantum circuits, efficient linearizability monitoring, and verification under Intel-x86 with persistency. His research continues to address fundamental challenges in program verification while adapting to new computing paradigms and hardware architectures.

Aarti Guptaمشاهده پروفایل

استاد

• Formal verification
• Model checking
• Program analysis
• +۶ مورد دیگر

Aarti Gupta is a Professor in the Department of Computer Science at Princeton University, where she conducts research in formal verification, program analysis, and automated decision procedures. She has made significant contributions to the field of system analysis and verification, with her work being applied in industrial settings. Before joining Princeton, she led research in systems analysis and verification at NEC Labs America. Dr. Gupta received her PhD in Computer Science from Carnegie Mellon University. Her academic journey has positioned her as a leading figure in formal methods and verification techniques. Her research focuses on two main areas: theoretical foundations and practical applications. Foundations include formal methods, model checking, program analysis, automated synthesis, and SAT/SMT solvers. Applications span verification of software, hardware, networks, and distributed systems. Gupta's work bridges the gap between theoretical advances and real-world implementation, with particular emphasis on developing techniques that scale to handle complex industrial systems. Gupta's recent publications demonstrate a clear trajectory toward more modular, scalable, and practical verification techniques. She has increasingly focused on network verification, with several papers addressing the challenges of verifying distributed network control planes. Her work also shows growing interest in hardware verification, particularly for Systems-on-Chip (SoCs), and the intersection of formal methods with neural networks. A notable trend is the development of techniques that combine symbolic reasoning with learning approaches to improve verification scalability. Dr. Gupta has received numerous prestigious awards for her contributions: ACM Fellow (2017) - for contributions to system analysis and verification techniques and their transfer to industrial practice PLDI 2023 Distinguished Paper Award for "Synthesizing MILP Constraints for Efficient and Robust Optimization" IEEE ICNP 2022 Best Paper Award DATE 2021 Best Paper Award (Track D) ACM TODAES 2020 Best Paper Award IEEE Micro Top Pick 2018 Honorable Mention Dr. Gupta has advised numerous graduate students and postdoctoral researchers, including current PhD candidates Divya Raghunathan, Akash Gaonkar, Deyuan He, and Dexin Zhang. Among her former students are Timothy Alberdingk Thijm and Lauren Pick. She has also mentored postdoctoral fellow Grigory Fedyukovich and visiting student Yueling Zhang. Her research has been supported by significant grants that have enabled her to lead projects such as SyLVer (Synthesis, Learning, and Verification) and network verification initiatives in collaboration with researchers like Dave Walker and Ryan Beckett. Dr. Gupta leads the SyLVer research group at Princeton, which focuses on developing techniques that improve the scalability of algorithmic verification by combining deductive learning with learning on data and examples. Her group collaborates extensively on network verification projects, particularly through the Minesweeper initiative with Dave Walker and Ryan Beckett, and on Instruction Level Abstraction (ILA) for System-on-Chip verification in collaboration with Sharad Malik's group.

Guy Katzمشاهده پروفایل

دانشیار

• Formal Methods
• Software Engineering
• Machine Learning
• +۳ مورد دیگر

Guy Katz is an associate professor at the School of Computer Science and Engineering, The Hebrew University of Jerusalem, specializing in formal verification of AI-integrated systems. His work bridges Formal Methods and Software Engineering to ensure reliability in software incorporating machine learning components. He received his Ph.D. from the Weizmann Institute of Science in 2015. His research focuses on verifying neural networks and large language models (LLMs), developing frameworks for safety-critical AI applications. Key methodologies include abstraction techniques, reachability analysis, and certified verification tools. Recent publications reveal a concentrated effort on neural network verification, with increasing emphasis on LLM safety and reinforcement learning systems. His work consistently targets practical verification challenges in deep learning architectures. Dr. Katz secures major research funding through: European Research Council (ERC Starting Grant) European Commission (RobustifAI consortium) Israeli Science Foundation (ISF) Israel Innovation Authority He actively recruits graduate students and postdocs for funded positions. Leading the Katz Lab, he develops verification frameworks for machine learning systems while co-chairing TACAS 2026 to advance the formal methods community.

Thomas Lembergerمشاهده پروفایل

پژوهشگر

• Software Verification
• Code Analysis
• Software Testing
• +۵ مورد دیگر

Dr. Thomas Lemberger is a researcher at the Software and Computational Systems Lab in the Department of Computer Science at Ludwig-Maximilians-Universität München (LMU Munich). He holds a PhD and is actively involved in software verification research, particularly with the CPAchecker framework. His work spans multiple aspects of formal methods and software testing. Dr. Lemberger's research focuses on software verification, code analysis, software testing, fault localization, and program repair. His work explores cooperative approaches across test generation and formal verification, aiming to combine the strengths of different verification techniques. He has made significant contributions to distributed verification, witness-based validation, and fault localization techniques. His research often addresses practical challenges in scaling verification to real-world software systems. His publication record shows a strong focus on decomposing verification tasks into manageable components, improving verification efficiency through parallelization, and creating practical tools that bridge the gap between theoretical verification techniques and practical software development workflows. Recent work emphasizes cooperative verification approaches that combine multiple techniques to overcome individual limitations. Dr. Lemberger has been nominated for best paper at SPIN 2024 for his work on fault localization with verification witnesses, highlighting the recognition of his contributions to the field. He actively mentors numerous BSc and MSc students on various verification-related topics, covering areas from microservice verification to automatic program repair. His research is supported by German Research Foundation (DFG) projects including DFG-CONVEY, DFG-COOP, and DFG-IDEFIX. Dr. Lemberger is a key contributor to the CPAchecker verification framework and has developed tools like CoVeriTeam GUI that enable no-code composition of verification workflows. His work bridges theoretical verification research with practical tool development for real-world software engineering challenges.

Hernán Ponce de Leónمشاهده پروفایل

پژوهشگر

• Software Verification
• Programming Languages
• Security
• +۴ مورد دیگر

Hernán Ponce de León is a Principal Software Systems Research Engineer at Huawei Dresden Research Center (DRC) with an affiliation at Bundeswehr University Munich. His work focuses on the intersection of programming languages, security, and formal methods, particularly in developing automatic tools to verify low-level code correctness, security, and performance on emerging architectures. His research interests span Software Verification , Programming Languages , and Memory Models , with particular emphasis on weak memory consistency verification. He has made significant contributions to the field through the development of the Dat3M verification framework, which supports multiple memory models including C11, LKMM, Power, ARM, and others. Dr. Ponce de León has served on program committees for major conferences including PLDI, POPL, ECOOP, and OOPSLA, demonstrating his active engagement in the academic community. His work has been recognized with multiple SVCOMP medals and a Distinguished Paper award at OOPSLA 2022. Gold and Silver Medal @ SVCOMP 2025 Gold Medal (x2) @ SVCOMP 2024 Gold Medal @ SVCOMP 2023 Distinguished Paper @ OOPSLA 2022 As maintainer of the Dat3M verification tool, he leads a team of developers working on advancing state-of-the-art techniques for memory model verification. His recent publications focus on static analysis of memory models, SMT encodings, and consistency theories, demonstrating his continued leadership in this specialized research area.

Grigore Roşuمشاهده پروفایل

استاد

• Programming Languages
• Formal Methods
• Software Engineering
• +۴ مورد دیگر

Grigore Roşu is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign's Grainger College of Engineering. He leads the Formal Systems Laboratory, focusing on foundational research in programming languages and formal methods. His work bridges theoretical computer science with practical verification tools for real-world systems. Roşu's research spans programming language semantics, formal verification, and language design, with particular emphasis on matching logic and the K framework. His approach enables language-agnostic verification techniques applicable across diverse programming languages and systems, from high-level web technologies like JavaScript to low-level architectures like x86-64. His publications demonstrate a consistent focus on creating executable formal semantics that can be directly used for verification and analysis. Analysis of his recent publications reveals a clear progression toward unifying verification frameworks that work across language boundaries. His work has increasingly focused on blockchain systems (Ethereum, general blockchain finality) while maintaining strong foundations in formal semantics for traditional programming languages. The recurring theme across his research is creating practical verification tools grounded in rigorous mathematical foundations. Throughout his career, Roşu has been actively involved in the programming languages research community, serving on program committees for major conferences including PLDI, POPL, SPLASH, and ICFP. His contributions span both theoretical foundations and practical implementations of verification tools. His laboratory work connects formal methods with real-world applications, particularly in the domains of smart contract verification and processor architecture semantics. The Formal Systems Laboratory under his direction has produced significant tools and frameworks that have influenced both academic research and industrial practice in program verification.

Petridou Sofiaمشاهده پروفایل

دانشیار

• Optical and Wireless Networks
• Network Protocols
• Probabilistic Model Checking
• +۱ مورد دیگر

Associate Professor Petridou Sofia is a faculty member in the Department of Applied Informatics at the University of Macedonia, specializing in network protocols and performance analysis. Her research focuses on: Optical and Wireless Networks infrastructure Network Protocol design and optimization Probabilistic Model Checking for protocol verification Clustering algorithms for network efficiency She teaches core courses including Business Data Communications, Cloud Technologies, Cryptographic Protocols, Cryptography, Discrete Mathematics, and Performance Analysis for Clouds and Networks. Dr. Petridou holds advanced degrees in Computer Science and Computer Networks from Aristotle University of Thessaloniki.