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

Delphine Demangeمشاهده پروفایل

دانشیار

• Programming Languages
• Compiler Verification
• Formal Semantics
• +۳ مورد دیگر

Delphine Demange is an Associate Professor in Computer Science at University of Rennes, working in the Epicure research group (formerly Celtique) at IRISA (UMR 6074 / Inria). Her research focuses on formal methods for programming languages and compilers, with particular emphasis on compiler verification, program semantics, and language-based security. Her research interests include formal semantics of programming languages, program transformations, compiler verification, static analysis, computer-aided verification, and language-based security. She has made significant contributions to the formal verification of compiler intermediate representations, particularly static single assignment (SSA) form, and has worked extensively on verified compilation techniques. Her publication record shows a consistent focus on formal verification of programming language constructs and compiler components. Recent work (2023-2025) centers on dataflow circuits and solvers, while earlier work (2015-2020) focused on SSA-based optimizations, garbage collection verification, and information-flow security architectures. Her research demonstrates a strong commitment to applying formal methods to practical compiler and language implementation problems. Her scientific awards include the EAPLS Best PhD Dissertation Award in 2012 and the Gilles Kahn PhD Thesis Award in 2013 for her thesis Semantic Foundations of Intermediate Program Representations . She serves on numerous program committees for major programming languages conferences including CC, CGO, OOPSLA, and POPL, and has held leadership roles such as Program Co-Chair for CC 2021 and General Co-Chair for JFLA 2023 and 2024. She is also a member of the CC Steering Committee (2021-2024). Her teaching portfolio includes undergraduate and graduate courses in programming, algorithmics, compilation, and program verification, with a particular focus on trustworthy programming techniques using deductive verification in Why3.

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.

Peter O'Hearnمشاهده پروفایل

استاد

• Separation Logic
• Program Verification
• Static Analysis
• +۵ مورد دیگر

Peter O'Hearn is a Professor of Computer Science at University College London and Research Scientist at Meta AI (FAIR), renowned for co-developing separation logic which bridges theoretical computer science and industrial-scale program analysis. His dual affiliation exemplifies the synergy between academic research and practical tool development that characterizes his career. His research interests focus on program verification , separation logic , static analysis , and his recent groundbreaking work on incorrectness logic as a complementary approach to traditional verification. O'Hearn pioneered the concept of local reasoning which enables modular verification of large codebases by focusing only on relevant memory regions, forming the theoretical foundation for Facebook Infer. His publications reveal a consistent trajectory from foundational theory to industrial application, with recent work emphasizing Scalable verification for million-line codebases Compositional reasoning for concurrent systems Practical deployment of formal methods in developer workflows Bug-oriented reasoning through incorrectness logic His research consistently addresses the tension between theoretical soundness and practical applicability in program analysis. Notable scientific awards include: 2021 IEEE Cybersecurity Award for Practice 2016 Gödel Prize for separation logic 2016 CAV Award for outstanding contributions POPL 2019 Most Influential Paper Award Fellow of the Royal Society (FRS) Fellow of the Royal Academy of Engineering (FREng) O'Hearn has made substantial contributions to industrial practice through Facebook Infer, which analyzes millions of lines of code daily across Meta's codebase. His work on continuous reasoning integrates formal verification into developer workflows, while his recent focus on incorrectness logic addresses the critical need for effective bug detection in large systems. He maintains active leadership in the programming languages community through conference organization and keynotes.

Xiaokang Qiuمشاهده پروفایل

دانشیار

• Programming Languages
• Software Engineering
• Program Verification
• +۲ مورد دیگر

Xiaokang Qiu serves as Associate Professor in Purdue University's Elmore Family School of Electrical and Computer Engineering, specializing in Programming Languages and Software Engineering with core expertise in program verification, program synthesis, and automated deduction. His research establishes critical bridges between enumerative and deductive synthesis methodologies, developing novel frameworks for verified program generation. Key contributions include string transformation synthesis with concurrency guarantees, bit-vector manipulation optimization via syntax-guided enumeration, and network design automation through comparative learning techniques. This work consistently advances formal verification foundations while addressing practical software engineering challenges. Publication trends from 2017-2025 reveal escalating complexity in synthesis targets—from basic data-structure manipulations to concurrent string operations and network configurations. His approach increasingly integrates machine learning elements with formal methods, demonstrating how query-based learning can drive near-optimal system design while maintaining provable correctness guarantees across diverse computational domains.

Akrivi Krouskaمشاهده پروفایل

استادیار

• Artificial Intelligence
• Multimedia Applications
• Social Networking Services
• +۲ مورد دیگر

Akrivi Krouska serves as Assistant Professor in the Department of Informatics and Computer Engineering at the University of West Attica, Greece, while concurrently holding a PostDoc Researcher position in Intelligent Social Information Systems within the same department. Her academic trajectory spans teaching undergraduate and postgraduate courses at both the University of West Attica and University of Piraeus, complemented by prior experience as a Computer Science Teacher in Greek public schools under the Ministry of Education. Her academic foundation includes: PhD in Informatics from the University of Piraeus MSc in Information Systems from the University of Athens BSc in Informatics from the University of Piraeus Dr. Krouska's research program centers on Artificial Intelligence Systems with emphases on Adaptive Software and VR/AR Systems for educational contexts. Her work bridges Multimedia Applications and Social Networking Services to develop personalized learning technologies, consistently integrating pedagogical theories with computational approaches to enhance user engagement and knowledge transfer. Analysis of her recent publications (2021-2025) reveals dominant themes in AI-driven adaptive learning systems, where fuzzy logic, neural networks, and reinforcement learning enable dynamic personalization. Significant focus exists on virtual/augmented reality applications for skill development, alongside investigations into digital escape rooms and human-AI collaboration frameworks that merge cognitive science with educational technology. Her scholarly recognition includes: Academic performance scholarships Multiple Best Paper awards at international computer science conferences Dr. Krouska actively contributes to academic leadership through editorial roles as Guest Editor for journals including Frontiers in Artificial Intelligence and Entropy, alongside program committee engagements for conferences such as ITS and PCI. Her review activities span numerous publications in the research community. Based at the Laboratory of Educational Technology and e-Learning Systems (K10.124), her work environment supports innovation in educational software design, with particular emphasis on creating immersive, adaptive learning experiences grounded in empirical user studies.

Dimitris Doumanasمشاهده پروفایل

مدرس

• Semantic Web
• Large Language Models
• Search and Rescue (SAR)
• +۳ مورد دیگر

Dimitris Doumanas holds dual roles as an instructor and administrator at the Hellenic Military Training Academy of Telecommunications, while concurrently pursuing an MSc in Intelligent Computer Systems at the University of the Aegean's Department of Cultural Technology and Communication. He graduated with an Integrated Master’s Degree in Electrical and Computer Engineering (specializing in electric power) from the National Technical University of Athens (NTUA) and a MSc in Modern Wireless Communications from the University of Peloponnese. His research focuses on leveraging Large Language Models (LLMs) for semantic modeling in Search and Rescue (SAR) missions, particularly in ontology engineering. He explores collaborative approaches between humans and LLMs to enhance SAR mission planning and execution through structured data frameworks. No scientific awards have been explicitly mentioned. His academic advising and grant activities are not detailed in the provided text. His work intersects military telecommunications training with advanced AI applications in crisis management systems.

Efstathios Stiliarisمشاهده پروفایل

دانشیار مدعو

• Experimental Nuclear Physics
• Medical Imaging
• Artificial Intelligence and Machine Learning
• +۵ مورد دیگر

Efstathios Stiliaris is an Experimental Nuclear Physicist at the Department of Physics of the National & Kapodistrian University of Athens since 2016, where he also served as Acting Head of the Nuclear and Particle Physics Laboratory until 2022. He concurrently holds the position of Adjunct Associate Professor at The Cyprus Institute in Nicosia, Cyprus since 2013, leading the research group at the SPECT Laboratory (SPECT-Lab). His primary research focuses on experimental nuclear physics, medical imaging technologies, and hadronic physics, with a strong emphasis on developing advanced imaging modalities such as SPECT, Compton cameras, and AI-driven solutions for radiological diagnostics. His expertise spans radiation detection technologies, including gamma-camera systems, thermal tomography, and the development of dual-modality contrast agents for SPECT/MRI and PET/MRI applications. He has pioneered novel reconstruction algorithms like RISE and ComptonRec, addressing challenges in image quality enhancement and inverse problem solutions. His work bridges nuclear physics fundamentals with clinical applications, leveraging machine learning for therapeutic and diagnostic advancements. Key contributions include optimizing semi-pixelated scintillation crystals for planar imaging, exploring proton structure through pion photoproduction analyses, and advancing thermal tomography through physics-informed neural networks. His multidisciplinary approach integrates computational physics, material science, and biomedical engineering to address unresolved challenges in medical imaging instrumentation and radiation detection systems. Stiliaris has collaborated on projects involving the CMS Collaboration at CERN and contributed to experimental methodologies for thermal loss estimation in molten salt energy systems. His research group maintains active involvement in both fundamental physics and translational medical imaging technologies, emphasizing lab-to-clinic transitions through rigorous validation protocols and novel experimental setups.

Stergios Anastasiadisمشاهده پروفایل

استاد

• Operating Systems
• Distributed Storage
• File Systems
• +۲ مورد دیگر

Stergios Anastasiadis is a Professor at the University of Ioannina's Department of Computer Science and Engineering, with visiting appointments at Cambridge and EPFL. His research focuses on core systems innovation spanning operating systems, distributed storage, and cloud infrastructure. Research interests include multitenant isolation, concurrent data structures, storage I/O optimization, and filesystem design. His work develops novel approaches to resource management in cloud environments, emphasizing security, efficiency, and reliability in distributed systems. Recent publications reveal sustained focus on storage subsystem optimization, with contributions to journaling techniques, isolation mechanisms, and I/O performance tuning. Key innovations include lock-free concurrency models, client-side storage innovations, and cross-platform memory management techniques. Educational background includes Ph.D. from University of Toronto and international research collaborations. No specific advising relationships or scientific awards are documented. Laboratory affiliations include distributed systems research groups at University of Ioannina, with collaborations extending to cloud computing initiatives across Europe.

Cezara Drăgoiمشاهده پروفایل

پژوهشگر

• Static Analysis
• Formal Verification
• Distributed Systems
• +۳ مورد دیگر

Cezara Drăgoi serves as a Researcher (Chargé de Recherche) at INRIA with dual affiliation at École Normale Supérieure's Department of Computer Science and CNRS. She maintains active roles in major programming language conferences including PLDI, POPL, and SPLASH where she contributes to program committees and steering groups, demonstrating her standing in the formal methods community. Her research program focuses on automated formal verification through abstraction techniques, specifically targeting data structures across the spectrum from sequential implementations to distributed systems. Drăgoi develops logic-based frameworks that enable Hoare-style reasoning about content and consistency properties, with particular expertise in identifying suitable fragments of first-order and separation logic for static analysis. Her work bridges theoretical foundations with practical verification challenges in both single-threaded and concurrent environments. Publication trends reveal a clear evolution from foundational work on shape analysis for sequential data structures toward increasingly complex distributed systems verification. This progression culminated in her development of PSync - a domain-specific language for fault-tolerant distributed algorithms with integrated verification capabilities - demonstrating her ability to create practical abstractions that make verification tractable for real-world systems. Steering Committee Member, Static Analysis Symposium (SAS 2025) Program Committee Co-Chair, VMCAI 2023 Multiple program committee roles at PLDI (2017, 2020), POPL (2016-2023), ECOOP (2019), and SPLASH (2020-2024) Session chair for SAS 2021 and VMCAI 2019 Drăgoi actively mentors emerging researchers through internship and PhD opportunities in specialized areas including Byzantine consensus verification (SABC project) and refinement techniques for fault-tolerant asynchronous code (RFTA project). She has developed two influential verification tools: CELIA (a Frama-C plugin for C program verification handling both data and structural properties) and PSync (a language with verification engine for distributed algorithms). Her teaching includes graduate-level courses on abstract interpretation at Université Paris Diderot. She leads verification research within the INRIA/ENS collaboration, focusing on making static analysis tractable for complex distributed systems through innovative synchronous programming abstractions. Current work targets verification challenges in consensus algorithms and communication-closed protocols, with emphasis on bridging theoretical soundness with practical applicability.

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.

Bradford L. Chamberlainمشاهده پروفایل

استاد مدعو

• Parallel Computing
• Programming Languages
• High-Performance Computing
• +۳ مورد دیگر

Bradford L. Chamberlain is a Distinguished Technologist at Hewlett Packard Enterprise and an Affiliate Professor in the Paul G. Allen School of Computer Science and Engineering at the University of Washington. With over two decades of experience in high-performance computing, he has made significant contributions to parallel programming languages, particularly as the technical lead of the Chapel programming language project since 2006. His educational background includes: Ph.D. in Computer Science & Engineering from the University of Washington (2001) M.S. in Computer Science & Engineering from the University of Washington (1995) B.S. in Computer Science from Stanford University (1992) Chamberlain's research focuses on improving programmer productivity for high-performance computing through innovative language design, compiler techniques, and runtime systems. His work centers around the Chapel programming language, which aims to provide a multiresolution programming model that allows developers to express parallelism at varying levels of abstraction while maintaining performance across diverse architectures from laptops to supercomputers. His research spans parallel language design, compiler optimization, data distribution strategies, locality management, and performance portability. Chapel builds on his earlier work with the ZPL language, where he developed region-based approaches for sparse parallel computing. His publication record over the past fifteen years demonstrates a consistent focus on practical approaches to parallel programming, with recent work emphasizing data locality, heterogeneous architectures, and performance portability. His articles show an evolution from foundational language design concepts to increasingly sophisticated implementations addressing real-world HPC challenges, particularly in the areas of domain mapping, iterator abstractions, and memory management for large-scale systems. As a Distinguished Technologist at HPE, Chamberlain has played a key role in growing the Chapel project from a modest effort to one involving nearly 20 full-time developers. His leadership has positioned Chapel as one of the most promising languages for addressing the challenge of productive parallel programming at scale. He has secured funding, established collaborations with academia and industry, and performed extensive outreach through talks, tutorials, and research visits. At the University of Washington, Chamberlain serves as a liaison between academia and industry, participating in student committees, teaching graduate courses like Parallel Computation, and fostering communication between the department and HPE/Cray. His teaching experience spans from undergraduate data structures to graduate seminars on parallel programming environments. He has also volunteered as a tutor for underrepresented students in computer science.

• Memory management
• Concurrent programming
• Formal verification
• +۴ مورد دیگر

Jaehwang Jung is a researcher affiliated with Korea Advanced Institute of Science and Technology (KAIST) in South Korea and Rebellions Inc. They have been actively publishing research papers at premier programming languages conferences including PLDI and POPL from 2020 through 2025. Dr. Jung's research focuses on memory management systems and formal verification techniques for concurrent programming. Their work primarily centers around developing and verifying memory reclamation techniques using separation logic, with particular emphasis on pointer-based and epoch-based approaches. They have made significant contributions to the understanding of relaxed memory models and their implications for concurrent data structure verification. Analysis of their publication history reveals a clear progression from foundational work on memory reclamation (2020) toward increasingly sophisticated verification techniques for concurrent systems. Their research spans both theoretical aspects of separation logic and practical implementations of memory management systems, demonstrating strong connections between formal methods and systems programming. As an active member of the programming languages community, Dr. Jung has served as an Artifact Evaluator for POPL 2021 and continues to contribute to advancing the state of the art in concurrent program verification.

• Molecular Ecology
• Population Genomics
• Microbial Ecology
• +۶ مورد دیگر

Spiros Papakostas serves as Assistant Professor of Microbial and Molecular Ecology at the International Hellenic University's Department of Science and Technology since 2012, with concurrent roles as Principal Investigator at Aristotle University of Thessaloniki's Department of Biology since 2022. His educational background includes: B.Sc. in Biology from Aristotle University of Thessaloniki Ph.D. in Population Genetics and Molecular Ecology from Aristotle University of Thessaloniki (2008) Specializing in Molecular Ecology and Population Genomics, his research examines eco-evolutionary dynamics through genomic, epigenetic, and metagenomic approaches. Key methodologies include proteomics, functional genomics, and next-generation DNA sequencing applied to aquatic organisms and microbial communities. His work bridges fundamental evolutionary theory with applied environmental challenges like biodiversity monitoring and sustainable aquaculture. Publications reveal a strong focus on environmental adaptation mechanisms, with recent work emphasizing eDNA applications, thermal response epigenetics, and hatchery-induced evolution. Research spans both theoretical frameworks (e.g., growth rate hypothesis testing) and practical conservation applications. Current research leadership includes: HORIZON project (2023-2026): Developing eDNA reference libraries for European aquatic biodiversity monitoring HFRI project (2021-2025): Systems biology modeling for Mediterranean aquaculture sustainability Teaching responsibilities cover advanced genomic techniques including Data Science, Metagenomics, Population Genomics, and Next Generation DNA Sequencing.

• Theoretical Computer Science
• Programming Languages
• Formal Methods
• +۵ مورد دیگر

Nikos Tzevelekos is a Senior Lecturer at Queen Mary University of London's School of Electronic Engineering and Computer Science, affiliated with the Theory Group and the Centre for Fundamental Computer Science. He holds a PhD from the University of Oxford's Department of Computer Science and previously worked as a postdoctoral researcher there. His primary research interests include theoretical computer science, mathematical models of computation, programming languages, and formal methods. He explores game semantics and category theory to develop tools for program analysis and verification. Education: PhD in Computer Science, University of Oxford Research Interests: Dr. Tzevelekos focuses on foundational aspects of computation, including program semantics, automata over infinite alphabets, and the application of formal methods to software verification. His work bridges abstract theoretical models (e.g., game semantics) with practical tools for analyzing and verifying software systems. Awards: 2023: Distinguished Paper Award at LICS Grants & Advising: Lead researcher on the Innovate UK-funded grant Mokapot/Millr: Next Generation Cloud Computing Infrastructure (2019–2020). Labs/Teams: Member of the Theory Group at Queen Mary, contributing to the Centre for Fundamental Computer Science. Collaborates on projects involving automata theory, program equivalence, and formal verification techniques.

• High-Performance Computing
• Parallel Processing
• Code Optimization
• +۳ مورد دیگر

Georgios Goumas is an Associate Professor in the Division of Computer Science at the School of Electrical and Computer Engineering, National Technical University of Athens. His research focuses on high-performance computing, parallel systems, and efficient resource management for modern computing platforms. Research domains: Serverless computing scalability and memory management Quantum algorithm design for classification Virtual memory optimization Hardware acceleration for sparse computations NUMA-aware concurrent data structures Recent innovations include DaeMon for disaggregated systems, eBPF-based Linux memory management, and multi-GPU matrix multiplication optimizations. Publications demonstrate consistent advancement in low-level system efficiency across quantum, serverless, and heterogeneous computing domains. Dr. Goumas teaches undergraduate and graduate courses on Operating Systems, Parallel Processing, and Code Optimization Techniques. His lab develops open-source tools like Paralia runtime for auto-tuning linear algebra and FPGA-based accelerators for scientific computing.