Sam Westrick is an Assistant Professor in the Courant Institute of Mathematical Sciences at New York University . Previously, he was a postdoctoral researcher at Carnegie Mellon University , where he also earned his PhD in 2022 . Research Focus : Provably efficient implementations of high-level parallel programming languages, with key contributions in parallel garbage collection , automatic granularity control , and functional language design Teaching : Currently teaching CSCI-GA.3033-121: Programming Parallel Algorithms at NYU; was a TA for CMU courses 15-210 and 15-122 His work includes the development of MaPLe (MPL) , an open-source parallel functional language with performance comparable to C/C++. Notable awards include the SIGPLAN Reynolds Doctoral Dissertation Award (2023) and best/distinguished paper recognitions at QCE'24, POPL'24, and others. Selected Publications explore topics like quantum circuit simulation , cache coherence specialization , and separation logic for disentanglement . Active in conference service as ML Family Workshop chair and PLDI/SPAA committee member. Mentoring : Advises PhD students, master's and undergraduate researchers at NYU and CMU Collaborators : Umut Acar, Guy Blelloch, Stephanie Balzer, and 20+ others
Dr. Andrew Butterfield is a Professor in the School of Computer Science and Statistics at Trinity College Dublin. He serves as Head of the Foundations and Methods Group and is actively involved with Lero: the Irish Software Research Centre. His academic work spans formal methods, functional programming, and theoretical computer science with applications in safety-critical systems. Butterfield's research primarily focuses on the Unifying Theories of Programming (UTP) paradigm, with specializations in shared-variable concurrency, formal verification of medical device software, and spacecraft operating systems. His work explores composition and local denotational semantics for concurrency, UTP theories for rely/guarantee reasoning, and implementations of proof assistance tools written in Haskell. Current projects include RTEMS-SMP (formal verification of multicore real-time scheduling funded by ESA) and FMHIDA (formal techniques for medical device software development funded by SFI through Lero). His recent publications reveal a strong emphasis on applying formal methods to real-world problems, with particular attention to concurrency models, medical systems verification, and tool development for UTP. The research shows consistent progression from theoretical foundations toward practical applications in safety-critical domains. Butterfield has developed several Haskell-based tools including the Theorem Proving Assistant for UTP, UTP Calculator, and Equational Reasoning Support. He has served on numerous program committees including TASE 2019, IWFM, FMICS, and FM, and is on the Editorial Board of Formal Aspects of Computing. He teaches courses including CS3016: Introduction to Functional Programming and CS2016/3D4 Concurrency and Operating Systems. Previously, he has taught Formal Methods, Functional Programming, Concurrency Theory, and various other computer science subjects. He also serves as School Disability Liaison Officer and Course Director for Creative and Cultural Entrepreneurship. Butterfield leads the Foundations & Methods Group at Trinity and has been involved in significant research projects including Formalising Interfaces between Software and Hardware (FISH) funded by SFI, Unifying Synchronous Systems, and ESA-funded activities on OS kernel formal verification. His work with the Irish School of VDM has produced LaTeX macros and Haskell implementations for formal method applications.
José García Rodríguez is a full professor at the University of Alicante, affiliated with the Higher Polytechnic School and the Department of Informatics and Computing Technology. He earned a BS in Computer Engineering (1994) and PhD in Artificial Vision (2009) from the same institution. Current roles: Director of the PhD Program in Computer Science Vice Dean of International Relations Editor-in-Chief of the International Journal of Computer Vision and Image Processing Associate Editor of Expert Systems Journal Senior member of IEEE, INNS, and Eucog networks His research spans computer vision, deep learning, robotics, and ambient intelligence, with applications in improving autonomy for individuals with acquired brain damage. He has led 20+ regional/national/international projects, including three consecutive national projects funded by Spain's Ministry of Economy and Competitiveness (DPI2013-40534-R, TIN2016-76515-R, PID2019-104818RB-I00). International collaborations include research stays at the University of Westminster, Queen Mary University of London, and Griffith University (Australia). He has organized special sessions at WCCI conferences (2010–2018) and special issues in JCR journals like Neural Processing Letters and Complexity. Professional memberships include European networks Eucog, HIPEAC, ELLIS, and COST Action IC1307.
Dr. hab. Beata Bylina is a Professor at the Faculty of Mathematics, Physics and Computer Science , Maria Curie-Skłodowska University (UMCS) , affiliated with the Department of Information Systems Software . She specializes in high-performance computing, numerical methods, and energy-efficient parallel programming. ORCID ID : 0000-0002-1327-9747 Contact : beata.bylina@umcs.pl / beata.bylina@mail.umcs.pl Office : Room D-522 (Institute of Computer Science) or Room B-2, Akademicka Street 9, Lublin Consultations : Wednesdays 10:00–12:00 (in-person or remote via Microsoft Teams) Her research focuses on: Parallelization and vectorization techniques for multicore architectures Energy consumption optimization in numerical algorithms Matrix factorization methods (WZ, LU, QR) for CPU/GPU hybrid systems Markov chain modeling for network performance analysis Compiler optimization impact on performance and energy metrics Recent publication trends show emphasis on: Time-energy correlations in multithreaded algorithms OpenMP/OpenACC for hybrid CPU-GPU implementations Efficient sparse matrix storage schemes for GPUs Impact of hardware-specific optimizations (Xeon Phi, frequency scaling) Comparative studies of parallelization strategies
Ioannis Venetis is an Assistant Professor at the University of Piraeus, School of Information and Communication Technologies, Department of Informatics, specializing in Operating Systems and Parallel Computing. He earned his PhD from the Department of Computer Engineering and Informatics at the University of Patras. His research spans programming models for parallel systems, scheduling optimization, and applications in computational neuroscience and seismology. Research Interests Operating Systems Parallel Computing Scheduling Algorithms High-Performance Computing Computational Neuroscience Seismology Projects Participation in European and national research programs Development of Gisola (GPU-accelerated seismic inversion tool) His teaching portfolio includes courses like Operating Systems, Parallel Processing, and Symbolic Programming. Articles highlight expertise in GPU acceleration, tridiagonal solvers, sensor networks, and many-core architectures. Notable contributions include work on Chimera states in neuronal dynamics and hierarchical workload scheduling frameworks.
Borut Robič is a Full Professor and Head of the Theoretical Computer Science Chair at the Faculty of Computer and Information Science, University of Ljubljana . He also serves as Head of the Laboratory for Algorithmics and President of the Faculty's Academic Assembly since 2005. His work spans computability theory, algorithms, and parallel computing, with notable contributions to foundational concepts and educational literature. University: University of Ljubljana School: Faculty of Computer and Information Science Roles: Professor, Head of Theoretical Computer Science Chair, Head of Laboratory for Algorithmics, President of Academic Assembly Robič's research interests focus on computability and complexity theory, algorithm design, and parallel computing frameworks. His publications emphasize historical context, formal methods, and modern computational paradigms like hypercomputing. Publication trends reveal a progression from foundational algorithmic theory (1999) to advanced computability research (2020), with a 2018 work bridging parallel programming and practical implementation. Projects include leadership in ARRS research programmes on parallel systems (2020-2026) and past collaborations on graph optimization and big data initiatives. Laboratory affiliations: Head of the Laboratory for Algorithmics and active member of its research team.
Håkan Grahn is a Professor of Computer Engineering at the Department of Computer Science, School of Computing, Blekinge Institute of Technology (BTH) in Sweden. He has been a faculty member since 1996, becoming a full professor in 2007. His academic leadership includes serving as Head of Department (1999-2002) and Dean of Research (2011-2013) at BTH. He leads multiple significant research projects including GPAI (General Purpose AI Computing) and Green Clouds, with funding from ELLIIT, the Knowledge Foundation, and Vinnova. His educational background includes: M.Sc. in Computer Science and Engineering (1990) from Lund University Ph.D. in Computer Engineering (1995) from Lund University Håkan's research spans several interconnected domains in computer science and engineering, with a strong emphasis on practical applications. His work in computer architecture focuses on optimizing system performance through innovative cache coherence protocols and memory management techniques. In the realm of parallel computing , he investigates multicore systems, GPU computing, and thread-level speculation to enhance computational efficiency. His research in AI and machine learning addresses energy efficiency, data stream mining, and practical applications in areas like district heating systems and airborne networks. The integration of image processing with machine learning forms another significant strand of his work, particularly in historical document analysis and medical imaging applications. These research areas converge in his leadership of major initiatives like BigData@BTH and GPAI, where he bridges theoretical advances with real-world implementation challenges. Analysis of Håkan's recent publications reveals a clear trajectory toward increasingly applied research with strong industry connections. While maintaining foundational work in computer architecture, his output increasingly focuses on practical AI applications, energy efficiency in computing, and domain-specific implementations in sectors like telecommunications, energy systems, and defense. The interdisciplinary nature of his work is evident in collaborations spanning computer science, engineering, and domain-specific applications, with a growing emphasis on sustainability and resource optimization in computing systems. Håkan has successfully supervised numerous doctoral students, with ten graduates and six current Ph.D. candidates. His research has been supported by substantial funding from: The Knowledge Foundation (BigData@BTH, HINTS, Green Clouds) ELLIIT (GPAI project) Vinnova (FANET-MCA, Directed COM & EW) Industry partners including Ericsson, Saab, Telenor, and Fortnox He is actively involved in multiple research groups including DISL (Distributed and Intelligent Systems Lab), CCS-Lab (Communication and Computer Systems Research Lab), and previously PAARTS (Parallel Architectures and Applications for Real-Time Systems). His leadership extends to organizing academic events like the Nordic workshop on Multi-Core Computing and the Swedish Artificial Intelligence Society workshop.
Felipe Gohring de Magalhaes is an Assistant Professor in the Department of Computer Engineering and Software Engineering at Polytechnique Montréal, where he has been working since July 2018 and assumed his current position in October 2024. He holds a dual doctorate from PUC-RS (Brazil) and Polytechnique Montréal (2016), with degrees in both computer science and computer engineering. His research spans embedded system architectures, real-time systems, avionics, and cybersecurity for emerging technologies. He is affiliated with the Microelectronics and Microsystems Research Group and the Multidisciplinary Institute for Cybersecurity and Cyber Resilience, reflecting his focus on integrated circuits, microelectronics, and system security. Professor Gohring de Magalhaes has published over 40 articles in international journals and conferences, with recent work focusing on photonic integrated circuits security, optical neural networks, and post-quantum cryptography for avionic systems. His publication trend shows consistent output with increasing focus on security aspects of emerging computing technologies. He has supervised at least one PhD student to completion and teaches courses including Introduction to Programming and Operating System Kernel. His research interests align with NSERC topics in integrated circuits, microelectronics, computer systems organization, and VLSI systems.
Jaejin Lee is a Professor in the Department of Computer Science and Engineering at Seoul National University (SNU) and serves as the Director of the Center for Manycore Programming and Multicore Computing Research Laboratory. He holds a BS in Physics from SNU (1991), an MS in Computer Science from Stanford University (1995), and a PhD in Computer Science from the University of Illinois at Urbana-Champaign (1999), where his research was supported by IBM and Korea Foundation for Advanced Studies fellowships. Research Focus: His work centers on heterogeneous computing systems with expertise in GPU/FPGA programming, deep learning compiler architectures, PyTorch/TensorFlow optimization, and quantum computing simulation environments. Key areas include parallelization techniques and performance enhancement for machine learning frameworks. Publications: His research output demonstrates consistent focus on GPU efficiency, compiler-directed optimizations, and distributed computing, with recent emphasis on deep learning acceleration and error resilience in heterogeneous architectures. Awards & Honors: IEEE Fellow IBM Graduate Fellowship Korea Foundation for Advanced Studies Graduate Fellowship Leadership: Directs the Multicore Computing Research Laboratory and Center for Manycore Programming, focusing on next-generation parallel computing architectures.
Anil Madhavapeddy is the Professor of Planetary Computing at the University of Cambridge Computer Laboratory, where he co-leads the Energy & Environment Group and is a member of the Systems Research Group. He is also a Fellow at Pembroke College where he serves as Director of Studies in Computer Science. Madhavapeddy completed his PhD from the University of Cambridge in 2003 and his BEng in Information Systems Engineering from Imperial College in 1999. He holds a JM Keynes Fellowship since 2022 for his work combining computer science with economics, and serves on the management committee of the Cambridge Conservation Initiative where he co-directs 4C (Cambridge Centre for Carbon Credits) and the Centre for Earth Observation. His research spans computer systems and programming languages with a strong focus on applying these technologies to global conservation, biodiversity, and climate change challenges. He leads the OCaml Labs group and has made significant contributions to open-source projects including OCaml, Docker, Xen, and OpenBSD. His work often bridges computer science with environmental science, developing computational approaches to address planetary-scale challenges. Madhavapeddy's recent publications demonstrate a clear trajectory toward integrating programming language research with environmental monitoring and conservation. His work spans from foundational programming language techniques to applied geospatial computing systems, with increasing emphasis on biodiversity measurement, carbon credit systems, and planetary-scale environmental monitoring. JM Keynes Fellowship (2022-present) As an educator, Madhavapeddy teaches undergraduate courses including Foundations of Computer Science, Software & Security Engineering, and Cloud Computing. He mentors MPhil and PhD students and co-founded the award-winning book 'Real World OCaml' (2nd Edition, 2022). He has co-founded several companies including Unikernel Systems, High Energy Magic, Segfault, and Tarides to translate research into real-world impact. Madhavapeddy leads the OCaml Labs group at Cambridge and works closely with the Energy & Environment Group, collaborating with colleagues from Plant Sciences, Zoology, Economics, and NGOs including UNEP-WCMC and the IUCN. His current efforts are primarily focused on conservation technology through partnerships with organizations like Canopy PACT.
Cristinel Ababei serves as an Associate Professor in the Department of Electrical and Computer Engineering at Marquette University's Opus College of Engineering. He directs the Marquette Embedded Systems (MESS) Laboratory and holds a Ph.D. in Electrical and Computer Engineering from the University of Minnesota (2004), with prior degrees from Technical University of Iasi in Romania. Ph.D., 2004, Electrical and Computer Engineering, University of Minnesota M.S., 1998, Signal Processing, Technical University of Iasi B.S., 1996, Microelectronics, Technical University of Iasi Dr. Ababei's research spans network-on-chip architectures, embedded systems design, FPGA implementations, and energy optimization systems. His work particularly focuses on uncertainty modeling in embedded systems, multicore processor optimization, and applications in underwater drones, LiDAR systems, and battery management. The MESS Lab under his direction conducts research in embedded systems (including tinyML and IoT applications), FPGAs as accelerators for computer vision, and network-on-chip architectures with emphasis on carbon emissions and uncertainty modeling. His recent publications demonstrate a clear trajectory toward integrating machine learning techniques with traditional hardware design, particularly in energy management systems, battery optimization, and environmental monitoring applications. This includes work on HVAC optimization using reinforcement learning, carbon-aware datacenter scheduling, and TinyML applications for battery health monitoring. William and Nancy Stemper Award for underwater drone prototype IEEE Senior Member (2015) Multiple NSF research grants as PI and Co-PI Teaching innovation grants for entrepreneurship-focused courses Dr. Ababei actively mentors students through the NSF REU Site program 'Hardware, Embedded Software, and Analytics for Environment Quality Monitoring' and has graduated multiple Ph.D. and M.S. students. He has secured significant research funding including NSF grants for uncertainty modeling in heterogeneous embedded systems, cross-layer optimization of energy and cost in multiple buildings, and REU site funding for environmental monitoring. He also founded the 'Men as Advocates and Allies Group' at Marquette as part of the Advance Program. His laboratory work includes the development of underwater drones for water quality monitoring, SmartBuilds energy simulation framework, and various embedded systems for environmental sensing applications. He has been instrumental in organizing WE-GIRLS Summer Camps to encourage girls in engineering from grades 6-8.
Matthew Fluet is an Associate Professor and Graduate Program Director in the Department of Computer Science at Rochester Institute of Technology's Golisano College of Computing and Information Sciences. He received his PhD in Computer Science from Cornell University and his BS in Mathematics from Harvey Mudd College. Prior to joining RIT, he was a research assistant professor at the Toyota Technological Institute at Chicago. Dr. Fluet's research focuses on programming languages, with particular emphasis on: Functional programming Compiler construction Program analysis Type systems Parallelism and concurrency His research has resulted in several significant projects including Manticore (a heterogeneous-parallel functional programming language), MaPLe/MPL (a functional language for provably efficient and safe multicore parallelism), and contributions to MLton (a whole-program optimizing Standard ML compiler). His work is supported by multiple National Science Foundation grants. Dr. Fluet has published extensively in top programming languages conferences including ICFP, POPL, PLDI, and PPoPP. His recent work focuses on automatic parallelism management, type-and control-flow analysis, and memory management for parallel systems, demonstrating a consistent research trajectory in making parallel programming safer and more accessible through language design. His notable research grants include: National Science Foundation (CISE Research Infrastructure): $224,329 (2014-2017) National Science Foundation (Software and Hardware Foundations): $236,744 (2014-2018) National Science Foundation: $412,261 (2011-2014) National Science Foundation: $91,867 (2008-2012) Dr. Fluet actively mentors graduate students, currently advising several MS project and thesis students. He teaches courses including Programming Skills (with focus on Rust), Compiler Construction, and Programming Language Concepts. He also serves in leadership roles including as Graduate Program Director for the Computer Science MS program and participates in departmental governance through the CS Curriculum Committee and GCCIS Curriculum Committee. He is an active member of the programming languages community, having served on program committees for major conferences and as Information Director for ACM SIGPLAN (2015-2018), demonstrating his commitment to advancing the field through research, education, and community service.
