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

Duong Hieu Phan is a Professor at Télécom Paris (Institut Polytechnique de Paris) since 2020, leading the Cybersecurity and Cryptography (C²) research team within the Laboratoire Traitement et Communication de l'Information (LTCI). Previously, he held academic positions at University of Limoges (2015–2020) and University of Paris 8-13 (2007–2015). He obtained his Ph.D. in Cryptography from École Normale Supérieure under David Pointcheval, followed by postdoctoral research at University College London and a research engineer role at France Telecom R&D. His research focuses on provable security for cryptographic schemes, including public-key encryption, digital signatures, broadcast encryption, traitor tracing, functional encryption, and privacy-preserving systems. Notable contributions include foundational work on anamorphic cryptography, multi-client functional encryption, and zero-knowledge proofs of quantumness. Dr. Phan has served in leadership roles such as General Co-Chair of ASIACRYPT 2016 and membership in the ASIACRYPT Steering Committee since 2013. He actively participates in international conferences as a program committee member and has contributed to initiatives like the CNRS LIA ForMath Vietnam-Singapore. His publications span over 70 works in top-tier venues like CRYPTO, EUROCRYPT, ASIACRYPT, and IACR journals, emphasizing theoretical advancements and practical security solutions. His recent work explores quantum-resistant cryptography, privacy-preserving protocols, and decentralized systems.

• Cryptography
• Provable Security
• Public-Key Encryption
• +۷ مورد دیگر

Jeremie J. Viennot is a permanent CNRS researcher at the Néel Institute in Grenoble since 2020, affiliated with the QUEST department (Quantum Electronics, Surfaces and Spintronics) and the Quantum Electronic Circuits Alps (QuantECA) team. His experimental work focuses on light-matter interactions in quantum circuits and nanostructures at millikelvin temperatures and microwave frequencies. His academic background includes a PhD from École Normale Supérieure (Paris) under Takis Kontos, followed by postdoctoral research at JILA (NIST & University of Colorado Boulder) with Konrad Lehnert. Viennot's research investigates fundamental physics of phonons, spins, and photons to engineer quantum devices. Current priorities include developing quantum acoustic systems for microwave-to-optics transduction and spin-phonon interactions for quantum control of spin qubits. His methodology combines in-house chip fabrication with ultra-low-temperature measurements. Analysis of his 15 most recent publications (2014-2025) reveals consistent innovation in quantum acoustics and hybrid circuit QED. Key trends include phonon Fock state manipulation, spin-photon coupling, Kondo physics in quantum dots, and quantum transduction architectures—demonstrating progression from fundamental phenomena to device engineering. Scientific recognition: No specific awards documented in source material While student mentoring details are absent, his leadership in quantum circuit experiments implies advisory roles. Research is conducted within the QuantECA team using the institute's Nanofab platform and dilution refrigerators, with funding likely secured through competitive CNRS mechanisms. The Néel Institute's infrastructure enables his work on superconducting quantum circuits, particularly through the QuantECA team's specialized facilities for nanofabrication and millikelvin measurements, supporting his focus on quantum device development.

• Quantum Physics
• Quantum Computing
• Superconducting Circuits
• +۳ مورد دیگر

Charles Baroud is a Professor at École Polytechnique and Head of the Pasteur-Polytechnique Joint Research Group on Physical Microfluidics and Bioengineering at the Institut Pasteur, Paris, within the Genomes and Genetics Department. His interdisciplinary research bridges physics, engineering, and biology, leveraging microfluidic technologies to study cellular systems at single-cell resolution. Education: B.Sc., MIT (1994) Ph.D., University of Texas at Austin (2001) Post-doctoral training, École Normale Supérieure, Laboratoire de Physique Statistique (2002) His research focuses on quantitative biology , developing microfluidic platforms to investigate antibiotic resistance in bacterial populations , 3D cell culture (spheroids and organoids) , and cancer immunotherapy using organ-on-a-chip models . His lab has pioneered droplet-based microfluidic systems for encapsulating and monitoring single cells under controlled conditions, enabling precise measurements of cellular heterogeneity and response dynamics. His recent publications (2023–2025) reveal a strong trend in applying microfluidics to stem cell biology , developmental hematopoiesis , and T-cell cytotoxicity . Notably, his work on the APC mutation’s impact on T-cell engagement in tumor killing and on SUMOylation in embryonic stem cells has been published in high-impact journals such as PNAS , Science Advances , and Cell Reports . Scientific Recognition: Co-founder of Stilla Technologies (2013), demonstrating successful technology transfer. Supervision of multiple PhD students and postdocs, several of whom have won the École Polytechnique thesis prize. Former group members have founded three startup companies and secured faculty positions internationally. Baroud leads several ongoing projects including Measuring single-cell susceptibility to antibiotics , Quantitative microbiology , 3D cell culture: spheroids and organoids , and Technology transfer: Making 3D cell culture available to all . His lab is part of broader transversal initiatives at Institut Pasteur, including the IP Stem Cell Initiative , Quantitative Biology program, and Antimicrobial Resistance efforts. He is actively involved in mentoring and research leadership, with no indication of retirement or part-time status. While no specific scientific awards are listed in the text, his influence is evident through the success of his trainees and the translational impact of his work.

• Microfluidics
• Bioengineering
• Quantitative Biology
• +۷ مورد دیگر

Guillaume Dumenil is a Professor and Principal Investigator at the Pasteur Institute in Paris, France, where he leads the Pathogenesis of Vascular Infections Unit within the Cell biology and infection department. His research is funded by prestigious grants, including an ERC Advanced Grant (DESTOP) and a previous ERC Starting Grant. He is a leading expert on the pathogenesis of Neisseria meningitidis , the bacterium responsible for meningitis and septicemia. His research focuses on understanding how N. meningitidis colonizes human blood vessels, evades the innate immune system (particularly neutrophils), and causes vascular damage. His lab employs a highly multidisciplinary approach, integrating microbiology , cell biology , vascular biology , structural biology (using Cryo-EM and cross-linking mass spectrometry), and physics . Key to his research is the use of innovative models, such as a human skin xenograft model in mice and 3D microfluidics-based vessel-on-a-chip systems, to study infection in a physiologically relevant context. His recent publications (2021–2024) reveal detailed mechanisms of bacterial virulence, including the structural basis of type IV pili function and immune escape, the dynamics of bacterial adhesion under shear stress, and the identification of bacterial safe havens within arterioles. His work bridges fundamental science with therapeutic applications, aiming to develop new preventive and treatment strategies. His scientific achievements have been recognized with several major awards: ERC Advanced Grant (2022) Grand prix Fondation NRJ – Institut de France (2021) Pasteur Vallery Radot Prize (2019) ERC Starting Grant (2012) Professor Dumenil leads an active research group, mentoring numerous PhD students and post-doctoral fellows. His lab has secured significant grant funding, including multiple ongoing projects like DESTOP and PVMOC, and has produced influential research that is also communicated to the public through videos, media, and science festivals. The lab utilizes advanced technological platforms, including the Cytometry Platform and microfluidics, and is part of larger collaborative initiatives at the Pasteur Institute such as the Labex IBEID (Integrative Biology of Emerging Infectious Diseases).

• Microbiology
• Host-pathogen interactions
• Vascular biology
• +۷ مورد دیگر

Laurence Mulard is a leading researcher at the Institut Pasteur in Paris, France, where she serves as Head of Structure and Principal Investigator in the Carbohydrates and Bioconjugates group under the Dynamics of Host-Pathogen Interactions. She is based in the Unité de Chimie des Biomolécules and leads multiple cutting-edge projects at the intersection of glycobiology, organic chemistry, and vaccinology. Position: Head of Structure, Principal Investigator Institution: Institut Pasteur Research Unit: Unité de Chimie des Biomolécules Research Group: Carbohydrates and Bioconjugates Focus Areas: Glycoconjugate vaccines, synthetic carbohydrate chemistry, host-pathogen interactions, diagnostics Her research centers on the design and synthesis of synthetic carbohydrate-based conjugate vaccines, particularly targeting Shigella species causing shigellosis. She pioneered the development of SF2a-TT15, the first-in-human synthetic glycan-based conjugate vaccine candidate against Shigella flexneri 2a, which has demonstrated safety and immunogenicity in clinical trials. Her work also extends to Alzheimer's disease diagnostics via protein conjugates and explores chemical probes and therapeutic conjugates. She employs multidisciplinary strategies combining chemical synthesis, enzymatic engineering, and immunological evaluation. The most recent 15 publications highlight a consistent focus on glycoconjugate vaccine development, structural analysis of complex glycans, and synthetic methodologies for bacterial oligosaccharides. Key themes include the scalable synthesis of vaccine candidates, chemoenzymatic diversification of glycan structures, and the transition from preclinical to clinical evaluation of synthetic vaccines. Her work bridges fundamental chemistry with translational applications in infectious disease prevention. GlycoShig1: Synthetic carbohydrate-based conjugates as Shigella vaccine components CarbUniVax: Multidisciplinary project at the frontier of Glycosciences and Vaccinology FlexBiVac: Proof of concept for multivalent polysaccharide-based vaccines Synthesis of peptide-protein conjugates for therapeutics and diagnostics Laurence Mulard actively mentors PhD students and post-doctoral researchers, contributing to the next generation of scientists in glycosciences and vaccinology. She has secured significant research funding and led projects under GMP conditions, resulting in clinical-grade vaccine batches. Her team includes research engineers, technicians, and students, reflecting a robust and collaborative research environment. She is associated with key institutional initiatives including the Center for Vaccinology and Immunotherapy (CVI) and the Drug Discovery & Screening at Institut Pasteur (ATC-DDS), positioning her work within broader therapeutic development efforts. Her laboratory is equipped with advanced instrumentation such as an NMR spectrometer (Bruker Avance 400 MHz), supporting structural characterization of complex molecules.

• Glycobiology
• Glycochemistry
• Vaccinology
• +۱۴ مورد دیگر

Tatiana Starikovskaya is an Assistant Professor in the Talgo team at the Computer Science Department of École normale supérieure (ENS Paris), France. Her work focuses on the design and analysis of algorithms for string processing, space-efficient computation, and complexity theory, with applications in bioinformatics and data security. Education : PhD in Mathematics (2013) and MSc in Mathematics (2009) from Lomonosov Moscow State University; MSc in Data Science (2009) from Moscow Institute of Physics and Technology and Yandex School of Data Analysis. Her research explores the intersection of algorithm theory and practical applications, particularly in streaming models , probabilistic text indexing , and clustering of sequence data . Key themes include handling wildcards , k-mismatch problems , and edit distance under space constraints. Current projects include PARSe (ANR-20-CE48-0001) , aiming to develop ultra-efficient algorithms for noisy string data, and AlgoriDAM (ANR-19-CE48-0016) , focusing on algorithmic theory for modern data models. She co-supervises PhD students Gabriel Bathie and T. El Ghazi, with collaborations spanning institutions like University of Wrocław and IRISA. She has served on program committees for major conferences (STACS, ESA, ICALP, CPM) and organized the CPM Summer School (2023) and New Horizons of Stringology (2024) workshop at Cirm. Teaching roles include courses at ENS Paris (Algorithmique, Programming for Non-CS Students) and Higher School of Economics (Moscow).

• Algorithms on strings
• Small-space algorithms
• Data structures
• +۴ مورد دیگر

Srdjan Krstic serves as a senior researcher (Oberassistent) in the Information Security Group under Prof. David Basin at ETH Zurich's Department of Computer Science since May 2020, having previously held a postdoctoral researcher position within the same group. His academic trajectory spans institutions including Politecnico di Milano and the University of Niš. Education highlights: BSc in Electrical Engineering and Computer Science from University of Niš MSc in Engineering Computing Systems from Politecnico di Milano PhD from Politecnico di Milano (2016) supervised by Prof. Carlo Ghezzi at DeepSE Research Group Research Interests: Dr. Krstic specializes in specification and verification methodologies for complex software systems, applying formal methods to ensure correctness and reliability. His work intersects software engineering, information security, and formal verification, with emphasis on mathematical rigor for critical system validation. Current projects likely address evolving security challenges in distributed systems. Scientific Awards: No specific awards documented in the provided text Advising and Grants: He actively solicits student contact for research collaboration in verification and security fields, though no named advisees or funding sources are listed. His role suggests ongoing supervision of graduate projects within ETH Zurich's academic framework. Labs and Teams: Core member of ETH Zurich's Information Security Group, contributing to the Department of Computer Science's mission in secure system development. The group focuses on protocol verification and security-critical software analysis under Prof. Basin's leadership.

• Software Verification
• Formal Methods
• Information Security
• +۱ مورد دیگر

Roberto Blanco is a researcher at Inria specializing in programming languages, compilers, formal verification, and security, with contributions to premier conferences including POPL and ML. His research interests include: Programming Languages Compilers Formal Verification Security Recent work demonstrates a cohesive focus on applying formal methods to critical systems: compiler correctness verification ensures reliable code translation, while secure compilation research addresses vulnerability prevention in low-level code. His 2020 POPL publication establishes trace-based security guarantees for compilers, and his 2018 ML work pioneers verified functional proof checkers for theorem-proving systems. No scientific awards are documented in the provided materials. Details regarding student advising, grant funding, or laboratory affiliations are unavailable in the source texts.

• Programming Languages
• Compilers
• Formal Verification
• +۱ مورد دیگر

Aslan Askarov is an Associate Professor at Aarhus University, affiliated with the Department of Computer Science. His research bridges computer security and programming languages, focusing on formal methods for robust security guarantees. Current Projects : Troupe: A programming language for concurrent/distributed programming with dynamic information-flow control DenIM: Protocol for secure instant messaging with metadata privacy Teaching : Fall 2024: Compilers course Spring 2024: Language-Based Security course (link to 2023 version) His recent publications highlight trends in programming language security, formal verification of virtual machine safety, oblivious execution for reactive systems, and foundational work on noninterference and declassification. These align with subfields like separation logic, metadata privacy, type systems, and traffic analysis. Professional activities include program committee roles for PLDI 2025, CSF 2025, and prior conferences including PriSC, POST, and PLAS. He also co-chaired FCS 2017 and Nordsec 2019.

• Computer Security
• Privacy
• Information-Flow Analysis
• +۹ مورد دیگر

Ken Friis Larsen is an Associate Professor at the Department of Computer Science (DIKU), University of Copenhagen, specializing in programming languages, security, privacy, and functional programming. He contributes to projects like HIPERFIT (high-performance financial computing) and WallViz (visualization tools). Research Focus : Language design, formal methods, functional programming (Standard ML, Haskell, OCaml, Scheme), secure compilation, and performance optimization. Technical Leadership : Maintains Moscow ML (Standard ML implementation) and mGTK (functional GUI library). Key Publications : 2020: Hermes (secure compilation without side-channels) 2019: F (music composition language) 2016: Redomap (GPGPU performance in Futhark) Additional Contributions : Co-developed PaML (parser combinators in SML) Active participant in ICFP Programming Contest (2005, 2008, 2017) Advocate for rigorous testing practices (QuickCheck, Criterion) and type-driven design

• Programming Languages
• Security
• Privacy
• +۷ مورد دیگر

Lars Birkedal is a Professor in the Department of Computer Science at Aarhus University, Denmark. He is a leading researcher in programming languages and formal methods with extensive contributions to the field over the past decade. His work appears consistently in top-tier programming languages conferences including POPL, ICFP, and PLDI, where he has served in leadership roles such as Program Chair and committee member. Birkedal's research primarily focuses on the theoretical foundations of program verification, with significant contributions to separation logic, type theory, and formal methods for concurrent and probabilistic systems. His work bridges theoretical computer science with practical verification challenges, particularly through the development and application of the Iris framework for higher-order concurrent separation logic. He has pioneered approaches for reasoning about probabilistic programs, capability-based security, and memory models for modern architectures. Analysis of Birkedal's recent publications (2023-2025) reveals a continued focus on advancing separation logic for increasingly complex systems. His work shows a clear trajectory from foundational theoretical work toward practical verification of real-world systems like WebAssembly while maintaining rigorous formal guarantees. There's a notable emphasis on probabilistic programming, error bounds analysis, and distributed systems verification in his most recent contributions. As a faculty member at Aarhus University, Birkedal has built a strong research group focused on programming language theory and formal verification. His leadership in the programming languages community is evident through his repeated service on program committees for major conferences and his mentorship of numerous graduate students and junior researchers, though specific student names aren't listed in the available information. His research has likely been supported by significant grants from Danish and European funding agencies, given the sustained output and international collaborations evident in his publication record.

• Programming Languages
• Type Theory
• Separation Logic
• +۴ مورد دیگر

Letterio Galletta is an Assistant Professor in Computer Science at IMT School for Advanced Studies Lucca, working within the SySMA research unit. His research focuses on language-based security, leveraging programming languages, compilers, and formal verification to address security challenges. Affiliation: IMT School for Advanced Studies Lucca Research Unit: SySMA He has contributed to security solutions for adaptive software, Internet of Things, and firewall configurations. His recent work includes research on cryptographic constant-time preservation through obfuscation. 2024: PriSC publication on cryptographic obfuscation 2023: PriSC publication on translation validation 2020: PriSC publication on enclave security He serves on program committees for security conferences like PriSC and contributes to academic initiatives through research and mentorship.

• Language-based Security
• Programming Languages
• Compilers
• +۴ مورد دیگر

Pierpaolo Degano is affiliated with the Università di Pisa in the Department of Computer Science. He actively contributes to conferences like POPL and co-located events such as PriSC (Principles of Secure Compilation). Research focus: Secure compilation, concurrency, and formal verification. Key contributions: Publications on enclave security and translation validation for security properties. His work intersects theoretical and applied computer science, particularly in systems security and compiler design. While his specific awards or student advising history are not detailed in the provided texts, his participation in program committees (e.g., POST 2019, PriSC 2019) highlights his engagement in the academic community. Recent publications emphasize practical solutions for secure, high-concurrency environments.

• Computer Security
• Secure Compilation
• Formal Verification
• +۱ مورد دیگر

Jan Tobias Mühlberg is a researcher at imec-DistriNet within the Department of Computer Science at KU Leuven, Belgium, focusing on hardware-assisted security mechanisms and secure compilation techniques. His work bridges theoretical programming language principles with practical systems security implementations. His research interests center on Computer Security, Secure Compilation, and Trusted Execution Environments, with specific expertise in enclave protection during interrupt handling. This involves addressing vulnerabilities in technologies like Intel SGX where external interrupts compromise isolation guarantees, requiring novel compiler-level mitigations and formal verification approaches. His documented work includes the 2020 publication "Securing Interruptible Enclaves" presented at the Principles of Secure Compilation workshop (PriSC) during POPL 2020, which analyzes interrupt-related threats to enclave integrity and proposes compilation strategies for maintaining security in interruptible contexts. This research intersects programming language theory, systems security, and hardware architecture. He operates within the imec-DistriNet research group at KU Leuven, a leading European laboratory specializing in distributed systems security, privacy-enhancing technologies, and formal methods for security-critical systems. The group maintains strong industry collaborations with semiconductor manufacturers and security-focused technology firms.

• Computer Security
• Secure Compilation
• Trusted Execution Environments
• +۳ مورد دیگر

Michael Hicks is a Professor in the Department of Computer and Information Science at the University of Pennsylvania and an Amazon Scholar. Previously, he was a Professor at the University of Maryland (2002-2021) and Senior Principal Scientist at Amazon Web Services (2022-2025). He co-founded the Programming Languages research lab (PLUM) at Maryland and was its director, as well as Director of the Maryland Cybersecurity Center (MC2). He is a Fellow of the Association of Computing Machinery (ACM), former Chair of ACM SIGPLAN, and Editor-in-Chief of Proceedings of the ACM on Programming Languages (PACMPL). His research focuses on programming languages and their application to software security , quantum programming , and formal verification . He has pioneered dynamic software updating techniques, developed tools like Checked C for memory safety, and co-designed the Cedar authorization policy language at AWS. In quantum computing, he works on verified compilers like VOQC and Qunity to ensure reliability and correctness. His recent work trends include quantum programming languages , secure multi-party computation (e.g., Wysteria , Symphony ), and fuzz testing methodologies . He has contributed to formal verification for quantum programs and language-based security frameworks. Scientific Awards include: ACM Fellow He has advised numerous PhD and Master’s students , including James Parker, Andrew Ruef, Kesha Hietala, and Aseem Rastogi, who now hold academic and industry positions. His lab, PLUM , has been instrumental in advancing programming languages research.

• Programming Languages
• Computer Security
• Quantum Computing
• +۷ مورد دیگر