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

Alain Trouvéمشاهده پروفایل

استاد

• Shape Spaces and Applications
• Imaging Processing and Computational Vision
• Computational Biology
• +۳ مورد دیگر

Alain Trouvé is a Professor at the Center for Mathematics and Their Applications (CMLA) within the Ecole Normale Supérieure de Cachan , France. His research focuses on Shape Spaces , Computational Anatomy , Imaging Processing , and Biological Imaging , with applications in medical and computational fields. He directs the Mathematics Department at ENS Cachan and contributes to neuroanatomical studies through diffeomorphometry techniques. Key roles include membership in the Conseil National des Universités (Section 26) and teaching responsibilities such as courses on Geometry and Shape Spaces and Probability Theory . His work spans from theoretical frameworks (e.g., Hamiltonian modeling of shape evolution) to practical applications like 3D cell imaging and white matter fiber analysis. Publications emphasize interdisciplinary methods, including diffeomorphic registration, varifold-based image analysis, and stochastic shape evolutions. Current projects explore multi-scale modeling of biological systems and AI-driven medical diagnostics. Key Research Themes: Diffeomorphic mappings, computational vision, and functional shape analysis. Teaching: Courses on geometric modeling and probability at undergraduate and graduate levels. Tools Developed: xIV-LDDMM Toolkit for multi-modal biomedical data analysis.

Deepak Gargمشاهده پروفایل

پژوهشگر

• Programming Languages
• Secure Compilation
• Type Theory
• +۷ مورد دیگر

Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation , type theory , and formal verification of software systems. Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL , PLDI , ICFP , and ESOP since 2015. Research Interests include: Secure compilation techniques for hyperproperty preservation. Modal and refined type theories for cost analysis and concurrency. Formal verification of C code and probabilistic programs. Compiler correctness and decentralized multi-language verification. Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC , OOPSLA , and ESOP , addressing topics such as data-flow back-translation and robust property preservation.

David Pointchevalمشاهده پروفایل

پژوهشگر

• Cryptography
• Provable Security
• Cryptographic Protocols
• +۳ مورد دیگر

David Pointcheval is a CNRS Researcher at the Computer Science Department of École Normale Supérieure (ENS) in Paris, France. Since 2005, he has led the Cryptography Team, which has been associated with Inria since 2008. He became the Chair of the Computer Science Department at ENS in 2017. Education: PhD in Computer Science (1996) from University of Caen. His research focuses on the provable security of cryptographic primitives and protocols. He has contributed to privacy-preserving aggregation techniques for data from multiple sources, including work on homomorphic encryption and functional encryption. He has served as program chair for major cryptography conferences (PKC 2010, Eurocrypt 2012) and held leadership roles in the International Association for Cryptologic Research (IACR) as one of nine elected directors for nine years. He holds over 150 international publications and a dozen patents. Scientific Awards: ERC Advanced Grant (Privacy for the Cloud)

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

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.

• Software Engineering
• Cybersecurity
• Formal Methods
• +۵ مورد دیگر

Role & Affiliation: Jean-Christophe BACH is an Associate Professor at IMT Atlantique's Computer Science department since 2015. He leads the PASS research group (IRISA) and focuses on software security, model-driven engineering, and cybersecurity applications. Previously, he held roles as a teaching assistant (ATER) at University of Lille (2014–2015) and completed his PhD on model transformations at Inria/LORIA under Pierre-Étienne Moreau and Marc Pantel (defended 2014). Research Interests: His work centers on improving software trustworthiness through 'security by design' principles. Key areas include model federation, formal methods for software verification, transformation traceability, and cybersecurity in industrial systems. He actively contributes to frameworks like Openflexo and PAMELA, emphasizing practical tooling for secure systems engineering. Teaching & Education: Teaches advanced topics such as object-oriented design, functional programming (OCaml), concurrency modeling, and cybersecurity. Supervises student projects on Openflexo, game development, and network security (IPv6/Tor). Courses include INF301, INF447, and others. Labs & Collaborations: Engaged with IRISA and Lab-STICC research centers. Collaborates on projects like the European Space Agency's SSE4Space framework for secure space missions and the Quarteft project (aerospace software). Active in open-source initiatives and scientific mediation for K-12 programming education.

Asta Halkjær Fromمشاهده پروفایل

پژوهشگر

• Formal Logic
• Automated Reasoning
• Theorem Proving
• +۱۳ مورد دیگر

Asta Halkjær From is a postdoctoral researcher in the Department of Computer Science at the University of Copenhagen, affiliated with the Software, Data, People & Society (SDPS) section under Dmitriy Traytel. She previously completed her PhD at DTU Compute from 2020 to 2023, focusing on formalized deduction methods in computational logic. She holds a Master’s and Bachelor’s degree from DTU in Computer Science and Software Technology, respectively, with a specialization in Artificial Intelligence and Algorithms. Her research lies at the intersection of formal logic and computer science, particularly in automated reasoning, proof assistants (Isabelle/HOL and Lean), and mechanized metatheory. She has contributed extensively to synthetic completeness proofs, tableau systems, and verified theorem provers. Her work emphasizes formal verification of logical systems, including epistemic logic, hybrid logic, and first-order logic, with a focus on soundness and completeness. The recent publications highlight a consistent trend: the mechanization of logical foundations in proof assistants. Her work bridges theoretical logic with practical verification tools, enabling reliable automation in theorem proving. She has developed and verified provers, explored axiomatic systems, and advanced the methodology of synthetic completeness, often leveraging Isabelle/HOL’s framework. Distinguished Paper Award, CPP 2023 DTU Young Researcher Award DTU Travel Grant (Executive Board Recognition) Otto Mønsted Fonden Travel Grant She has supervised BSc and MSc theses, special courses, and research projects at DTU, and currently teaches Software Development for Digital Health . She has served on program committees for CPP, ITP, and Dalí workshops and has reviewed for journals including Journal of Automated Reasoning and Journal of Logic and Computation . She has also participated in international research visits, including at VU Amsterdam. She is actively involved in building tools for formal reasoning and maintains a personal website with resources, including an Isabelle snippets generator and bibliography tools. Her work continues to advance the foundations of formal logic through mechanized proofs and practical automation.

Ana Moreiraمشاهده پروفایل

استاد

• Requirements Engineering
• Model-Driven Development
• Sustainability Engineering
• +۱۲ مورد دیگر

Ana Moreira is a Full Professor in the Computer Science Department at the Faculty of Science and Technology, NOVA University of Lisbon, and a leading researcher at NOVA LINCS, where she heads the Software Engineering group and serves on the Steering Committee. She is actively involved in major international conferences such as ICSE, MODELS, RE, and REFSQ, holding roles including Program Chair, Track Chair, and General Chair. Her research focuses on systematic approaches to software engineering, with emphasis on requirements engineering, model-driven development, sustainability engineering, and software quality. Key areas include stakeholder requirements, human values, quality attributes, and traceability in software product lines. She has pioneered work in early-phase modeling through co-founding the pUML and Early Aspects movements. Her publications span topics such as non-functional requirements in model-driven development, software sustainability, and neurodivergent-inclusive requirements elicitation. These reflect a strong trend toward human-centered, sustainable, and traceable software systems, combining theoretical rigor with practical impact. Best Paper Award (multiple) 10-Year Most Influential Paper Award on Aspects (2013) SoSyM Best 10-Year Paper Award (awarded at MODELS 2020) Ana has supervised 7 PhD students, co-supervised 2 from Brazil, advised 9 postdoctoral researchers, and guided over 60 MSc students. She has coordinated multiple research projects and holds leadership roles in academic governance, including on the Council Board of IREB and editorial boards of top journals like IEEE TSE, Requirements Engineering Journal, and SoSyM. She frequently organizes workshops such as MoDRE and contributes to journal-first tracks. She leads the Software Engineering group at NOVA LINCS, a premier research lab in computer science, and continues to shape the future of model-driven and sustainable software engineering through active collaboration, mentorship, and innovation.

Yann Bugeaudمشاهده پروفایل

استاد

• Diophantine approximation
• Diophantine equations
• transcendence theory
• +۴ مورد دیگر

Yann Bugeaud is a Professor of Mathematics at the University of Strasbourg, where he works in the Department of Mathematics at IRMA (Institute for Advanced Mathematical Research, UMR 7501). He holds prestigious appointments as a member of the University Institute of France (2021-2026), Director of the Grand Est region's mathematics research federation MaGE, and elected member of section 25 of the National Council of Universities (2023-2027 term). Previously, he served as Director of IRMA from 2013 to 2018 and was also a member of the University Institute of France from 2008 to 2013. His research focuses on Diophantine approximation, Diophantine equations, transcendence theory, and modulo one distribution . Bugeaud has made significant contributions to understanding continued fractions, p-adic analysis, and the approximation properties of algebraic numbers. His work often intersects with combinatorics on words, particularly studying sequences like Thue-Morse and Sturmian words. His research program spans both theoretical developments and effective bounds in number theory, with applications to solving Diophantine equations. Bugeaud serves on the editorial boards of numerous prestigious mathematics journals including Acta Arithmetica (since 2020) International Journal of Number Theory (since 2016) Bulletin and Mémoires de la société mathématique de France (since 2015) Journal de théorie des nombres de Bordeaux (since 2012) Moscow Journal of Combinatorics and Number Theory (since 2011) Uniform Distribution Theory (since 2008) His extensive publication record demonstrates consistent contributions to number theory over multiple decades. His recent work shows a continued focus on advancing the understanding of Diophantine approximation through multiple lenses: p-adic analysis, continued fractions, and connections to combinatorics on words. The research spans both theoretical developments and effective bounds with applications to solving Diophantine equations. His work on Thue-Morse sequences, Sturmian words, and continued fractions reveals deep connections between combinatorial structures and number-theoretic properties.

Maeva Le Royمشاهده پروفایل

پژوهشگر ارشد

• History
• Political Science
• Social History of the State
• +۱۲ مورد دیگر

Maeva Le Roy is a Postdoctoral Fellow at ITI MAKErS, University of Strasbourg, affiliated with the SAGE laboratory (Sociétés, acteurs, gouvernement en Europe), a CNRS-University of Strasbourg joint research unit. She holds a PhD in History from the European University Institute (Florence), defended in May 2023, supervised by Stéphane Van Damme and Isabelle Laboulais. Her research focuses on the socio-history of administrative knowledge in 19th-century Europe, particularly the concept of 'l’esprit public' and the development of statistical governance. Her research interests lie at the intersection of history and political science, emphasizing the social history of the state, administrative epistemologies, bureaucratic technologies, and the circulation of knowledge in Napoleonic and post-revolutionary Europe. She investigates how categories like 'public spirit' were operationalized through surveys, reports, and tabular formats to shape state intervention and governance. Her work explores the adaptation of French administrative models in annexed territories, particularly in Northern Italy, and the role of bureaucratic practices in state formation. The trends in her recent publications reveal a consistent focus on the material and cognitive dimensions of governance. She analyzes how administrative tools—especially tables and surveys—function as both epistemic instruments shaping knowledge and political technologies transforming government practices. Her articles span journals in history and political science, demonstrating interdisciplinary engagement with themes of state surveillance, bureaucratic classification, and the construction of governmental rationalities in early 19th-century Europe. Scientific Affiliations: ITI MAKErS (Institut thématique interdisciplinaire Fabrique de la société européenne), University of Strasbourg SAGE Laboratory (Sociétés, acteurs, gouvernement en Europe), CNRS & University of Strasbourg European University Institute (Florence) – Doctoral Affiliation She has taught methodology courses in political science and sociology at Sciences Po Strasbourg and serves as the representative of non-tenured staff on the SAGE laboratory council. While no formal advisees are listed, her collaborative research projects and conference participation indicate active engagement in mentoring and academic exchange. Her work is supported by interdisciplinary research networks focused on the history of knowledge and state formation. Laboratory and Research Environment: Based at the Misha building, Esplanade Campus, University of Strasbourg Active member of SAGE’s Axis 4: State, Work, Government Systems Participates in interdisciplinary workshops and seminars on administrative history and knowledge production Engaged in the ITI MAKErS research program on the fabrication of European society

Tiphaine Huyghebaert-Zouaghiمشاهده پروفایل

مدرس

• Psychological health at work
• Work-life interface
• Basic psychological needs
• +۶ مورد دیگر

Tiphaine Huyghebaert-Zouaghi is a Lecturer in Social, Work and Organizational Psychology at the University of Reims Champagne-Ardenne (URCA), where she is a member of the C2S laboratory and the psychology department. She serves as the responsible for the Master's degree PSTO (Social Psychology of Work and Organizations) and is an elected member of the National Council of Universities (CNU 16th section, college B). Additionally, she is an associate researcher at the QualiPsy laboratory at the University of Tours. Her research focuses on psychological health at work, work-life interface, basic psychological needs, motivation, professional constraints and resources, managerial behaviors, and telework. Her work explores how workplace dynamics affect employee well-being, with particular attention to psychological need satisfaction and frustration in various work contexts. Her recent publications reveal a strong focus on telework, psychological needs in the workplace, and the impact of managerial behaviors on employee outcomes. She employs person-centered approaches and longitudinal designs to examine how different work profiles develop over time and influence employee well-being and performance. Her research often applies Self-Determination Theory to understand workplace motivation and health. Dr. Huyghebaert-Zouaghi currently supervises PhD student Jérémy Thomas, who is researching teleworking and psychological issues. She is involved in several significant research projects including 'Psychosocial Drivers of Psychological Health at Work' (2024-2028), 'CONSOMTEL' studying alcohol, tobacco and vaping behaviors in telework (2024-2026), and 'TECHSAN' examining new technologies, telework and workplace health (2023-2026). She serves on the scientific committee of the R2QVT research network and has numerous administrative responsibilities at URCA, including representing Maîtres de Conférences on the C2S laboratory council and serving on the university's ethics committee for research. She is also co-responsible for the Master PSTO program since 2022.

Brigitte Pientkaمشاهده پروفایل

استاد

• Type theory
• Programming languages
• Logical frameworks
• +۷ مورد دیگر

Brigitte Pientka is a Full Professor in the School of Computer Science at McGill University, where she leads the Computation and Logic group. She received her PhD from Carnegie Mellon University in 2003, and previously studied at the University of Edinburgh and Technical University of Darmstadt. Her educational background includes: PhD from Carnegie Mellon University (2003) Studies at the University of Edinburgh Studies at Technical University of Darmstadt Dr. Pientka's research focuses on developing theoretical and practical foundations for building and reasoning about reliable, safe software systems. She combines theoretical research on logical foundations of computer science in programming languages and verification with system building. Her work spans logics (classical and non-classical), type theory, theorem proving, logic and functional programming, and logical frameworks. She has made significant contributions to the field of contextual types and mechanized metatheory. Her recent publications demonstrate a strong trend toward modal type theory, contextual types, and session types, with applications to functional programming, verification, and meta-programming. She has made significant contributions to the Beluga system, which explores how to combine functional programming with dependently-typed, higher-order data specified in the logical framework LF. Her work often bridges theoretical foundations with practical implementations for mechanized reasoning. Dr. Pientka has received several notable awards: Humboldt Fellowship Test of Time Award @ PPDP'18 for 'Programming with proofs and explicit contexts' Best student paper award at ICLP'03 She is actively involved in mentoring and academic service, having served as PC Chair for ICFP'24, CPP'23 and CPP'24, and as General Chair for POPL'20. She is an Executive Editor of Logical Methods in Computer Science and serves on the editorial boards of the Journal of Functional Programming and ACM Transactions of Computational Logic. She leads the Computation and Logic group at McGill University, which focuses on developing theoretical and practical foundations for reliable software systems through research in logical frameworks, type theory, and programming language design.

Jennifer Burgainمشاهده پروفایل

مدرس

• Food Science
• Physical Chemistry
• Food Process Engineering
• +۴ مورد دیگر

Jennifer Burgain is a Lecturer at the University of Lorraine, France, specializing in physical chemistry and food process engineering. Her research focuses on food powder characterization, microencapsulation of probiotics, and the impact of processing/storage on technofunctional properties. Research Interests: Multi-scale analysis of food powders (agro-resources/co-products) Atomic Force Microscopy (AFM) for nanoscale particle characterization Glass transition effects on powder stability Microencapsulation of probiotics using dairy matrices Optimization of dairy powder processing parameters Scientific Awards: FIL France grant (2011) for probiotic encapsulation research Publications & Projects: Author of ~50 peer-reviewed articles, 6 book chapters, and 2 patents. Principal investigator for the ANR-funded ExPowSE project (2022-2026) analyzing plant-origin food powders. Teaching: Heads the Master 2 MILQ program on dairy industries and quality. Supervises practical process engineering work and teaches physicochemistry/biochemistry of milk proteins.

Claire Damesinمشاهده پروفایل

استاد

• Tree Ecophysiology
• Carbon Cycling in Trees
• Stable Isotope Analysis
• +۳ مورد دیگر

Claire Damesin is a Professor at the University of Paris-Saclay, affiliated with the Plant Ecophysiology team at the Laboratoire Écologie, Société et Évolution (IDEEV). Her work bridges plant physiology, ecology, and interdisciplinary studies with art, focusing on tree carbon dynamics and human-nature relationships. Her educational background includes: Admission to Ecole Normale Supérieure (ENS Lyon) in 1988 French national agrégation in Life and Earth sciences in 1991 Master of General Ecology (DEA) from University Paris Sud in 1992 PhD from the Center of Functional and Evolutionary Ecology in Montpellier (1993-1996) Professor Damesin's research centers on tree ecophysiology , particularly in carbon functioning of woody parts (ring growth, reserve dynamics, stem respiration, and stem photosynthesis), stable carbon isotope composition (13C/12C) in leaves and rings, and tree responses to drought and climate variations. She pioneers art-science collaborations exploring intimacy with trees and interdisciplinary approaches to human-nature relationships, integrating ecology, art, anthropology, and philosophy. Her methodology combines field studies on mature forest trees and potted plants. Analysis of her publications reveals a strong focus on carbon cycling in trees using stable isotopes to understand climate responses and tree decline across species like beech, oak, and pine. A notable evolution is her expansion into human-nature relationship studies through art-science projects, reflecting interdisciplinary innovation. She actively contributes to academic leadership as co-manager of the EVEF sector in the Master BEE program and manager of the 'Adaptations to change' teaching unit. Her teaching spans all levels from undergraduate to master's programs, covering botany, plant anatomy, soil-vegetation relationships, and field trainings, with recent innovations in creativity workshops and human-nature relation courses. Professor Damesin leads the Plant Ecophysiology team within IDEEV laboratory, driving research on tree responses to environmental changes and fostering science-art collaborations that redefine ecological engagement.

• Algebraic Geometry
• Number Theory
• Arithmetic Geometry
• +۳ مورد دیگر

Johannes Anschütz is a Professor of Mathematics at the Orsay Institute of Mathematics, part of Université Paris-Saclay. His research focuses on arithmetic geometry, algebraic geometry, and p-adic Hodge theory, with a particular emphasis on the Fargues-Fontaine curve, moduli spaces, and perfectoid spaces. He collaborates extensively on topics like solid quasi-coherent sheaves, v-vector bundles, and prismatic Dieudonné theory. His work bridges algebraic geometry and number theory, addressing foundational questions in p-adic geometry and non-abelian Hodge theory. Recent contributions include advancements in the p-adic Simpson correspondence, Hodge-Tate stacks, and the development of Fourier transforms for Banach-Colmez spaces. Anschütz’s publications frequently involve collaborations with leading researchers such as Arthur-César Le Bras, Ben Heuer, and Lucas Mann. His research also explores descent theory in p-adic contexts, local models, and geometric Langlands programs in mixed characteristic settings. He currently holds an office at the Orsay Mathematics Laboratory (Room 2I20) and maintains active engagement in teaching and research seminars within the institute’s arithmetic and algebraic geometry team.

• Innovation
• Digital Transformation
• Change Management
• +۳ مورد دیگر

Soufiane Kherrazi is a Researcher-Lecturer at CESI (CESI LINEACT research group), based in Rouen, France. He holds a French qualification as Maître de Conférences (Associate Professor) from the National Council of Universities (CNU06, 2021) and a PhD in Management Science from Paris-Saclay University (2020). His academic background includes advanced studies in Business Intelligence (University of Angers, 2016) and Business Management (Kénitra, Morocco, 2015). His research focuses on Innovation , Digital Transformation , and Change Management . He leads projects like the ID4C initiative (exploring individual drivers for change) and contributed to the A3L program on Augmented Law. He actively participates in EURAM , AoM , and AIMS conferences, serving on scientific committees and as a reviewer for journals like Innovations and Management Decision . Recent work emphasizes governance challenges in EU-sponsored R&D consortia and strategic alignment in legal functions. His 2023 publications analyze perceptual drivers of change readiness and R&D governance structures, while 2025 preprints explore digital transformation frameworks and open social innovation. As a former research director at EDHEC’s Augmented Law Institute, he bridges academic research with professional practice, contributing to Harvard Business Review France and Corporate Lawyer Magazine . He oversees student internships in innovation, intellectual property, and organizational sociology.