جست‌وجوی استاد و پژوهشگر

Michalis Kokologiannakisمشاهده پروفایل

استادیار

• Programming Languages
• Software Verification
• Automated Reasoning
• +۴ مورد دیگر

Michalis Kokologiannakis is a Tenure Track Assistant Professor of Computer Science at ETH Zurich's Department of Computer Science (D-INFK). Previously, he was a postdoctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), where he completed his doctorate. His research focuses on programming languages, formal software verification, and automated reasoning, with a particular emphasis on concurrency, weak memory models, and algorithmic techniques for scalable verification of concurrent data structures. Education: PhD in Computer Science, Max Planck Institute for Software Systems (MPI-SWS) MEng in Electrical and Computer Engineering, National Technical University of Athens (NTUA) Research Interests: Developing algorithms for analyzing large-scale concurrent program executions Formal verification of software correctness using mathematically rigorous techniques Tools like GenMC and Kater for weak memory model analysis Practical applications of research in non-academic contexts Teaching Philosophy: Advocates for interactive, dialogue-based education that connects students with cutting-edge research tools and methodologies. Envisions integrating his group's research software into classroom experiences. Labs/Teams: Collaborates with the Institute for Programming Languages and Systems at ETH Zurich to address challenges in verification and concurrency research.

Shengchao Qinمشاهده پروفایل

استاد

• Formal Methods
• Programming Languages
• Software Engineering
• +۳ مورد دیگر

Dr. Shengchao Qin is a Professor of Computer Science at Teesside University's School of Computing & Digital Technologies, specializing in formal methods and software verification. He holds a BSc and PhD from Peking University, with postdoctoral experience at the Singapore-MIT Alliance. As Associate Dean for Research & Innovation (2016-2019), he led strategic research initiatives. His research focuses on automated verification of software safety/security, program analysis, and cyber-physical systems. Major funded projects include EPSRC grants for resource analysis of embedded software (£403k) and inference mechanisms for separation logic domains (£213k). He actively contributes to academic service as Program Committee Chair for ICFEM/TASE conferences, steering committee member for formal methods symposiums, and editorial roles for IEEE Access and Science of Computer Programming. Collaborations span top institutions including National University of Singapore and Peking University. Research Supervision: Current PhD advisees: Chris Curry, Yang Liu, Colin Joy, Ndidi Ogbo Former supervisees: Zhang Zhang (PhD '20), Florin Craciun (Postdoc), Ryuta Arisaka (PhD '13)

Robert Twiningمشاهده پروفایل

استادیار بالینی

• Statistical Methods
• Data Analysis
• Behavioral Neuroscience

Robert Twining is a Clinical Assistant Professor in the Department of Biomedical Sciences at Marquette University. He oversees the research and data analytical operations of the BISC Neuroscience Collaboratory. Dr. Twining teaches graduate courses in advanced statistical methods, linear mixed models in R, and programming for research, while maintaining active research collaborations across Marquette. He earned his Ph.D. in Neuroscience from Pennsylvania State College of Medicine and completed postdoctoral training at the University of Wisconsin, Marquette University, and Rosalind Franklin University, focusing on motivated behaviors. His research interests include behavioral neuroscience, statistical methodology, and data analysis techniques.

• Classical Statistical Physics
• Quantum Statistical Physics
• Thermodynamics
• +۳ مورد دیگر

Jakub Spiechowicz is a Professor at the University of Silesia, specializing in classical and quantum statistical physics, thermodynamics, and nonlinear dynamics. His research focuses on transport phenomena in non-equilibrium systems, including Brownian motors, diffusion anomalies, and memory effects in non-Markovian systems. He employs advanced theoretical approaches like the Langevin equation and effective mass theory to model microscale transport and noise-driven dynamics. Key interests include the interplay between thermal fluctuations, periodic potentials, and damping regimes in controlling particle transport. His work explores paradoxical phenomena such as absolute negative mobility, current reversal, and colossal diffusion enhancements induced by active noise or nonequilibrium conditions. Recent studies emphasize parameter space analysis of anomalous transport and the design of optimal potentials for amplifying transport efficiency. Publications consistently address cutting-edge topics in statistical mechanics, with a focus on non-Markovian systems and stochastic dynamics. Despite no explicit mention of awards, his prolific publication record reflects significant contributions to the field. No advising or grant information is provided in the available texts.

Mary Bayliesمشاهده پروفایل

استاد

• Developmental Biology
• Muscle Biology
• Cell Biology
• +۳ مورد دیگر

Mary Baylies, PhD, is a Professor and laboratory head in the Developmental Biology Program at the Sloan Kettering Institute (Memorial Sloan Kettering Cancer Center). She specializes in muscle biology, focusing on mechanisms underlying muscle formation, maintenance, and disease. Her research integrates developmental biology, cell biology, and biophysics, with a focus on muscle wasting, nuclear positioning in muscle cells, and preclinical models of muscular dystrophies like nemaline myopathy and rhabdomyosarcoma. Education: PhD in Developmental Biology from The Rockefeller University. She leads a multidisciplinary lab with postdoctoral researchers, graduate students (e.g., Therandë Jashari, Cassandra Manrique), and technicians. Key achievements include discovering nuclear scaling mechanisms in muscle fibers, microtubule roles in nuclear positioning, and Drosophila models for cancer cachexia and pediatric cancers. Her work has been recognized through leadership roles, including President of the Society for Muscle Development (2009–2013) and the Frederick Adler Chair for Junior Faculty (1997–2003). Current lab affiliations include the Alan and Sandra Gerry Metastasis Center and the Gerstner Sloan Kettering Graduate School. Research spans both basic mechanisms (e.g., actin dynamics, nuclear movement) and translational goals (novel therapeutics for muscle diseases).

• Computer Science
• Artificial Intelligence
• Machine Learning
• +۷ مورد دیگر

Huan Zhou is a prolific researcher affiliated with multiple institutions including the University of Oldenburg , China Three Gorges University , and Wuhan University . His work spans Computer Science , Mathematics , and Engineering disciplines. Key affiliations: Signal Processing Group (Oldenburg), Computer and Information Technology College (China Three Gorges University), Geodesy and Geomatics (Wuhan University) Research interests include: Graph Theory : Resistance spectra, planar graph properties, and spectral analysis Optimization Algorithms : Manta ray foraging, vortex search, and swarm intelligence applications Computer Vision : Road segmentation, stereo matching, and remote sensing image analysis Telecommunications : RIS-assisted wireless systems and beamforming techniques Machine Learning : Anomaly detection, continual learning, and transformer architectures Recent publications demonstrate cross-domain impact in bioinformatics (TriGCN for medicine), network systems (Plover distributed logging), and computational pathology (glioma diagnosis with transformers).

• Artificial Intelligence
• Machine Learning
• Natural Language Processing
• +۶ مورد دیگر

Shwai He is a PhD student and Affiliate Assistant Professor at the University of Maryland, advised by Ang Li. Their research focuses on advancing AI systems through innovative approaches in large language models (LLMs), fairness in machine learning, and efficient neural network architectures. Key areas include multi-agent systems, causal modeling for bias mitigation, and optimization techniques for mixture-of-experts models. Research interests span artificial intelligence, machine learning, and natural language processing with emphasis on practical applications like healthcare diagnostics and social pairing systems. Notable work includes developing GNWT-based multi-agent digital twins for social platforms and improving LLM transparency through token analysis. Publications highlight contributions to counterfactual fairness, dynamic-depth transformers, and parameter-efficient methods. Current efforts explore computational efficiency in vision-language models and bio-inspired antibody prediction systems. No scientific awards have been mentioned. Advising and grants: Currently a PhD student under Ang Li's supervision. Research involves collaborations across computer science and bioinformatics domains.

Tadahiro Ohمشاهده پروفایل

استاد

• Nonlinear Partial Differential Equations
• Harmonic Analysis
• Stochastic Analysis
• +۳ مورد دیگر

Tadahiro Oh is a Professor at the School of Mathematics, University of Edinburgh , specializing in nonlinear partial differential equations (PDEs), harmonic analysis, and stochastic dynamics. His work bridges deterministic and probabilistic approaches to dispersive Hamiltonian PDEs, focusing on well-posedness, invariant measures, and turbulence phenomena. Academic Rank: Professor Affiliation: University of Edinburgh Research Interests include nonlinear dispersive equations like the cubic nonlinear Schrödinger and stochastic wave equations, using techniques from PDE analysis, Fourier analysis, and probability. He investigates soliton behavior, growth of Sobolev norms, and statistical hydrodynamics. Grants & Collaborations highlight support from an EPSRC small grant (2024–2025) and two ERC grants (“ProbDynDispEq,” 2015–2020; “SingStocDispDyn,” 2020–2026). His team includes postdocs and Ph.D. students working on stochastic quantization, Gibbs measures, and dispersive equations. Publications focus on stochastic PDEs, nonlinear wave equations, and probabilistic well-posedness, often in top journals like Invent. Math. and J. Eur. Math. Soc. . Key trends involve invariant measures, multilinear operators, and applications to mathematical physics. Awards : Sir William Darling Memorial Prize (2023) Students include Thomas Arthur, Ruoyuan Liu, and Andreia Chapouto, with theses on nonlinear Schrödinger equations, stochastic dynamics, and dispersive equations. Former students hold academic positions globally.

• Programming Languages
• Type Systems
• Object-Oriented Programming
• +۳ مورد دیگر

Ao.Univ.Prof. Dipl.-Ing. Dr.techn. Franz Puntigam is an Associate Professor at the Department of Compilers and Languages within the Faculty of Informatics at Technische Universität Wien. His research focuses on programming paradigms, type systems, object-oriented programming, and concurrent programming. He teaches courses such as Programming Paradigms, Type Systems, and Scientific Research and Writing. Dr. Puntigam’s work explores foundational aspects of programming languages, emphasizing concurrency and type system design. His research includes studies on synchronization mechanisms, contextual execution environments, and design methodologies for robotic software systems. His publications span topics like token-based synchronization, dynamic process types, and aliasing effects in object-oriented languages. He supervises numerous diploma and master’s theses on advanced topics such as concurrency in Java, type systems for configuration languages, and actor-based programming. His contributions to education and research are further reflected in his involvement with projects like migrating business software from VB to Java/Unix.

Susanne Buiterمشاهده پروفایل

استاد

• Geodynamics
• Tectonics
• Structural Geology
• +۷ مورد دیگر

Prof. Dr. Susanne Buiter is Scientific Executive Director and Spokesperson of the GFZ German Research Centre for Geosciences in Potsdam, Germany, and Professor of Tectonics and Geodynamics at RWTH Aachen University since 2020. Her career spans roles in Norway, Canada, and Switzerland, including leadership at the Geological Survey of Norway (2006-2020) and adjunct professorship at Oslo University. PhD in Tectonophysics from Utrecht University Specialist in numerical modeling of crustal deformation Developer of 2D/3D software SULEC Research Focus Buiter's work centers on geodynamic processes across scales, including: Quantitative deformation analysis in crust and lithosphere Subduction zone dynamics and continental collision Wilson Cycle modeling (subduction, collision, rifting) Rifted continental margin evolution Benchmarking numerical and analogue tectonic models Her research integrates computational methods with geological observations to study processes from sedimentary basin inversion to mantle plume effects on continental breakup. Scientific Leadership Vice-President, Helmholtz Research Field 'Earth and Environment' (2024-2025) Union Service Award, European Geosciences Union (2022) Marie Skłodowska-Curie Doctoral Network 'Talents' Co-PI (2023) Editorial leadership at Solid Earth (2019-present) Young Outstanding Scientist Award, Norwegian Research Council (2007) As Executive Editor of Solid Earth and organizer of 8 international workshops, she actively shapes geodynamic research and open science initiatives.

Kai Thalerمشاهده پروفایل

استادیار

• Conflict and Violence
• Civil Wars
• State Building
• +۵ مورد دیگر

Kai M. Thaler is an Assistant Professor in the Department of Global Studies at the University of California, Santa Barbara, with affiliations in Political Science, Latin American and Iberian Studies, and the University of California Institute on Global Conflict and Cooperation (IGCC). He previously served as a non-resident Fellow at the Centre for the Comparative Study of Civil War at the University of York and a Postdoctoral Fellow at the Sié Chéou-Kang Center for International Security and Diplomacy, University of Denver. Ph.D. in Government, Harvard University (2018) M.A. in Government, Harvard University M.Soc.Sc. in Sociology, University of Cape Town B.A. in Political Science, Yale University Thaler's research explores how rebel groups' ideologies and organizational structures influence post-victory statebuilding, public service provision, and political violence. He analyzes historical cases in Africa, Latin America, and Southeast Asia, focusing on themes like mass killings, regime change, and development challenges. His work emphasizes qualitative and mixed methods, addressing methodological challenges in studying violent settings. His recent articles examine ideological continuity in rebel governance, ethical AI development from Black archives, and the interplay of power and temporality in armed group studies. These works span conflict resolution, state-armed group dynamics, and the ethical implications of technology in post-conflict societies. 2025 PEACE Emerging Scholar Award, International Studies Association Thaler's research has received funding from the National Science Foundation, Harry Frank Guggenheim Foundation, and Hellman Fellows Fund. He actively engages public debates through media contributions to outlets like Foreign Policy , The Washington Post , and Al Jazeera , while supporting Nicaraguan asylum seekers and analyzing authoritarian practices in Latin America.

• Psychology
• Public Health
• Health Services
• +۱۲ مورد دیگر

Eunro Lee is an Adjunct Principal Research Fellow in the Department of Health and Biomedical Sciences at RMIT University, Australia, based at the Bundoora West campus. Dr. Lee's interdisciplinary research spans psychology, public health, law, and education with a focus on vulnerable populations including children, indigenous communities, and individuals with mental health conditions. Dr. Lee's research interests include social psychology, applied statistics, educational psychology, law and psychology, organizational psychology, neuropsychology, restorative justice, therapeutic jurisprudence, and indigenous well-being and health. Their work demonstrates a strong interdisciplinary approach that bridges psychological theory with practical applications in health, education, and legal contexts. A significant portion of Dr. Lee's research focuses on mental health interventions, educational outcomes in diverse settings, criminal justice processes, and health behaviors. Analysis of Dr. Lee's recent publications reveals a consistent focus on the intersection of social identity, psychological well-being, and behavioral outcomes. Their research often employs sophisticated statistical methods including structural equation modeling to examine complex mediation pathways. Key thematic areas include mental health interventions, educational outcomes in diverse settings, criminal justice processes, and health behaviors. Dr. Lee has collaborated extensively with researchers across multiple institutions and disciplines, as evidenced by the diverse authorship on their publications. Their work has been published in high-impact journals across psychology, education, public health, and legal studies.

Lars Birkedalمشاهده پروفایل

استاد

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

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.

KC Sivaramakrishnanمشاهده پروفایل

استادیار

• Functional Programming
• Language Runtimes
• Concurrency
• +۴ مورد دیگر

KC Sivaramakrishnan is an Assistant Professor at Indian Institute of Technology Madras and concurrently serves as CTO of Tarides. He works at the intersection of programming languages and systems, focusing on concurrency, distributed systems, and OCaml runtime development. Primary Affiliation: Indian Institute of Technology Madras Co-founder: Tarides His research explores: Concurrency and parallelism in OCaml Effect handlers for modular programming Mergeable Replicated Data Types for distributed systems Weak memory models and consistency guarantees Lock-free algorithms and safe multicore programming Recent publications focus on OCaml 5.0's concurrency features, effect handler integration, and verified CRDT implementations. He contributes to compiler design, runtime optimization, and testing frameworks for multicore systems. Service roles include committee memberships in SPLASH, ICFP, OCaml, and PROPL conferences. He actively bridges functional programming with systems research through practical implementations.

• Artificial Intelligence and Image Processing
• Computation Theory and Mathematics
• Cognitive Sciences
• +۳ مورد دیگر

Guillaume Ambal is a Researcher in the Department of Computing at Imperial College London's Faculty of Engineering. He holds the academic rank of Researcher and focuses on formalizing the semantics of weak memory models. His current work is under the supervision of Azalea Raad as part of a postdoctoral position. Affiliations: Department of Computing Collaborators/Colleagues: Alan Schmitt, Sergueï Lenglet, Azalea Raad His research interests span artificial intelligence, computation theory, and cognitive sciences, with a specific emphasis on programming language semantics and verification. His PhD work centered on 'skeletal semantics,' a framework simplifying programming language definitions, conducted under the supervision of Alan Schmitt and Sergueï Lenglet. No specific articles or grants are explicitly listed in the provided text.