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

• Concurrency
• Program Correctness
• Theorem Proving
• +۳ مورد دیگر

Prof. dr. Wim H. Hesselink is an Associate Professor at the University of Groningen's Faculty of Science and Engineering, affiliated with the Fundamental Computing Science department within the Bernoulli Institute. His research focuses on concurrency, program correctness, theorem proving, and formal methods in computer science and mathematics. He holds an office at Nijenborgh 9, room 5161.0374, and can be reached at w.h.hesselink@rug.nl. Key research contributions include lock algorithms (e.g., MCSH, Triangle), formal verification of distributed systems, and theoretical work on automata (Büchi) and algebraic structures (Lie algebras). His publications span journals like Formal Aspects of Computing and ACM Transactions on Parallel Computing . Education : Not explicitly detailed in text, but his work indicates expertise in advanced computer science and mathematics. Awards : None listed in the provided text. Grants : No specific grants mentioned. His recent work emphasizes high-performance concurrency solutions and algorithm verification, with applications in distributed systems and lock-free computing.

Ahmed Hassanمشاهده پروفایل

استادیار

• Distributed Computing
• Concurrent and Transactional Data Structures
• Multiprocessor Programming
• +۵ مورد دیگر

Dr. Ahmed Hassan is an Assistant Professor in the Department of Computer Science and Engineering at Lehigh University, part of the P.C. Rossin College of Engineering and Applied Science. He is a core member of the Scalable Systems Software (SSS) research group. Previously, he held an Assistant Professor position at Alexandria University and a Postdoctoral Research Associate role at Virginia Tech. His research focuses on distributed computing, concurrent and transactional data structures, multiprocessor programming, and NUMA-aware software design. He teaches courses including Analysis and Design of Algorithms, Advanced Programming Techniques, and Distributed Systems. Education: Ph.D., Computer Engineering, Virginia Tech, 2015 M.S., Computer Engineering, Alexandria University, Egypt, 2011 B.S., Computer Science, Alexandria University, Egypt, 2006 Research Interests: Hassan’s work spans distributed systems, transactional memory, and high-performance computing. He explores synchronization protocols, concurrent data structures, and optimizing software for multi-core architectures. His projects often address challenges in scalability, consistency, and efficiency in modern computing environments. Advising & Grants: While specific student advisees or grant details are not listed, his involvement with the SSS group suggests active participation in collaborative research projects. His work has been disseminated through top-tier conferences and technical reports, reflecting a strong focus on applied and theoretical systems research. Labs/Teams: Member of the Scalable Systems Software (SSS) research group at Lehigh University, focused on advancing scalable systems software and distributed computing solutions.

Alex Potaninمشاهده پروفایل

دانشیار

• Programming Languages Design
• Software Security
• Type Systems
• +۵ مورد دیگر

Roles & Affiliations: Associate Professor at the Australian National University (ANU), School of Computing. Previously held positions at Victoria University of Wellington (2006–2013), Carnegie Mellon University (visiting scholar), and Kyoto University (sabbatical). Served as editor for multiple journals and conference proceedings, including OOPSLA and APSEC. Education: PhD in Programming Languages (Victoria University of Wellington, 2006) BSc(Hons) in Mathematics (Victoria University of Wellington) Research Interests: Focuses on foundational aspects of programming languages, including ownership, immutability, and capabilities. Designs secure languages like Wyvern (collaboration with CMU) and contributes to Rust's lifetime parameters. Explores module systems, effects, and verified software. Recent work addresses reproducibility debt in scientific software and quantum computing models. Article Trends: Recent publications emphasize reproducibility challenges, reactive system verification, and deductive program synthesis. Highlights include systematic reviews on reproducibility debt and formal methods for secure reactive systems. Awards & Recognition: ECOOP 2024 Distinguished Artifact Award FORTE 2022 Best Paper Award ESEC/FSE 2007 Distinguished Paper Award Advising & Grants: Supervises 15+ current students across PhD, Masters, and Honours. Co-leads projects on secure module systems and verified traits. Collaborates with industry (e.g., Alibaba's CUE language) and academia (CMU, KIT). Labs & Teams: Active in the Wyvern project, secure language design initiatives, and international collaborations on formal verification and programming language semantics.

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

استاد

• Concurrent Computing
• Programming Languages
• Memory Management
• +۵ مورد دیگر

Erez Petrank is a Professor at the Department of Computer Science , Technion - Israel Institute of Technology , where he holds the Andrew and Erna Viterbi Chair. His research focuses on concurrent computing , programming languages , and systems with an emphasis on memory management . Additional interests include parallelism , cryptography , data structures , approximation algorithms , and distributed computing . Research Trends Recent publications highlight his work on safe memory reclamation (ERA Theorem, VBR), lock-free data structures (queues, stacks, B+ Trees), and persistent memory algorithms (NVTraverse, Mirror). These works span concurrent computing , distributed systems , and memory efficiency in multi-threaded environments. Scientific Awards Distinguished Paper Award at Euro-Par 2015 Contact Information Email: erez@cs.technion.ac.il Office: Taub 528, Technion Phone: +972-73-378-4942

Eddie Kohlerمشاهده پروفایل

استاد

• Computer Science
• Systems
• Networks
• +۵ مورد دیگر

Eddie Kohler is the Microsoft Professor of Computer Science at Harvard University's Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS), where he also serves as Director of Undergraduate Studies in Computer Science. His research focuses on high-performance systems, networks, and databases with an emphasis on concurrency control, data privacy, and scalable software design for multicore processors. He has contributed to foundational work in transactional systems, web application backends (e.g., Noria), and privacy-preserving technologies (e.g., Edna). His research spans theoretical frameworks like the Scalable Commutativity Rule and practical implementations such as the Alto lightweight virtualization system. Kohler's work often bridges theory and practice, addressing challenges in distributed systems, sensor networks, and regulatory compliance (e.g., GDPR). Notable contributions include innovations in in-memory database concurrency, optimistic transaction processing, and network congestion control protocols (e.g., TFRC-SP). His projects frequently emphasize system correctness through formal verification and empirical evaluation. His articles reflect a trajectory from foundational concurrency research to applied systems engineering, with recent focus on privacy in web applications and optimizing modern multicore architectures. No specific grants or advisees are listed in the provided information. Kohler leads research initiatives in scalable systems and maintains active collaboration with industry through his academic leadership roles.

Klaus-Jürgen Batheمشاهده پروفایل

استاد

• Computational Mechanics
• Finite Element Analysis
• Fluid-Structure Interaction
• +۵ مورد دیگر

Professor Klaus-Jürgen Bathe is a distinguished faculty member at the Massachusetts Institute of Technology in the Department of Mechanical Engineering . As a pioneer in computational mechanics , his work has shaped the development of the finite element method through innovations like the MITC shell elements , Bathe time integration , and subspace iteration method . He founded ADINA R&D, Inc. (acquired by Bentley Systems in 2022) and established the Klaus-Jürgen Bathe Leadership Program at the University of Cape Town to cultivate leadership in South African graduates.

• Multi-core computing
• Distributed computing
• Fault-tolerant distributed systems
• +۴ مورد دیگر

Neeraj Mittal is a Professor in the Department of Computer Science at The University of Texas at Dallas (UTD), part of the Erik Jonsson School of Engineering and Computer Science. His academic career spans over two decades, progressing from Assistant Professor (2002-2009) to Associate Professor (2009-2020) before achieving his current rank. He holds a Ph.D. in Computer Science from The University of Texas at Austin (2002), and has extensive postdoctoral and industry collaboration experience. Education: PhD (2002), M.S. (1997), and B.Tech. (1995) in Computer Science from The University of Texas at Austin and IIT Delhi respectively. His research focuses on multi-core computing, distributed systems, fault tolerance, and cognitive radio networks. He has advised numerous PhD and Master’s students, many of whom now hold prominent roles in tech industries like Intel, Google, and Cisco. Research Contributions: Over 80 refereed publications, including work on concurrent data structures (e.g., lock-free trees), distributed algorithms, and system reliability. Notable grants include NSF-funded projects on scalable concurrent data structures and distributed computing. His work has been recognized with awards like the Student Best Paper Award (PODC 2020) and multiple Outstanding Service Awards from UTD. Professional Service: Served on over 50 conference program committees, editorial boards, and university committees. Active in curriculum development, teaching innovation, and student mentoring. His leadership roles include Assessment Coordinator for the Computer Science department and membership in the Faculty Senate. Awards: Highlights include Distinguished Teacher of the Year (2009-2010), MCD Graduate Fellowship, and academic excellence awards from IIT Delhi. His contributions to distributed systems and parallel computing are internationally recognized.

Shuai Muمشاهده پروفایل

استادیار

• Distributed Systems
• Concurrency Control
• Large-Scale Storage Systems
• +۴ مورد دیگر

Shuai Mu is an Assistant Professor in the Department of Computer Science at Stony Brook University. Previously, they held a post-doctoral researcher and lecturer position at New York University. They earned a Ph.D. in computer science from Tsinghua University in 2015. Shuai's research focuses on distributed systems, particularly concurrency control in large-scale storage systems. They aim to enhance system efficiency without compromising correctness guarantees like serializability. Key areas include database systems, transactional memory, wide-area replication, and hardware/software optimizations. Their work addresses challenges in distributed/multicore architectures and fault-tolerant replication. Recent publications emphasize sustainability in data centers, concurrency control algorithms, and hardware acceleration techniques. They have explored innovative approaches such as the Causalmesh causal cache for serverless computing and NCC for natural concurrency control in datastores. Teaching responsibilities include CSE 535. While no awards are explicitly listed, their research contributions reflect a strong commitment to advancing distributed systems theory and practice.

Ben Reedمشاهده پروفایل

استادیار

• Distributed Systems
• Operating Systems
• Cloud Computing
• +۳ مورد دیگر

Benjamin Reed is an Assistant Professor in Computer Engineering at San José State University (SJSU) since 2018, currently on sabbatical during Fall 2024 and Spring 2025. His research spans distributed systems, cloud computing, operating systems, big data, and network storage. Research concentrations include: Distributed coordination systems (ZooKeeper) Lock-free transaction processing MapReduce optimization techniques Disconnected network services Educational tools for systems programming Recent publications focus on distributed storage consistency, educational technology for programming courses, and security protocols for disconnected networks. Earlier industry work includes contributions to ZooKeeper coordination system development at Yahoo! Research and distributed storage systems at Facebook. Significant projects: Directs the SJSU Systems Group researching wildfire storage systems and disconnected data distribution Leads the SJSU ICPC programming competition team Co-founded TECHcellence program creating CS pathways for underrepresented students Developed CodeVal educational tool for programming assignments

Michal Friedmanمشاهده پروفایل

استادیار

• Systems
• Concurrent Computing
• Programming Languages
• +۳ مورد دیگر

Michal Friedman is an Assistant Professor at the Department of Computer Science, ETH Zurich, specializing in systems, concurrent computing, programming languages, and sustainable computing. He leads research on designing system fundamentals across software and hardware to enhance performance and efficiency in next-generation computing platforms. Prior to ETH, he completed a postdoc at the same institution and earned his Ph.D. from the Technion under Prof. Erez Petrank, focusing on concurrent data structures for non-volatile memories. Education: Ph.D. in Computer Science (Technion, advised by Erez Petrank), BSc Summa Cum Laude (Technion). Awards include the Eric and Wendy Schmidt Postdoctoral Award (2022), Blavatnik Prize (2021), and Azrieli Fellowship (2018–2021). His work spans persistent memory systems, concurrent algorithms, and energy-efficient computing. Key contributions include PCcheck (ML checkpointing), Dirigent (serverless orchestration), and foundational research on non-volatile memory correctness conditions. He has authored over 15 papers in top conferences like ASPLOS, SOSP, and VLDB, and serves on program committees for systems and programming languages venues.

Alireza Karimiمشاهده پروفایل

استاد

• Robust Control
• System Identification
• Data-driven Controller Tuning
• +۳ مورد دیگر

Alireza Karimi is a Full Professor at École Polytechnique Fédérale de Lausanne (EPFL) within the School of Engineering, Institute of Mechanical Engineering. He leads the Data-Driven Modelling and Control (DDMAC) research group and serves on the Doctoral Program Commission for Robotics, Control, and Intelligent Systems. His educational background includes: B.Sc. and M.Sc. in Electrical Engineering from Amir Kabir University (Tehran Polytechnic), 1987 and 1990 DEA and Ph.D. in Automatic Control from Institut National Polytechnique de Grenoble (INPG), 1994 and 1997 Karimi's research focuses on data-driven controller tuning and robust control methodologies, with significant applications in mechatronic systems and electrical grids. His work bridges theoretical control concepts with practical implementations in power systems, robotics, and adaptive optics. Recent publications demonstrate strong emphasis on frequency-domain methods, Koopman operator applications, and robustness against nonlinearities. Analysis of his 15 most recent publications (2023-2024) reveals dominant research themes: data-driven frequency-domain control (appearing in 70% of works), power system applications (40%), and advanced robotics/optics implementations (30%). His group consistently develops methods for fixed-structure controllers validated through industrial case studies. Regarding academic leadership, Karimi supervises 6 active PhD students while having directed 11 completed theses. His teaching portfolio includes courses in Automatic Control, System Identification, and Advanced Control Systems. He maintains the DDMAC laboratory focused on experimental validation of control algorithms, with notable projects in adaptive optics for astronomy, grid-forming inverters for renewable integration, and precision motion control systems.

Michael L. Scottمشاهده پروفایل

استاد

• Concurrency and Synchronization
• Transactional Memory
• Persistent Memory
• +۴ مورد دیگر

Michael L. Scott is the Arthur Gould Yates Professor of Engineering at the University of Rochester's Hajim School of Engineering and Applied Sciences, leading the Department of Computer Science. He specializes in concurrency, synchronization, and transactional memory, with a focus on persistent memory systems and parallel computing. His research includes projects like Montage, Ralloc, and Hodor, addressing challenges in distributed computing and system reliability. Scott earned his Ph.D. from the University of Wisconsin-Madison in 1985. He has held roles including Department Chair and visiting positions at Google and the University of Wisconsin. His work spans textbooks like Programming Language Pragmatics and Shared-Memory Synchronization , and he has advised over 20 doctoral students. Recognized with the 2006 Dijkstra Prize, ACM and IEEE Fellowships, and teaching awards, Scott emphasizes interdisciplinary collaboration and ethical computing. His research bridges theory and practice, addressing societal impacts of technology through advocacy in areas like voting systems and privacy. Key projects include deterministic parallel Ruby, operating system innovations for accelerators, and foundational work on synchronization algorithms like the MCS lock. His contributions to C++ transactional memory standards and persistent memory tools like RSTM and Montage have influenced industry and academia.

Tom Spinkمشاهده پروفایل

مدرس

• Dynamic Binary Translation
• Hardware Virtualisation
• Operating Systems
• +۳ مورد دیگر

Dr. Tom Spink is a Lecturer at the School of Computer Science, University of St Andrews. His research focuses on efficient cross-architecture hardware virtualization, leveraging Dynamic Binary Translation (DBT) and hardware acceleration to enhance virtualized system performance. He teaches Operating Systems (CS3104) and Computer Architecture (CS4202), and serves as the First-level CS Coordinator. Dr. Spink holds a PhD in computer systems architecture from the University of Edinburgh and is a Fellow of the British Computer Society (BCS). His research interests span operating systems, virtualization, compilers, and runtime systems. Notable contributions include work on DBT hypervisors, weak memory model architectures (Risotto/Lasagne), and embedded systems security. He has been awarded the Best Paper Award in 2019 for his work on retargetable DBT hypervisors. Dr. Spink advises PhD student Ferdia McKeogh and collaborates on tools like Risotto and Lasagne. His work addresses challenges in cross-platform execution, IoT virtualization, and compiler optimizations for embedded systems. He actively engages in academic activities, including organizing conferences and delivering invited talks on hardware acceleration and virtualization techniques.

Greg Byrdمشاهده پروفایل

استاد

• Quantum Computing
• Computer Architecture
• High-Performance Parallel Systems
• +۳ مورد دیگر

Dr. Greg Byrd is a Professor in the Department of Electrical and Computer Engineering at North Carolina State University and serves as the Executive Director of the IBM Quantum Innovation Center at NC State. He is also Vice Chair of the IEEE-CS Quantum Technical Community (QTC). His research focuses on quantum computing, computer architecture, and high-performance parallel systems, particularly addressing communication overhead reduction in distributed systems. Education: Ph.D. in Electrical Engineering, Stanford University (1998) Master's in Electrical Engineering, Stanford University (1985) Bachelor's in Computer Engineering, Clemson University (1984) His research interests span Quantum Information Science , Superconducting Quantum Computers , and Computer Architecture . He has led initiatives like the IEEE International Conference on Quantum Computing and Engineering and contributed to quantum network testbeds and hybrid quantum-classical systems. His work bridges theoretical advancements with practical implementations, including educational tools for quantum computing. Recent Article Trends: Dr. Byrd's publications emphasize quantum circuit optimization, quantum internet protocols, and wildlife conservation applications of quantum algorithms. He also explores cache coherence mechanisms and lock-free architectures in classical systems. Awards & Honors: 2022 IEEE Computer Society Distinguished Contributor 2016 IEEE Computer Society Golden Core Award 2011–2012 Teaching Excellence Awards (William F. Lane, COE, NC State) He has advised students in quantum and parallel computing domains and contributed to grants such as the $25M NSF Quantum Leap Challenge Institute. His leadership roles in the IEEE and IBM collaborations highlight his impact on both academia and industry.

Peter Allan Buhrمشاهده پروفایل

استاد

• Concurrency
• Polymorphism
• Concurrent Monitoring
• +۴ مورد دیگر

Peter Allan Buhr is a Professor at the School of Computer Science, University of Waterloo. His primary research focuses on programming languages, concurrency, polymorphism, and tools for monitoring and debugging concurrent systems. He is known for developing μC++ and C∀, extensions to C and C++ that enhance concurrency and type safety. Buhr's work includes contributions to memory-mapped databases (μDatabase), debugging tools (MVD), and high-performance web server architectures. His research interests include concurrency control, lock-free algorithms, type systems, and persistent data structures. He has advised numerous graduate students on topics like C∀ type systems, concurrency patterns, and real-time scheduling. Buhr has published extensively in top-tier journals such as ACM Transactions on Parallel Computing and Concurrency and Computation: Practice and Experience. He leads the C∀ open-source project, aiming to modernize the C language while maintaining backward compatibility. His work on μC++ has been used in undergraduate concurrency courses at Waterloo for decades. Buhr's contributions to concurrency education and research have had a global impact, with tools and frameworks adopted widely in academia and industry.