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

Joanna C. S. Santos is an Assistant Professor at the University of Notre Dame's Department of Computer Science and Engineering. She leads the Security and Software Engineering research lab (S²E) and focuses on Software Engineering, Security, and Program Analysis. Her work bridges empirical studies with practical tool development. PhD in Computing and Information Sciences (Rochester Institute of Technology) M.Sc. in Software Engineering (Rochester Institute of Technology) B.Sc. in Computer Engineering (Federal University of Sergipe) Her research spans Software Security (vulnerability detection, ReDoS), Code Generation (LLM evaluation, benchmarking), and Program Analysis (taint tracking, call graphs). Recent articles show a strong focus on LLM-generated code quality and quantum computing applications. Scientific Awards : 2023 - Distinguished Reviewer (ESEC/FSE) 2020 - Research Pitch Winner (JOBS @MICRO) 2017 - Best Paper (ICSA) 2014 - CAPES Scholarship 2013 - ERBASE 3rd Place She actively contributes to conference committees (OOPSLA, ICSE, SCAM) and collaborates across institutions. Her lab S²E drives research in secure software development and empirical cybersecurity validation.

• Software Engineering
• Software Security
• Program Analysis
• +۴ مورد دیگر

Clément Pit-Claudel is an Assistant Professor at École Polytechnique Fédérale de Lausanne (EPFL), leading the SYSTEMF lab focused on programming languages, formal methods, and systems engineering. His work bridges mathematical formalisms with practical system development to achieve full assurance in critical software and hardware. PhD in Computer Science from MIT (2016) William A. Martin Memorial Thesis Award recipient Former Senior Applied Scientist at Amazon AWS Teaching accolades including the Frederick C. Hennie III Teaching Award Research spans three axes: extensible proof-producing compilers for performance-critical systems, verified hardware compilation with cycle-accurate semantics, and interactive theorem prover tooling for democratizing verification technology. Key projects include Kôika for hardware verification, Alectryon for Coq proof visualization, and Fiat for correct-by-construction program synthesis. Recent publications address JavaScript regex verification (ICFP 2024), cryptographic server integration (PLDI 2024), and hardware simulation optimization (ASPLOS 2021). Articles demonstrate expertise in functional-to-imperative translation, domain-specific compiler extensions, and hardware-software co-verification. Scientific contributions recognized through: Distinguished artifact award (SLE 2020) MIT William A. Martin Thesis Award Frederick C. Hennie III Teaching Award Teaching philosophy emphasizes hands-on lab instruction , oral assessment , and automated tooling . Courses taught include Software Construction (undergraduate) and Interactive Theorem Proving (graduate) at EPFL. Research service includes program committee roles at Dafny, POPL, and SPLASH conferences.

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

Pierrick Lotton serves as a CNRS Research Director at Le Mans University's Institute of Acoustics (LAUM), a joint research unit between CNRS and the university. He leads critical work within LAUM's Transducers team, focusing on fundamental and applied research in electroacoustics and thermoacoustics. His institutional affiliation places him at France's premier acoustics research laboratory, which maintains extensive facilities for acoustic measurements, ultrasonic experimentation, and transducer development across multiple specialized domains including materials science, opto-acoustics, and bioacoustics. Lotton's research program centers on two interconnected pillars: electroacoustics and thermoacoustics. His electroacoustic investigations pioneer advanced modeling, development, and characterization of audio transducers with particular emphasis on nonlinear behaviors in loudspeakers and electric guitar pickups. Simultaneously, his thermoacoustic research explores acoustic refrigeration systems, complex couplings between acoustic and thermal energy fields, and transient nonlinear phenomena. This dual focus enables innovative cross-pollination between audio engineering and thermal physics, driving advancements in both fundamental understanding and practical applications of acoustic energy conversion. Analysis of his 2019-2024 publications reveals a consistent trajectory in transducer physics, particularly MEMS-based piezoelectric speakers, voice coil dynamics in magnetic environments, and digital acoustic projection systems. His work demonstrates exceptional methodological diversity spanning analytical modeling, experimental validation, and educational innovation. Notable contributions include the ASKNOWN project's open-access acoustics courseware and breakthroughs in understanding transducer nonlinearities for both consumer audio and specialized applications like fish sound localization. No major scientific awards were documented in the available institutional materials, though his sustained publication record in high-impact journals and presentations at European Acoustics Association forums indicate significant peer recognition. His collaborative research network spans France, Germany, Italy, and the Czech Republic, reflecting strong international engagement. Lotton's academic supervision activities aren't explicitly detailed, but his educational initiatives like the ASKNOWN project demonstrate commitment to pedagogy. His research is supported through LAUM's institutional framework and collaborative projects including European initiatives and ANR-funded programs. Current work appears concentrated on advancing MEMS transducer technology, refining thermoacoustic cooling systems, and developing next-generation educational resources for acoustics. As a core contributor to LAUM's Transducers team, Lotton operates within one of Europe's leading acoustics laboratories. His current projects align with LAUM's strategic focus on transducer innovation and thermoacoustic applications, positioning him at the forefront of both theoretical acoustics research and practical engineering solutions. The laboratory's comprehensive infrastructure supports his work from fundamental wave propagation studies to applied device development.

• Electroacoustics
• Thermoacoustics
• Audio Transducers
• +۴ مورد دیگر

Clément Delcamp is a CNRS Researcher at the Institut des Hautes Etudes Scientifiques (IHES), focusing on theoretical physics at the intersection of condensed matter and algebraic topology. He was previously a Junior Professor at IHES since 2023, following postdoctoral fellowships at Ghent University, the Max Planck Institute for Quantum Optics (Munich), and the Max Planck Institute for the Physics of Complex Systems (Dresden). His academic journey includes a PhD from the University of Waterloo and the Perimeter Institute for Theoretical Physics, preceded by an MSc in Quantum Fields and Fundamental Forces at Imperial College London (2013–2015). Education: MSc in Quantum Fields and Fundamental Forces (Imperial College London, 2015), PhD (University of Waterloo & Perimeter Institute, 2018) His research explores the algebraic structures underlying quantum lattice systems, emphasizing generalized symmetries, dualities, and topological field theory applications. He has pioneered tensor network methods to study electromagnetic duality in (3+1)d systems and non-abelian Kramers-Wannier dualities in generalized Ising models. His work bridges abstract category theory with concrete physical models, particularly in topological phases and renormalization group techniques. Recent publications highlight his contributions to quantum lattice duality frameworks, defect calculus, and tensor network-based renormalization. His 2024 paper with Lootens and Verstraete demonstrates optimized DMRG simulations for gapped phases via dual models. At IHES, he leads research on non-invertible symmetries and solicits postdocs in theoretical physics. Scientific Awards: Walter Zellidja Scholarship (French Academy), FWO Postdoctoral Fellowship Delcamp's affiliations span leading institutions including the Perimeter Institute, Max Planck Institutes, Ghent University, and IHES. He actively promotes collaboration through seminars and lectures at venues like the Collège de France, Les Houches, and Queen Mary University.

• Condensed Matter Theory
• Algebraic Topology
• Topological Field Theory
• +۶ مورد دیگر

Jean Auriol is a researcher affiliated with the Signals and Systems Laboratory , focusing on advanced control theory and partial differential equations (PDEs). His work spans robustness, hyperbolic systems, and infinite-dimensional systems, often addressing real-world applications in engineering and physics. Research Interests: PDEs and Control Theory Robustness in Dynamical Systems Hyperbolic Systems and Networked Control Stochastic and Delayed Systems Recent Publications: Stability analysis of triangular hyperbolic systems Smart traffic management for autonomous vehicles Stochastic hyperbolic PDE stabilization Minimum time control of coupled PDEs Neural network-based parameter estimation for drilling systems

• PDEs
• Control Theory
• Robustness
• +۲ مورد دیگر

Luc Segoufin is a Research Professor at INRIA (French National Institute for Research in Computer Science and Automation), affiliated with the Department of Computer Science at École Normale Supérieure (ENS) in Paris. He leads the VALDA research team, focusing on theoretical computer science foundations. His research spans: Database theory: Query answering, consistency, and enumeration complexity Logic and automata: Finite model theory, automata over data structures Computational complexity: Fine-grained analysis and lower bounds Formal methods: Verification and logic-based modeling His recent publications (2022–2024) concentrate on: Dichotomy theorems for query answering under constraints Constant-delay enumeration algorithms for structured data Decidability in logic fragments over trees and graphs Connections between automata, algebra, and complexity No scientific awards are mentioned in available sources. He collaborates extensively within the VALDA team and international researchers on projects involving database theory, logic, and automata. No student advising details are provided.

• Database theory
• Verification
• Logic in computer science
• +۳ مورد دیگر

Clément Delcamp is a CNRS Researcher in Physics at the Institut des Hautes Études Scientifiques (IHES), a position he has held since February 2025. Previously, he served as a Junior Professor of Physics at IHES from October 2023. His research bridges condensed matter theory, algebraic topology, and quantum field theory, focusing on symmetry, duality, and topological phases in quantum lattice models. He translates abstract category theory into physical frameworks using tensor networks. His educational background includes undergraduate studies in France, an MSc in Quantum Fields and Fundamental Forces from Imperial College London (2013–2018, supported by a Walter-Zellidja fellowship), and a PhD from the Perimeter Institute for Theoretical Physics and the University of Waterloo (2018). Delcamp investigates algebraic structures underlying quantum lattice many-body systems, leveraging tensor networks to develop classifying schemes and construct novel physical models. His work addresses how generalized symmetries and dualities manifest in systems ranging from (1+1)d to (3+1)d, with implications for quantum simulation and phase classification. Recent efforts include revisiting real-space renormalization group flows and formalizing the SymTFT proposal on lattices. His publications reveal a trajectory from foundational work on string-like excitations and ϕ4 theory to cutting-edge explorations of non-abelian dualities and entanglement in the generalized Landau paradigm. Key themes include topological field theory applications, categorical symmetries, and tensor network methodologies across dimensions, emphasizing connections between mathematical structures and physical phenomena. Award highlights include: Walter-Zellidja fellowship for graduate studies FWO Postdoctoral Fellowship from the Research Foundation – Flanders (2022) Delcamp has held postdoctoral positions at the Max Planck Institute of Quantum Optics (Munich, 2018–2021) and the Max Planck Institute for the Physics of Complex Systems (Dresden, 2021–2022), followed by a postdoc at Ghent University (2022–2023). He actively recruits postdocs for theoretical physics research at IHES and collaborates internationally on topics including topological order and symmetry classification. His work integrates seminars, lectures, and workshops to advance lattice-based approaches to quantum phases. He operates within IHES's theoretical physics group, leading projects that connect category theory with quantum many-body systems. Current initiatives involve developing tensor network frameworks for duality circuits and exploring electromagnetic duality in higher-dimensional topological models, supported by institutional resources and collaborative networks.

• Condensed Matter Theory
• Algebraic Topology
• Quantum Field Theory
• +۴ مورد دیگر

Jerry Lacmou Zeutouo is a Lecturer in the field of Networks and Data at Université de Picardie Jules Verne (UPJV), contributing to computer science research through advanced algorithm development and optimization. His work primarily focuses on parallel computing, dynamic programming, and computational biology. Academic Rank: Lecturer at UPJV Institution: Université de Picardie Jules Verne Research Interests: Dr. Zeutouo specializes in designing and optimizing parallel algorithms for dynamic programming and database security. His research spans: Coarse-Grained Multicomputer (CGM) architectures K-anonymity in distributed databases RNA folding and bioinformatics applications Longest Common Subsequence (LCS) constraints Publication Trends: His work emphasizes solving computational bottlenecks via parallelism, particularly in cloud environments, bioinformatics, and database security. Key themes include: Transformer-based models for cold start mitigation in FaaS Multicomputer algorithms for dynamic programming Four-splitting and Four-Russians techniques for optimization

• Computer Science
• Parallel Computing
• Dynamic Programming
• +۳ مورد دیگر

Juliette Chabassier is a Researcher at the MAGIQUE-3D project team within Inria Bordeaux Sud-Ouest and affiliated with Université de Pau et des Pays de l'Adour . She holds a Ph.D. in Applied Mathematics from École Polytechnique (2012), advised by Patrick Joly and Antoine Chaigne. Roles: Junior Research Scientist (since 2013), Post-Doc at University of Pau (2012-2013) Research Focus: Acoustics of musical instruments, wave propagation modeling, numerical simulation of piano and wind instruments, energy-preserving discretization schemes, and viscothermal effects in ducts. Her work emphasizes physical modeling and computational acoustics , particularly in piano acoustics, wind instrument design, and heritage instrument digitization. She develops tools like OpenWind for simulating instrument responses and collaborates on projects involving piano soundboard analysis and historical instrument reconstruction. Her recent articles explore topics such as: Simulation of brass instruments using finite element models Thermoviscous effects in conical tubes Energy-conserving discretization for nonlinear wave equations Digital twins for heritage instruments like Besson trumpets She advises doctoral students including Elvira Shishenina and Izar Azpiroz , focusing on applied mathematics and acoustics. Her contributions include advanced numerical methods for acoustic-elastic coupling and boundary layer phenomena in exponential media. Current projects involve homogenization techniques for porous materials, real-time instrument simulation tools, and interdisciplinary work on acoustics education through open-source software.

• Acoustics
• Mathematical Modeling
• Numerical Analysis
• +۳ مورد دیگر

Tatiana Starikovskaya is an Assistant Professor (Maître de Conférences) in the Computer Science Department at École normale supérieure (ENS), Paris, France. She leads the PARSe project (ANR-20-CE48-0001) focusing on approximation and randomized string processing, and participates in AlgoriDAM (ANR-19-CE48-0016). Co-supervises PhD students T. El Ghazi and Gabriel Bathie Co-chaired CPM 2021; served on program committees for STACS, ESA, ICALP, and others Organized CPM summer school (2023) and 'New Horizons of Stringology' workshop (2024) Research Focus Her work centers on algorithms on strings , small-space algorithms , and streaming models , with applications in bioinformatics and data security. Recent research explores trade-offs between time/space complexity in pattern matching, wildcards, and error-tolerant string analysis. Publications Trends Her recent work spans streaming algorithms , compressed data processing , and approximate pattern matching , with collaborations on challenges like k-mismatch problems, Dyck edit distances, and language distance estimation. Education PhD in Mathematics, Lomonosov Moscow State University (2013) M.Sc. in Data Science (Moscow Institute of Physics and Technology/Yandex, 2009) M.Sc. in Mathematics, Lomonosov Moscow State University (2009)

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

Parosh Aziz Abdulla is a Chaired Professor at the Department of Information Technology, Uppsala University, Sweden. His research focuses on algorithmic program verification, concurrency, distributed systems, and model checking, with applications to weak memory models like x86-TSO and C11.

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

Beatrice Markhoff is a Professor of Computer Science (CNU 27) at the University of Tours , affiliated with the Faculty of Science and Technology (Blois site) and the Computer Science Department . She is a member of the UMR CNRS 7324 - CITERES - Archaeology and Territories Laboratory (CITERES-LAT) and the Maison des Sciences de l'Homme Val de Loire (MSH VdL) . Her research focuses on semantic interoperability , Web of data , knowledge representation , and knowledge extraction , with significant collaborations in cultural heritage disciplines . Doctorate in Computer Science, University of Franche-Comté (1995) HDR (Habilitation to Direct Research), François Rabelais University of Tours (2013) Her research themes include semantic interoperability, knowledge engineering, and data mining, with applications in cultural heritage. She co-created the International Workshop on Semantic Web for Cultural Heritage and co-edited special issues for the Semantic Web Journal and JOCCH . She leads projects like ANR SESAMES (2018-2023), H2020 ARIADNEplus (2019-2022), and H2020 4CH (2021-2023). Her academic contributions span XML data management, semantic web technologies, and functional programming. Key projects include carto4CH for cultural heritage mapping and OpenArchaeo for knowledge graph profiling. She has co-supervised PhD theses on topics like LOD querying and knowledge extraction from Wikidata .

• Semantic Web
• Knowledge Engineering
• Semantic Interoperability
• +۵ مورد دیگر

Tachio Terauchi is a Professor in the Department of Computer Science and Engineering at Waseda University, Japan. Previously, he held academic positions at JAIST (Professor, 2014-2017), Nagoya University (Associate Professor, 2011-2014), and Tohoku University (Assistant Professor, 2007-2011). He actively participates in program committees for premier conferences including POPL, PLDI, and SPLASH, with current service for SPLASH 2025 and POPL 2025. His academic background: B.S. in Computer Science, Columbia University (2000) M.S. in Computer Science, University of California, Berkeley (2004) Ph.D. in Computer Science, University of California, Berkeley (2006) Terauchi's research centers on techniques for building reliable computational systems through programming languages and formal methods. His core contributions span program verification for higher-order functional programs, security analysis of timing channels and regex vulnerabilities, and refinement type systems. Recent work demonstrates particular expertise in regular expressions with backreferences and temporal logic verification. His publications from 2020-2025 reveal a dominant focus on regular expression security (ReDoS vulnerabilities and repair methods) and advanced program verification techniques. This work bridges theoretical foundations in automata theory and mathematical logic with practical security applications, showing increasing specialization in regex analysis since 2022 while maintaining contributions to verification frameworks. Scientific Awards: None explicitly mentioned in the provided text. He currently advises a substantial cohort of students across all academic levels at Waseda University, with his lab actively recruiting prospective students. The lab, located in room 209B of Building 62W, supports research in programming languages and security verification through regular appointments. PhD Students: Tianrui Chen (D2), Taisei Nogami (D1) Master's Students: Kazuma Kawahara (M2), Yuta Uchijo (M2), Naoya Anada (M2), Yuki Nakayama (M1), Taisei Iida (M1) Bachelor's Students: Riru Oda (B4), Riku Ito (B4), Haruto Ishiyama (B4), Rei Tomori (B3), Rio Onoda (B3) Visiting Scholar: Nariyoshi Chida

• Programming Languages
• Program Verification
• Program Synthesis
• +۶ مورد دیگر

Yu-Fang Chen is a Full Professor and Research Fellow at the Institute of Information Science, Academia Sinica, Taiwan, where he has been affiliated since 2018. His research group focuses on cutting-edge work in formal methods, quantum programming, and automata theory, with significant contributions to quantum circuit verification and constraint solving. His research centers on developing automata-based frameworks for quantum program verification (AutoQ Project), string constraint solving (Z3-Noodler), and symbolic execution techniques. Core interests include formal verification of quantum systems, satisfiability modulo theories, automata theory applications in quantum contexts, and developing practical verification tools. Chen's recent publications (2020-2025) demonstrate a strong focus on quantum circuit verification, automata theory adaptations for quantum systems, and string constraint solving. Work frequently combines theoretical foundations with practical tool development, showing consistent innovation in quantum program analysis techniques and symbolic execution methods. Awards & Honors: Academia Sinica Scholar Award (2025-2029) SIGLOG/CACM research highlights nomination (2025) Distinguished Paper Awards (OOPSLA 2023, PLDI 2023) Best Paper Awards (FM 2023, TACAS 2010) Young Scholar Creativity Award (2023) MOST Research Project for Excellent Junior Research Investigators (2020-2023) Chen actively advises PhD students and postdoctoral researchers, with open positions advertised for his quantum computing and formal methods research group. He leads significant projects including the AutoQ framework development and has secured multi-year funding through the Academia Sinica Scholar Award and MOST grants. He directs a research laboratory at Academia Sinica focused on automata theory and quantum verification, developing tools like AutoQ and Z3-Noodler. The team collaborates internationally and regularly contributes to top-tier conferences in formal methods and programming languages.

• Formal Verification
• Quantum Programming
• Automata Theory
• +۳ مورد دیگر

Mikael Salson is a researcher specializing in bioinformatics and algorithm design for genomic data analysis. He completed his PhD in 2009 at the University of Rouen, France, focusing on dynamic text indexing structures. His work bridges algorithmic innovation and practical bioinformatics tools, particularly in high-throughput sequencing analysis. Research Interests: Salson's research centers on developing efficient algorithms for genomic data processing, including V(D)J repertoire analysis, RNA-Seq, and alignment-free methods. He has contributed to open-source platforms like Vidjil (for immune repertoire analysis) and CRAC (RNA-Seq analysis). His work emphasizes scalability, efficiency, and clinical applicability of bioinformatics tools. Recent Trends in Publications: Salson's recent work explores compressed indexing for viral genomics (2024), clinical applications of string algorithms (2020), and interactive visualization of immune repertoires (2019). His articles highlight advancements in algorithm efficiency, alignment-free approaches, and software development for genomic challenges. Labs/Teams: Collaborations include the development of the Vidjil platform and contributions to projects like SeqBIM and the ANR Mappi initiative. His work often involves interdisciplinary teams in bioinformatics, computer science, and medical research.

• Bioinformatics
• Genomics
• Algorithm Design
• +۳ مورد دیگر