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

• Fiber Lasers
• Optical Amplifiers
• High-Power Lasers
• +۳ مورد دیگر

Regina Gumenyuk is a Senior Research Fellow in the field of Physics, specializing in fiber laser technology and high-power optical systems. Her work contributes to the UN Sustainable Development Goals related to education and innovation. She holds a Doctor of Science (Technology) from Science and Engineering (2014) and a Master of Science (Technology) from Lappeenranta University of Technology (2008). Her research interests include fiber lasers, optical amplifiers, ultrafast laser systems, and their applications in biomedical photonics. Key areas of focus are high-power MOPA systems, tapered double-clad fibers, and coherent beam combining techniques. She also explores the integration of machine learning for optimizing fiber laser performance. Dr. Gumenyuk has supervised the master's thesis of Andrei Fedotov on upconversion nanoparticles for visible light sources (2017). She has received grants and awards, though specific details are not explicitly listed. Her contributions include advancements in tellurite fiber development, Er/Yb-doped fiber systems, and label-free cancer detection techniques in digestive and urinary systems. Her work has led to innovations in high-power laser systems, including MW-level amplifiers and tunable wavelength systems. She actively contributes to peer review in journals like Optics Letters and Applied Optics , and her research spans collaborations in material science and biomedical applications.

• Formal Methods
• Concurrency Theory
• Distributed Systems
• +۲ مورد دیگر

Wim Hesselink serves as a Professor within the Fundamental Computing group at the University of Groningen's Faculty of Science and Engineering. As an external employee ( Externe medewerker ), he maintains an active research profile with recent publications through 2025 and an ORCID identifier (0000-0002-1413-4320). His research centers on formal verification of concurrent systems, specializing in mutual exclusion protocols, linearizability of data structures, and temporal logic applications. Key contributions include theorem proving for shared memory systems, first-come-first-served scheduling principles, and wait-free algorithm design. His work directly addresses challenges in nondeterminism and atomicity within distributed computing environments. Analysis of his 2021-2025 publications reveals consistent focus on concurrency control mechanisms using formal methods. Major themes include lock algorithm verification (MCSH), temporal logic frameworks (UNITY), and linearizability proofs for arbitrary data objects. His methodology frequently employs proof assistants to establish correctness in shared-memory systems with nondeterministic behavior. Professor Hesselink has supervised 4 students and produced 125 research outputs including 94 articles, 13 book chapters, and 11 conference contributions. His international collaborations span multiple countries as visualized in the research network map, though specific grant details remain unreported in the source material.

Nikita Kovalمشاهده پروفایل

پژوهشگر

• Concurrent Programming
• Kotlin Coroutines
• Concurrent Data Structures
• +۶ مورد دیگر

Nikita Koval is a Researcher at JetBrains , specializing in concurrent programming, Kotlin coroutines, and testing frameworks. His work bridges academic research with industrial application, focusing on synchronization primitives, lock-free data structures, and JVM-based concurrency tools. Academic rank: Researcher Affiliation: JetBrains Research interests include: Concurrent algorithm design and optimization Formal verification of synchronization mechanisms Testing frameworks for JVM-based languages Memory-efficient lock-free data structures Scalability in coroutine communication Distributed systems debugging Publication trends show a focus on Kotlin coroutines, JVM concurrency, and testing frameworks like Lincheck. His work spans algorithm design (union-find, queues), formal verification (CQS), and practical tools for concurrency testing (Lincheck) across conferences like PPoPP, PLDI, and ECOOP. Scientific recognition: Nikita received the Best Paper Award at OPODIS 2019 for his work on concurrent union-find algorithms. His contributions to Lincheck and CQS have been adopted into Kotlin's core libraries. Workshop leadership: He offers a 4-day corporate workshop on concurrent algorithms, covering testing, debugging, and implementation of lock-free data structures, now booked for Q3/Q4 2025. The curriculum includes hands-on Java/Kotlin coding with topics like segment queues, fetch-and-add queues, flat combining, and concurrent hash tables.

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.

• Program Specification and Verification
• Concurrent Separation Logics
• Symbolic Execution
• +۵ مورد دیگر

Philippa Gardner is a Professor in the Department of Computing at Imperial College London, holding a UK Research and Innovation Established Fellowship (2018–2023). She specializes in program specification, verification, and concurrent separation logics. Her Gillian platform unifies symbolic execution, verification, and testing for C and JavaScript. She was elected a Fellow of the Royal Academy of Engineering (2020) and directed the Research Institute on Verified Trustworthy Software Systems (VeTSS, 2017–2023). Her work includes foundational contributions to separation logic, concurrent program reasoning, and mechanised language specifications. Education: PhD in Computer Science from Edinburgh (1992), supervised by Gordon Plotkin. Key roles: General Chair of POPL 2024, organiser of the Isaac Newton Institute's 'Verified Software' programme (2022). Research interests span formal methods, concurrency, and tool development. Notable grants include £1.5M EPSRC Established Career Fellowship (2018–2023) and £500K Facebook Research gift (2020). Awards include Imperial’s President and Rector’s Teaching Award (2013).

Serpil Kocabiyikمشاهده پروفایل

استاد

• Fluid Mechanics
• Computational Science
• Theoretical Fluid Dynamics
• +۳ مورد دیگر

Serpil Kocabiyik is a Professor of Mathematics at Memorial University of Newfoundland, leading research in fluid mechanics and computational science. She holds a Ph.D. from Western Ontario (1987) and has held academic positions at Manitoba and Western Ontario. Her work focuses on unsteady separated flows, vortex-induced vibrations, and numerical simulation methodologies. Education: B.Sc. & M.Sc. (Middle East Technical University, 1979/1981), Ph.D. in Applied Mathematics (University of Western Ontario, 1987). Postdoctoral fellowships followed before joining Memorial in 1999 as Associate Professor, promoted to Full Professor in 2005. Research Interests: Interdisciplinary applied mathematics, theoretical fluid mechanics, computational science. Specializes in fluid-bluff body interactions, numerical methods for PDEs, and validation across computational/experimental studies. Key Contributions: Over 80 refereed papers, $2M+ in grants, and mentorship of >30 students/postdocs. Pioneered studies on free surface flows with moving bodies and developed parallelized CFD algorithms. First woman in Canada to win Petro-Canada Young Innovator Award (2000) CAIMS Arthur Beaumont Distinguished Service Award (2006) Teaching: Courses include Numerical Algorithms, Fluid Mechanics, Partial Differential Equations. Advocated for STEM education equity, training 17→50 graduate students in her department (1999–2009).

Mohammad Sadoghiمشاهده پروفایل

استاد

• Database Systems
• Distributed Systems
• Blockchain Technology
• +۵ مورد دیگر

Mohammad Sadoghi is a Professor in the Department of Computer Science at University of California, Davis, where he leads the Exploratory Systems Lab. His research spans database systems, distributed computing, and blockchain technologies with over 54 publications from 2007-2025 and more than 900 citations. His primary research domains include: Distributed database transactions Byzantine fault tolerance Consensus protocols Event processing systems Blockchain applications Database indexing techniques Prof. Sadoghi's publication trajectory shows evolution from foundational work on boolean expression indexing and event processing to cutting-edge research on blockchain consensus mechanisms. His recent work (2023-2025) demonstrates significant contributions to understanding BFT protocols, with publications in top venues like VLDB, EuroSys, and IEEE TKDE. His research bridges theoretical analysis with practical implementations, particularly focusing on performance optimization and security in distributed environments. His notable recognition includes: ACM Senior Member (2020) Prof. Sadoghi has advised multiple doctoral students who have become active researchers in distributed systems, including Suyash Gupta and Thamir M. Qadah. His lab has secured research funding for projects spanning database engines, consensus protocols, and blockchain infrastructure. The Exploratory Systems Lab maintains strong industry and academic collaborations worldwide, with recent work focusing on edge-cloud consensus applications and high-performance data management systems.

Horst Schulteمشاهده پروفایل

استاد

• Control Systems Engineering
• Electrical Engineering
• Mathematical Modeling of Dynamic Systems
• +۴ مورد دیگر

Prof. Dr.-Ing. Horst Schulte is a Professor at the Department of Engineering I, HTW Berlin - University of Applied Sciences. His expertise lies in Control Systems Engineering, Electrical Engineering, and Renewable Energy Systems, with a focus on modeling, fault-tolerant control, and computational intelligence applications. Department of Engineering I, HTW Berlin Chair in Control Systems Group ResearchGate profile with 214 publications Research Interests include: Model-based and data-driven control systems Wind and photovoltaic power plants Takagi-Sugeno fuzzy systems Robust and fault-tolerant control Dynamic virtual power plants (DVPP) Computational intelligence in energy systems Scientific Awards : 10th Annual ISGAN Award (2024) HTW Berlin Research Award (2018/19) Best Paper in Control Theory (2013) Best BMBF Project of the Month (2012) Key Contributions involve power tracking control for renewables, fault reconstruction in wind turbines, and innovative converter control schemes. His work bridges theoretical control methods with practical energy system implementations.

• Distributed Systems
• Blockchain
• Concurrency
• +۲ مورد دیگر

Maurice Herlihy serves as the An Wang Professor of Computer Science at Brown University, where he leads research in distributed systems and blockchain technology. His academic career spans decades with continuous contributions to concurrency theory and practical distributed system design. Education: PhD in Computer Science from Massachusetts Institute of Technology (1984) MS in Computer Science from Massachusetts Institute of Technology (1980) BA from Harvard University (1975) His research focuses on fundamental problems in distributed computing, particularly transactional memory systems and blockchain scalability. Recent work centers on overcoming concurrency limitations in blockchain execution through sharding techniques, optimized transaction scheduling, and cross-chain protocols. He investigates how hardware features like trusted monotonic counters can enhance Byzantine fault tolerance in asynchronous networks. Analysis of his 2020-2025 publications reveals a dominant focus on blockchain systems, with 85% of recent work addressing scalability, concurrency, and security challenges. Key trends include sharded permissioned ledgers for enterprise applications, concurrent execution models for Ethereum, and formal verification of cross-chain protocols. His work bridges theoretical distributed computing with practical cryptocurrency system design. He has secured significant research funding including NSF SHF grants for run-time support in concurrent programming. While specific advisees aren't listed in source materials, his teaching of advanced courses like CSCI 1760 (Multiprocessor Synchronization) indicates active graduate mentorship in distributed systems.

• Distributed Computing
• Concurrent Computing
• Transactional Memory
• +۴ مورد دیگر

Rachid Guerraoui is a Moroccan-Swiss computer scientist and Full Professor in the School of Computer and Communication Sciences at EPFL. He is renowned for his significant contributions to distributed and concurrent computing, holding the prestigious Chair in Distributed Computing at the Collège de France (2018-19). As an ACM Fellow (2012) and recipient of the Dahl-Nygaard Senior Prize (2024), his work has shaped both theoretical foundations and practical implementations in distributed systems. Guerraoui earned simultaneous Master's degrees in Computer Engineering from École supérieure d'informatique électronique automatique (ESIEA) and in Computer Science from Pierre and Marie Curie University in 1989. He completed his PhD at Université d'Orsay in 1992 under the supervision of Christian Fluhr, with a dissertation titled "Programmation Répartie par Objets: Études et Propositions." Following postdoctoral research at EPFL, he joined the computer science faculty in 1999 after working at HP Labs and MIT. Guerraoui's research spans distributed computing, concurrent systems, transactional memory, and asynchronous algorithms. His work on establishing theoretical foundations of Transactional Memory, including the concept of opacity, has been highly influential. He has also made significant contributions to scalable information dissemination methods, asynchronous distributed computations, and the mathematical abstraction of indulgence. His research bridges theoretical rigor with practical implementations, as evidenced by systems like SwissTM and STMBench7. His publication record shows a clear evolution from theoretical foundations to practical implementations and broader applications. Early work focused on fundamental problems like consensus and renaming, while more recent publications address machine learning applications and public understanding of AI. The consistent thread throughout his career is a focus on making distributed systems more reliable, efficient, and accessible. Guerraoui has received numerous prestigious awards including: ACM Fellow (2012) ERC Advanced Grant Award (2013) Google Focused Award (2014) Middleware Best Paper Award (2014) Middleware 10-Years Best Paper Award Chair in Distributed Computing, Collège de France (2018-19) Dahl-Nygaard Senior Prize (2024) As an academic advisor, Guerraoui has mentored students including El Mahdi El Mahmdi, with whom he co-created the Wandida project - a collection of educational videos on computer science. His research has been supported by significant grants from the European Research Council and Google. Beyond research, Guerraoui actively participates in public discourse, particularly regarding computer science education and technology policy. Guerraoui leads the Distributed Computing Laboratory (DCL) at EPFL, which focuses on advancing the state of the art in distributed systems. The lab's work spans theoretical foundations, practical implementations, and educational outreach, reflecting Guerraoui's holistic approach to computer science research and education.

Jennyمشاهده پروفایل

استاد

• Turbulent Combustion Modeling
• Computational Fluid Dynamics
• Rarefied Gas Kinetics
• +۴ مورد دیگر

Professor Jenny leads the Jenny Research Group at ETH Zürich, specializing in turbulent reactive flows, rarefied gas kinetics, and biomedical fluid dynamics. Her work bridges fundamental research with industrial applications in energy systems and fluid mechanics. Develops advanced turbulence models (TDDM, hybrid LES/RANS) for multi-scale flows Pioneers data assimilation frameworks for RANS simulations using adjoint methods Advances particle-based stochastic algorithms for fractured porous media transport Her recent publications emphasize adaptive time integration techniques, probabilistic modeling of non-linear transport phenomena, and optimized simulation tools for hydrogen storage systems. The group's methodological innovations focus on reducing computational costs while maintaining physical accuracy through novel regularization strategies. Key applications include combustion device optimization, high-pressure tank filling analysis, and fractured reservoir simulations. Current projects integrate machine learning with traditional CFD methods to address challenges in droplet clustering, flame surface density propagation, and supersonic spray dynamics. The research framework spans from direct numerical simulations of fundamental flow physics to industrial-scale hybrid modeling implementations.

Thomas Wiesمشاهده پروفایل

استاد

• Program Analysis
• Verification
• Automated Deduction
• +۴ مورد دیگر

Thomas Wies is a Professor of Computer Science at the Courant Institute of Mathematical Sciences, New York University, and Chair of the Computer Science Department. He is a member of the Analysis of Computer Systems Group and has a personal website. Affiliation: New York University Research Focus: Program Analysis, Verification, Automated Deduction, Concurrency Teaching: Principles of Programming Languages (undergraduate), Programming Languages (graduate), Rigorous Software Development Research Interests: His work centers on program analysis, verification of concurrent systems, automated deduction, and applications of separation logic. He develops tools like Raven, GRASShopper, and Sprout for verifying concurrent programs and search structures. Recent Articles (2025-2023): Focus on SMT-based verification, concurrent data structures, temporal safety effects, multiparty protocols, and separation logic extensions. These span conferences like OOPSLA, CAV, IEEE S&P, and TACAS. Scientific Awards: Best Paper at ISSRE 2019 Best Paper at ICFP 2014 Professional Activities: Organizer/Co-organizer of VerifyThis 2025, Program Chair roles in NETYS 2023, VMCAI 2022, and others. Active in PC roles for POPL, PLDI, CAV, and VMCAI. Students & Group: Advises PhD students including Elaine Li, Devora Chait-Roth, and Ekanshdeep Gupta. Group alumni include Kshitij Bansal, Siddharth Krishna, and Wei Wang.

Erez Petrankمشاهده پروفایل

استاد

• concurrent computing
• programming languages
• memory management
• +۵ مورد دیگر

Erez Petrank is a Professor of Computer Science at the Technion - Israel Institute of Technology, where he holds the Andrew and Erna Viterbi Chair. His academic career spans decades with significant contributions to systems research, particularly in memory management and concurrent programming. He has maintained continuous academic service through leadership roles in major conferences including SPAA'24, ISMM 2023, and PPOPP 2021. His research focuses on concurrent computing, programming languages, and systems with special emphasis on memory management. Additional interests include parallelism, cryptography, data structures, approximation algorithms, and distributed computing. Petrank's work bridges theoretical foundations with practical systems implementation, particularly evident in his persistent memory research and garbage collection innovations. Petrank's publication record shows consistent contributions to ACM SIGPLAN conferences over two decades, with recent work focusing on non-volatile memory systems, lock-free data structures, and memory reclamation techniques. His research demonstrates a clear trajectory from foundational memory management concepts toward modern persistent memory architectures, reflecting adaptability to evolving hardware paradigms while maintaining theoretical rigor. H-index: 41 (Google Scholar) Erdos number: 2 62 co-authors across diverse research collaborations Petrank has mentored numerous researchers through his academic position and conference leadership roles, serving on program committees for major venues including PLDI, PPoPP, and ISMM. His professional service includes executive committee membership in ACM SIGPLAN (2009-2012) and steering committee roles for multiple conferences. He maintains active research collaborations with institutions worldwide, as evidenced by his extensive co-author list spanning theoretical computer science to practical systems implementation. His academic lineage traces back through Oded Goldreich, Shimon Even, and Hao Wang to intellectual giants including Isaac Newton and Galileo Galilei, reflecting deep roots in theoretical computer science and mathematics.