Find Academic Supervisors

Sergio ValenzuelaView profile

Research Professor

• Superconductivity
• Nanotechnology
• Materials science
• +8 more

Sergio O. Valenzuela is a Research Professor at the Catalan Institution for Research and Advanced Studies (ICREA) and a Group Leader at the Catalan Institute of Nanoscience and Nanotechnology (ICN2) since 2008. His research focuses on quantum transport, spintronics, and thermoelectricity in 2D materials and topological insulators. Education: PhD in Physics, University of Buenos Aires (2001). Research Expertise: Valenzuela is a pioneer in spintronics, notably developing nonlocal devices for charge-to-spin interconversion, spin-ratchets, and advanced qubit control methods. His work spans topological materials, low-dimensional systems, and quantum computing. Article Trends: His publications emphasize spintronic applications in 2D materials like graphene and topological insulators, with a focus on spin Hall effects, quantum transport, and spin-orbit coupling. Notably, he has contributed to high-impact journals such as Nature , Science , and Physical Review Letters . Scientific Awards: ERC Consolidator Grant (2012, PE3) 2013-2018 IUPAP Young Scientist Prize in Magnetism (2009) ICREA Research Professorship (2007) J. J. Giambiagi Prize (2002) ERC Proof-of-Concept Grant (2020) Grants & Projects: Principal Investigator of the Graphene Flagship, Guarantor of the ICN2 Severo Ochoa Centre of Excellence Project (2013–2017; 2017–present), and Coordinator of the FET-PROACTIVE Project 'TOCHA' (2019–2024). He has led multiple European projects and served on international commissions.

Scott L. RogersView profile

Lecturer

• Mindfulness Training
• Cognitive Resilience
• Attention Regulation
• +3 more

Scott L. Rogers is a Lecturer in Law and Director of the Mindfulness in Law Program at the University of Miami School of Law. He also serves as Director of Programs and Training for UMindfulness. His work focuses on integrating mindfulness practices into legal education and high-stress professions to enhance cognitive resilience, attention regulation, and well-being. Rogers has developed and evaluated mindfulness-based programs for medical students, military personnel, firefighters, and legal professionals. Key initiatives include the Mindfulness-Based Attention Training (MBAT) framework, contextualized for diverse cohorts such as healthcare trainees and operational units. His research emphasizes practical applications of mindfulness to improve professional performance while addressing psychological health challenges. Publications highlight MBAT’s efficacy in reducing mind wandering, boosting working memory, and enhancing emotional regulation across settings. He co-authored Mindful Law Student: A Mindfulness in Law Practice Guide , offering tools for legal professionals. His work spans peer-reviewed journals in military medicine, psychology, and cognitive enhancement, demonstrating interdisciplinary impact. Rogers collaborates with experts in neuroscience and education to bridge theoretical and applied mindfulness research. Current projects explore mindfulness as both a wellness tool and a professional development asset, particularly in high-demand fields like law and healthcare.

Peter SollichView profile

Professor

• Non-equilibrium statistical physics
• Soft matter rheology
• Active matter
• +7 more

Prof. Dr. Peter Sollich is a Professor of Theoretical Physics at Georg-August-Universität Göttingen, affiliated with the Institute for Theoretical Physics. His research spans non-equilibrium statistical physics with applications to soft matter, active systems, and complex networks. He maintains a small part-time appointment at King's College London. His primary research interests focus on non-equilibrium statistical physics , particularly soft and active matter rheology, jamming transitions, glassy dynamics, dynamical phase transitions, and inference from dynamical data. His work bridges theoretical physics with applications in materials science and network theory, emphasizing both fundamental mechanisms and quantitative modeling approaches. Analysis of his recent publications reveals strong thematic consistency in studying glassy dynamics and active matter systems , with increasing integration of machine learning techniques for network analysis. Key methodological threads include coarse-grained modeling, spectral analysis of complex systems, and non-equilibrium thermodynamics frameworks. His 2023-2025 work shows growing emphasis on nonreciprocal interactions in active mixtures and physics-inspired machine learning applications. Prof. Sollich actively supervises Bachelor's, Master's, and PhD students, welcoming thesis inquiries in theoretical physics. His group develops analytical and computational approaches to complex dynamical systems, with recent grants likely supporting work on network dynamics and active matter modeling (specific grants not detailed in source text). His research group operates within the Institute for Theoretical Physics at Göttingen, focusing on computational and analytical modeling of disordered systems. Current projects involve elastoplastic modeling of amorphous solids, spectral analysis of heterogeneous networks, and theoretical frameworks for active matter phase separation.

Duccio TestaView profile

Researcher

• Plasma Physics
• Nuclear Fusion
• Mathematical Modeling
• +4 more

Duccio Testa is a Researcher at the Swiss Plasma Center (SPC) within the School of Basic Sciences at École Polytechnique Fédérale de Lausanne (EPFL). He holds concurrent Lecturer positions in the School of Engineering (SB-SPH) and the School of Humanities and Social Sciences (CDH-SHS). His career spans plasma physics for nuclear fusion, mathematical modeling of complex systems, and archaeology of the Roman and pre-Roman eras. Education : High School Diploma from Liceo Classico Vincenzo Gioberti (1988); Bachelor/Master in Physics from Universita di Torino (1994); Ph.D. in Plasma Physics from Imperial College London (1998); Post-Doc at MIT (2002-2007). His research focuses on plasma diagnostics and magnetic sensor development for tokamaks like JET, TCV, and ITER. He pioneered LTCC sensors and real-time MHD instability detection algorithms (e.g., SparSpec). His work bridges fusion engineering and archaeology , with publications on Etruscan civilization and Pharaonic trade routes. Recent articles highlight advancements in photolithography-based magnetic sensors for DTT and DEMO, high-frequency diagnostics across tokamaks, and fast ion transport modeling . He has received European Community Research Training Grant , Ph.D. Fellowship , and Post-Doc Fellowship . Scientific Awards European Community Research Training Grant (1995) Ph.D. Fellowship (Imperial College London, 1995-1998) Post-Doc Fellowship (MIT, 1998-2007) Testa has mentored numerous Ph.D. students (e.g., Theodoros Panis, Christian Schlatter) and post-doctoral researchers , while contributing to MOOC courses and tutorials on plasma physics. His leadership in international collaborations (EPFL, MIT, UKAEA) underscores his role in fusion technology and diagnostic systems .

• Metallic materials for biomedical applications
• Low modulus beta-type Ti-based alloys
• Biomaterials for hard-tissue implant applications
• +4 more

Assoc. Prof. Dr. Mariana Calin is a researcher at the Leibniz Institute for Solid State and Materials Research Dresden (IFW Dresden) in the Department of Chemistry of functional materials. With over 104 journal publications and 72 invited talks worldwide through 2025, she is a recognized expert in metallic biomaterials, particularly focusing on titanium-based alloys for medical applications. Her work bridges fundamental materials science with practical biomedical engineering challenges. Dr. Calin's research focuses on metallic materials for biomedical applications , with particular expertise in low modulus beta-type Ti-based alloys , biomaterials for hard-tissue implant applications , metallic glasses and nanostructured alloys , and ni-free Ti-based shape memory alloys . Her work addresses critical challenges in orthopedic and dental implants, particularly the mismatch between bone and traditional metallic implants, and the problem of implant-associated infections. She develops novel alloys with reduced elastic modulus to prevent stress shielding while incorporating antibacterial elements like gallium and copper. Analysis of Dr. Calin's recent publications (2020-2025) reveals a strong focus on gallium-containing titanium alloys with antibacterial properties, surface modification techniques for improved biocompatibility, and the development of metallic glasses for biomedical applications. Her research shows a clear trend toward creating 'smart' biomaterials that actively prevent infection while maintaining excellent mechanical properties for load-bearing applications. She has pioneered work on beta-type titanium alloys with gallium additions that demonstrate both antibacterial properties and suitable mechanical characteristics for orthopedic implants. Dr. Calin has been actively involved in significant European research projects including BIOREMIA (H2020-MSCA-ITN) - 'BIOfilm-REsistant Materials for hard tissue Implant Applications' and BioTiNet (FP7-MC-ITN) - 'Academic-Industrial Initial Training Network on Innovative Biocompatible Titanium-base Structures for Orthopaedics'. These projects have provided substantial funding for her research and supported numerous early-career researchers. She frequently collaborates with international institutions and industry partners to translate laboratory discoveries into potential clinical applications. At IFW Dresden, Dr. Calin works within the biomaterials research group, collaborating with scientists from various disciplines to develop next-generation metallic biomaterials. Her laboratory focuses on alloy design, processing (including additive manufacturing), comprehensive characterization, and biological testing of novel metallic biomaterials. Recent work has expanded into developing MRI-compatible metallic glasses with ultralow magnetic susceptibility, opening new possibilities for miniaturized implants that won't interfere with medical imaging.

Robbert KrebbersView profile

Associate Professor

• Semantics
• Separation logic
• Theorem proving
• +7 more

Robbert Krebbers is an associate professor at the Department of Software Science at Radboud University Nijmegen, Netherlands. He is a leading researcher in program verification, specializing in separation logic and the Coq proof assistant. Krebbers is a core contributor to the Iris framework, a higher-order concurrent separation logic framework implemented in Coq. His research spans theoretical foundations of programming languages and practical applications to real-world languages including C, Rust, and Scala. His research interests focus on scaling program verification techniques to challenging programming paradigms like concurrency, higher-order functions, and modules. Krebbers' work bridges formal methods with practical language implementation, particularly in verifying memory safety and concurrency properties. He has made significant contributions to Rust verification through the RustBelt project and has pioneered techniques for verifying concurrent data structures and message-passing systems. Krebbers' recent publications demonstrate a strong trend toward verifying complex concurrency patterns, developing automated proof techniques, and applying separation logic to practical programming language features. His work frequently appears in top-tier programming languages conferences including POPL, PLDI, and ICFP, with several papers receiving distinguished paper awards. The research spans from foundational logic development to practical verification tools for real-world programming languages. As a principal investigator in the Iris project, Krebbers has secured significant research funding including the ERC Consolidator Grant for the RustBelt project. His work has influenced both academic research and industrial practice, particularly in the Rust programming language ecosystem. The Iris framework he helped develop has been adopted by numerous verification projects worldwide. Krebbers has advised PhD students including Ike Mulder (focusing on proof automation for concurrent separation logic) and Jules Jacobs (working on guarantees by construction). He has been actively involved in the programming languages research community, serving on program committees for major conferences and organizing workshops on formal methods and verification. He leads research in the Department of Software Science at Radboud University, where his group focuses on developing foundational techniques for program verification. The group collaborates closely with the Logic and Semantics Group and Foundations of Programming Group across institutions, contributing to a vibrant research ecosystem around formal methods and programming languages.

Nima HonarmandView profile

Assistant Professor

• Computer Architecture
• Parallel Computing
• Operating Systems
• +3 more

Nima Honarmand is an Assistant Professor in the Department of Computer Science at Stony Brook University, where he co-directs the Computer Architecture Stony Brook (COMPAS) Lab . His research focuses on computer system design , particularly parallel computer architecture and operating systems . Education : Ph.D. in Computer Science from University of Illinois at Urbana-Champaign under Josep Torrellas. His work addresses challenges in deterministic replay of parallel programs to simplify debugging on multi-processor systems. Current research explores memory fencing, consistency models, and architectural extensions for reproducibility. Recent publications span conferences like ASPLOS, ISCA, PACT, and POPL, with emphasis on parallelism constraints , memory hierarchy optimization , and fault-tolerant systems . Awards include Best Paper at PACT 2011 and Best Paper Candidate at VTS 2007 . Teaching : Courses include Computer Architecture (CSE 502) and Operating Systems (CSE 306/CSE 506). Email : nhonarmand@cs.stonybrook.edu

James RielyView profile

Professor

• Programming Languages
• Concurrency
• Relaxed Memory Models
• +3 more

James Riely is a Professor in the School of Computing at DePaul University , United States. His research focuses on Programming Languages , Concurrency , and Formal Methods , particularly in modeling Relaxed Memory and Security in distributed systems. He has contributed to leading conferences like POPL , SPLASH , and VMCAI , addressing topics such as Concurrent Programming , Event Structures , and Security Automata . Education : PhD in Computer Science from University of North Carolina at Chapel Hill (1999). Research Trends : His work spans Relaxed Memory Models , Software Verification , and Security Protocols , often integrating Formal Verification and Concurrency Theory . Key contributions include modeling Speculative Execution Attacks and designing Security Automata for enforceable policies. Conference Involvement : Active in program committees for POPL , VMCAI , and PPoPP , with session chair roles in tracks like Separation Logic and SLE .

Michele Di PierroView profile

Assistant Professor

• Physical Genetics
• Genome Architecture
• Chromatin Dynamics
• +3 more

Michele Di Pierro is an Assistant Professor in the Department of Physics at Northeastern University’s College of Science. He leads the Di Pierro Lab, which investigates physical genetics by exploring how genetic information is physically translated and organized through statistical physics, information theory, and computational modeling. His research focuses on genome architecture, chromatin dynamics, and nuclear organization, with notable work on ancient genome preservation in a 52,000-year-old woolly mammoth sample. Key research themes include energy landscapes of chromosome structures, phase-separated chromatin compartments, and mesoscale modeling of nuclear organization. His lab develops computational tools like the Nucleome Data Bank to simulate genome structures. Di Pierro collaborates across disciplines to bridge physics and molecular biology, advancing both theoretical understanding and biotechnological applications. He is affiliated with Northeastern’s Department of Physics and contributes to interdisciplinary research within the College of Science. His work addresses fundamental questions about how physical principles govern genetic processes at molecular scales.

Yunhui HeView profile

Assistant Professor

• Numerical Analysis
• Scientific Computing
• Finite Element Methods
• +5 more

Yunhui He is an Assistant Professor in the Department of Mathematics at the University of Houston. His research focuses on numerical analysis and scientific computing, with expertise in finite element methods, multigrid methods, and local Fourier analysis. He has held postdoctoral positions at institutions like the University of British Columbia and the University of Waterloo. His work includes contributions to preconditioning techniques, acceleration methods, and the numerical solution of partial differential equations. Education: PhD in Mathematics (2018), Memorial University of Newfoundland MSc in Computational Mathematics (2015), Chinese Academy of Sciences BSc in Mathematics and Applied Mathematics (2012), Capital Normal University Research Interests: Dr. He’s research emphasizes numerical methods for PDEs, multigrid algorithms, and iterative solvers. He explores topics like finite element methods, preconditioning strategies, and local Fourier analysis to enhance computational efficiency in fluid dynamics and optimal control problems. His work bridges theoretical analysis and practical implementation, with applications in engineering and physics. Articles Trends: Recent publications highlight advancements in multigrid relaxation schemes, Anderson acceleration for nonlinear PDEs, and preconditioners for coupled flow systems. His work often integrates local Fourier analysis to optimize solver performance, with applications to Stokes-Darcy equations and optimal control problems. Grants & Awards: He co-organized the 2025 NSF-funded CBMS Conference on Applied Mathematics and Machine Learning (DMS-2430460), demonstrating leadership in academic collaboration. Teaching: Taught courses including Linear Algebra, Partial Differential Equations, and Numerical Analysis at the University of Houston and other institutions. His pedagogical focus aligns with computational mathematics and scientific computing. Lab/Team: Hosts Santolo Leveque as a postdoctoral fellow (2024–present), advancing collaborative research in numerical methods and multigrid theory.

• Human geosciences
• Foundations of Life
• Bio-philosophy
• +4 more

Yukio Gunji is a Professor at Waseda University's School of Fundamental Science and Engineering since 2014, with prior 27-year tenure at Kobe University. Holding a Ph.D. in Science from Tohoku University, he bridges Cognitive Science Quantum Logic Bio-inspired Computing Swarm Dynamics through interdisciplinary research. His work reveals quantum-like cognitive structures via Orthomodular lattices from rough set analysis Inverse Bayesian inference systems Asynchronous cellular automata models explaining phenomena like free will paradoxes , virtual agent persuasion , and Physarum plasmodium decision-making . Analysis of 15 recent articles shows strong focus on Lévy walk patterns in ants and fish schools, self-avoiding walk algorithms , and nonlocal cognitive models . Key contributions include Developing Extended Bayesian Inference frameworks Formalizing trilemma structures in consciousness studies Creating heterarchical market models with critical behavior while his Virtual Hand experiments challenge ownership perception boundaries through squeeze machine studies.

Eugene TerentjevView profile

Professor

• Polymer Physics
• Soft Matter Physics
• Liquid Crystal Elastomers
• +4 more

Professor Eugene Terentjev is a leading academic in Polymer Physics at the University of Cambridge , affiliated with the Department of Physics and the Biological and Soft Systems research group. His work bridges theoretical and applied research in soft matter, focusing on polymer networks and liquid crystal elastomers. Current academic rank: Professor Key research areas: Polymer Physics, Soft Matter, Smart Materials Publications highlight advancements in liquid crystal elastomers, dynamic crosslinking, and mechanical damping applications Research Interests: Terentjev's work centers on the physics of polymer networks , with emphasis on liquid crystal elastomers for smart and responsive materials. Recent projects include: Dynamic crosslinking for reprocessable polymers Photochemical and mechanical actuation in elastomers Pressure-sensitive adhesives and impact damping systems Biological applications like organoid patterning and cell mechanics Scientific Trends: His publications reveal a strong focus on liquid crystal elastomers for soft robotics, adhesives, and biofabrication. Key subfields include dynamic crosslinking , non-linear elasticity , and stimuli-responsive materials , often combining theoretical and experimental approaches. Collaborations & Legacy: Terentjev has collaborated with late pioneers like Professor Mark Warner , whose obituary he co-authored, indicating a deep engagement with the liquid crystal elastomer community. His work is prominently featured in Advanced Science and other high-impact journals.

Jacques-Henri JourdanView profile

Researcher

• Formal Verification
• Rust Programming Language
• Coq Proof Assistant
• +5 more

Jacques-Henri Jourdan is a CNRS researcher at the Laboratoire Méthodes Formelles (LMF) , Université Paris-Saclay. His work focuses on formal verification and programming language design , particularly for Rust and OCaml , using proof assistants like Coq and the Iris framework. Current academic rank: Researcher (CNRS) Affiliation: LMF, Université Paris-Saclay Research highlights include: Developing Creusot , a deductive verification tool for Rust Contributing to the Iris concurrent separation logic Formalizing RustBelt for Rust's type system soundness Building a statistical memory profiler for OCaml Scientific awards: GdR GPL 2016 Thesis Prize for his PhD on formal verification Notable contributions to academia: Co-teacher of Advanced Programming at ENS Paris-Saclay Co-development of OCaml's runtime library and parser Active program committee member in POPL, ICFP, and WITS

Michalis KokologiannakisView profile

Assistant Professor

• Programming Languages
• Compilers
• Software Verification
• +5 more

Michalis Kokologiannakis is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland. Previously, he was affiliated with the Max Planck Institute for Software Systems (MPI-SWS) in Germany where he completed his PhD. His research focuses on programming languages, compilers, and software verification, with particular emphasis on: Automated verification and testing of concurrent programs Weak memory models employed by modern microprocessors Stateless model checking techniques Formal methods for program analysis His work has led to the development of several verification tools including GenMC (a stateless model checker for C/C++ programs under weak memory models) and Kater (a tool that automates weak memory model metatheory and consistency checking). Dr. Kokologiannakis has published extensively at top-tier programming languages and verification conferences including PLDI, POPL, OOPSLA, and CAV. His research has pioneered advances in stateless model checking, partial order reduction, and verification under weak memory consistency models. He completed his MEng at the National Technical University of Athens (NTUA) before earning his PhD from MPI-SWS.

Sarah WoolnerView profile

Research Fellow

• Cell Biology
• Developmental Biology
• Cell Division
• +6 more

Sarah Woolner is a Research Fellow in the Division of Cell Matrix Biology & Regenerative Medicine at the University of Manchester, where she established her own laboratory after receiving a prestigious Wellcome Trust/Royal Society Sir Henry Dale Fellowship in July 2012. Her academic journey began with a Biological Sciences degree from the University of Edinburgh (2000), followed by a PhD at UCL under Paul Martin, a postdoctoral position at the University of Wisconsin-Madison with Bill Bement (2006), and subsequent research at the University of Manchester with Nancy Papalopulu. Dr. Woolner's research centers on understanding how cell division orientation shapes tissues and determines cell fate at the cellular level. Her laboratory investigates the mechanisms by which cells read their external environment to orient division, with particular focus on how extracellular matrix cues influence mitotic spindle positioning. Her work addresses fundamental questions about how molecular forces are balanced inside cells to position the mitotic spindle and how these internal mechanisms coordinate with the external cellular environment across tissues. Her research spans Cell Biology, Developmental Biology, and Biophysics, with significant implications for understanding embryonic development failures and cancer progression. Analysis of her recent publications reveals a strong focus on tissue mechanics, cell division orientation, and the biophysical aspects of cellular organization. Dr. Woolner's scientific contributions have been recognized through several prestigious fellowships including the Beit Memorial Fellowship, Stepping Stones Fellowship, and the Wellcome Trust/Royal Society Sir Henry Dale Fellowship. She has supervised 6 research students and is currently involved in multiple research projects including 'Laser capture dissection for spatially-resolved -omics analysis' (2024-2025) and 'Multi-modal high throughput live cell system to track biomechanical properties' (2023-2024), where she serves as a Co-Investigator.