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

Sergio Montenegroمشاهده پروفایل

استاد

• Aerospace Information Technology
• Dependable Computing
• Distributed Systems
• +۶ مورد دیگر

Prof. Dr.-Ing. Sergio Montenegro is a Professor of Aerospace Information Technology at Julius-Maximilians-University Würzburg, where he leads the Chair of Computer Science VIII. His academic journey includes a Bachelor's in Computer Science from Universidad del Valle de Guatemala (1978-1982), a Diploma from Technische Universität Berlin (1983-1985), and a Dr.-Ing. from TU Berlin (1989). Prior to joining academia, he held positions as a software developer (1979-1982), research coordinator at Fraunhofer Gesellschaft (1985-2007), and Head of Department at DLR (2007-2010). His research focuses on dependable distributed systems for aerospace applications, including satellite networks, real-time operating systems (RODOS), UAV swarm control, fault-tolerant architectures, and space mission software. Key projects span satellite formation flight (TET, AsteroidFinder), solar sail missions, distributed avionics (VIDANA), and medical IoT systems. Recent publications (2018) demonstrate strong emphasis on distributed spacecraft systems, UAV navigation, fault tolerance, and software engineering for space applications. Trends include miniaturized satellite technologies, decentralized control algorithms, real-time OS verification, and Java-based space systems. He leads research in distributed computing networks and UAV laboratories, supervising projects like VaMEx-LaOLA (Mars exploration) and ultra-wideband positioning systems. Though no awards are documented, he has coordinated over 100 projects including ESA and DLR missions.

Michael Coblenzمشاهده پروفایل

استادیار

• Usability of programming languages
• User-centered programming language design
• Type systems for safety
• +۶ مورد دیگر

Michael Coblenz is an Assistant Professor in the Computer Science Department at University of California, San Diego. His research focuses on integrating user-centered design into programming language development, creating safer languages for blockchain and scientific computing. He completed his Ph.D. at Carnegie Mellon University under Jonathan Aldrich and Brad A. Myers, followed by a Basili postdoctoral fellowship at University of Maryland. Specializes in usability of programming languages Created Obsidian language for safer smart contracts Developed PLIERS methodology for iterative language design Active in Rust usability and REST API quality research His work bridges programming languages and human-computer interaction, with recent projects including Kale (safer spreadsheets) and climate change-focused programming tools. He has served on program committees for SPLASH, VL/HCC, and HATRA conferences. 2025: Graduate Consortium Co-chair at VL/HCC 2024: HATRA Organizing Chair 2023: Doctoral Symposium Chair at SPLASH

André Brinkmannمشاهده پروفایل

استاد

• Data Center Management
• Cloud Computing
• Storage Systems
• +۵ مورد دیگر

André Brinkmann is a full professor at the Department of Computer Science, Johannes Gutenberg University Mainz, leading the Efficient Computing and Storage Group. He previously served as head of the university's data center (2011–2021) and was an assistant professor at Paderborn University (2008–2011). He holds a Ph.D. in Electrical Engineering from Paderborn University (2004) and managed the Paderborn Centre for Parallel Computing (PC²). His research focuses on algorithm engineering for data center management, cloud computing, storage systems, and high-performance computing (HPC). Notable projects include: Development of ad hoc file systems like GekkoFS and IO-SEA for exascale architectures Optimization of storage systems (e.g., hybrid RAID, SSD garbage collection) Quantum computing compiler research for trapped-ion architectures Leadership in initiatives like the I/O Trace Initiative and BINARY (Big Data in Atmospheric Physics) He serves as Senior Associate Editor of ACM Transactions on Storage and co-chairs major conferences like FAST 2026 and ARCS 2026.

François Trahayمشاهده پروفایل

استاد

• High Performance Computing
• Runtime Systems
• Performance Analysis
• +۴ مورد دیگر

François Trahay is a Full Professor in the Computer Science department at Télécom SudParis (Institut Mines-Télécom) and a member of the Benagil Inria team. He leads research in high-performance systems, runtime systems, and performance analysis for HPC and distributed systems. He holds an HDR from Institut Polytechnique de Paris and a PhD from University of Bordeaux (2009). His work includes the EZTrace framework for performance analysis and contributions to storage systems optimization. Education: 2021: Habilitation à Diriger des Recherches (HDR), Institut Polytechnique de Paris 2010: PostDoc at Riken, University of Tokyo 2009: PhD in Computer Science, University of Bordeaux 2006: MS in Computer Science, University of Bordeaux Research focuses on runtime system design, HPC trace analysis, and storage efficiency. Recent projects include PALLAS trace format (IPDPS 2025) and GPU performance prediction (Euro-Par 2024). He advises 4 current PhD students and has supervised 2 former students now in industry. Key contributions include: Co-developer of EZTrace performance analysis framework Co-author of 60+ peer-reviewed papers in top venues (IPDPS, IEEE Cluster, ICPP) Technical leadership in Inria's Benagil team and Samovar Lab

Francois Trahayمشاهده پروفایل

دانشیار

• High Performance Computing
• Storage Systems
• Parallel and Distributed Systems
• +۲ مورد دیگر

François Trahay is an Associate Professor at Telecom SudParis, affiliated with the SAMOVAR research laboratory. His research focuses on high-performance computing systems, storage optimization, and performance analysis tools for parallel and distributed environments. He completed his PhD at Université Bordeaux I (2009) and Habilitation (HDR) at Institut Polytechnique de Paris (2021). Research Interests: Trahay specializes in optimizing storage systems (SSDs, RAID configurations), developing performance analysis frameworks (e.g., EZTrace, NumaMMA), and enhancing energy efficiency in HPC. Key areas include I/O performance, parallel runtime systems, and adaptive computing for machine learning workloads. Publication Trends: His recent work (2018–2025) demonstrates strong focus on: (1) SSD/RAID management techniques for modern storage hardware, (2) HPC performance tools for tracing and analysis, and (3) optimization strategies for distributed deep learning systems. Laboratory Affiliation: Member of SAMOVAR Laboratory (UMR CNRS), conducting research in distributed systems, networks, and computational efficiency.

• formal methods
• concurrency
• support systems
• +۵ مورد دیگر

Cliff B Jones is Professor of Computing Science at Newcastle University, where he has been faculty since August 1999. His distinguished career spans academia and industry, including positions at Harlequin (1996-1999) as Technical Director, The University of Manchester (1981-1996) as Professor of Computing Science, and IBM (1965-1979) where he worked in Hursley (UK), Vienna and Brussels. Dr. Jones earned his DPhil from Oxford University in 1981 under the supervision of Tony Hoare at Wolfson College. His doctoral research laid the foundation for his lifelong work on formal methods for software development and verification. His fifteen years at IBM included the creation of VDM (Vienna Development Method) with colleagues in the Vienna Lab. Prof. Jones is best known for his research into formal methods for the design and verification of computer systems. His current research focuses on concurrency, support systems, and logics, with particular emphasis on applying formal methods to wider issues of dependability. He is a pioneer of Rely/Guarantee reasoning for concurrent systems, with his Oxford research showing how interference could be handled in specifications and design verification. His work bridges theoretical foundations with practical applications, informed by his extensive industry experience. Prof. Jones' recent publications demonstrate a continued focus on concurrency verification through Rely/Guarantee reasoning, with increasing attention to real-time and mixed-criticality systems. His work shows a strong historical perspective on formal methods while addressing current challenges in concurrent programming, dependable systems, and the integration of AI techniques for proof automation. The research spans theoretical foundations, practical applications, and historical analysis of the field. His scientific achievements have been widely recognized: Fellow of the ACM (elected 1995) Fellow of the Royal Academy of Engineering (FREng, elected 2003) Fellow of IET (was IEE) Fellow of BCS Chartered Engineer (CEng) Senior Fellowship from the research council (5-year) Visiting Fellowship at Gonville & Caius College Prof. Jones has supervised numerous PhD students who have made significant contributions to formal methods. His research has been supported by substantial grants including EPSRC-funded projects (AI4FM, Taming Concurrency), an ARC grant DP130102901, and the Platform Grant 'Trustworthy Ambient Systems' (TrAmS). He served as Project Director for the five-university Interdisciplinary Research Collaboration (IRC) on 'Dependability of Computer-Based Systems' (2000-2007) and coordinated methodology work packages in the DEPLOY project. Prof. Jones leads the AI4FM project team at Newcastle University, which focuses on developing systems that can learn strategic ideas from interactive proofs to increase automation of similar proofs. Earlier in his career, he built a world-class Formal Methods group at Manchester University that was the academic lead in the largest Software Engineering project funded by the Alvey programme (IPSE 2.5), which created the mural theorem proving assistant.

François Pottierمشاهده پروفایل

پژوهشگر

• programming languages
• functional programming
• type systems
• +۵ مورد دیگر

François Pottier is a senior researcher at Inria in Paris, France, where he leads the Cambium research team. He is affiliated with the Gallium research group and has maintained an active research profile spanning several decades in programming languages and formal methods. His research focuses on programming languages , particularly functional programming and OCaml, type systems design and implementation, program verification using separation logic, and compiler construction . His work bridges theoretical foundations with practical implementation, evidenced by numerous open-source software tools he has developed. Pottier's publication record shows consistent contributions to top programming languages conferences (POPL, ICFP, ESOP) with recent work emphasizing separation logic frameworks, resource analysis, and formal verification of OCaml systems. His research demonstrates a clear trajectory from foundational type theory toward practical verification techniques for real-world programming languages. He has advised numerous PhD students including Remy Seassau, Tiago Soares, Clément Allain, and Alexandre Moine, among others, many of whom have gone on to research positions at institutions like New York University, Imperial College London, and Inria itself. Pottier maintains active service roles in the programming languages community as a member of IFIP Working Group 2.8 on Functional Programming and IFIP Working Group 2.16 on Language Design, and serves on program committees for major conferences including upcoming roles for JFLA 2026 and ITP 2026. He leads the Cambium research team at Inria, which focuses on programming language theory and implementation, particularly around OCaml and formal verification. The team develops both theoretical frameworks and practical tools that have influenced the broader programming languages ecosystem.

Martin Elsmanمشاهده پروفایل

استاد

• Programming Languages
• Theory of Computation
• Functional Programming
• +۵ مورد دیگر

Martin Elsman is a full-time Professor in the Programming Languages and Theory of Computation section at the Department of Computer Science, University of Copenhagen (DIKU). He serves as head of the PLTC section and head of studies for the BSc education in Computer Science and Economics. Elsman is also an active maintainer of several software tools including the MLKit and SMLtoJs. Joined DIKU in 2012 after 4 years at SimCorp (2008-2012) and previous Associate Professorship at IT University of Copenhagen (2003-2008). Co-developer of Futhark, TAIL APL compiler, SMLtoJs, and SMLserver. Education: M.Sc. in Engineering, Technical University of Denmark Ph.D. in Computer Science, University of Copenhagen (DIKU), supervised by Mads Tofte. Research Interests: Elsman works on programming language design and implementation, with a focus on functional programming, module systems, domain-specific languages for financial contracts, region-based memory management, compilation techniques for parallelism, program optimization, and static type systems. His work spans both theoretical and applied domains, including blockchain-based financial contract execution, web technology, and GPU programming using functional languages. Publication Trends: His recent articles focus on functional programming, array programming, parallelism, and memory management. Topics include region inference, type systems for data-parallelism, program optimization techniques, and domain-specific compilation for financial and quantum computing. He frequently collaborates with Troels Henriksen and others on tools like Futhark and MLKit.

Hongyun Hanمشاهده پروفایل

استاد

• Natural resource and environmental management
• Agricultural investment and modernization
• Rural development
• +۳ مورد دیگر

Hongyun Han is a Professor and Doctoral Supervisor at Zhejiang University's School of Public Affairs, where she serves as Director of the Institute of Modern Agriculture and Investment. With over 20 years of teaching and research experience, Professor Han specializes in natural resource and environmental management, agricultural investment and modernization, rural development, and agricultural economics and management. Her work has significant implications for policy development in China's agricultural and environmental sectors. Educational Background: Ph.D. in Economics, Trade College of Shenyang Agricultural University (1997-2000) M.S. in Forestry, College of Shenyang Agricultural University (1990-1993) B.S. in Mathematics, Department of Lanzhou University (1984-1988) Professor Han's research focuses on the intersection of agricultural economics, environmental management, and rural development in China. Her work examines critical issues such as energy transition in rural households, land use policies, agricultural diversification, and the economic implications of environmental policies. She has conducted extensive empirical research on China's agricultural policies, including the Sloping Land Conversion Program and Grain for Green initiative, analyzing their environmental and economic impacts. Her research often employs quantitative methods to assess policy effectiveness and provide evidence-based recommendations for sustainable development. Professor Han's publication record demonstrates consistent focus on China's agricultural and environmental challenges, with particular attention to policy design and implementation. Her work spans multiple disciplines including agricultural economics, environmental policy, rural development, and energy economics. A notable trend in her recent publications is examination of behavioral aspects in environmental policy implementation, such as household energy transition and waste management practices. She also investigates economic mechanisms behind agricultural structural changes and their implications for sustainable development in China. Research Funding and Projects: Principal Investigator, National Social Science Fund Major Project (2014): 'The study on path of transformation and innovation policies of environment management' Principal Investigator, Zhejiang Provincial Natural Foundation (2014): 'The study on the evolution of large-scale offshore aquaculture and non-point source pollution control policy design' Principal Investigator, Humanities and Social Sciences Department of Education Fund (2014): 'Job search, social capital, occupational mobility and generation of migrant workers to integrate into the city' Principal Investigator, Doctoral Program of Higher Specialized Research Fund (2013): 'Social capital and cooperation mechanisms of urban non-point source pollution control suburban' Participant, Fulbright Program (2010): 'Policy making of NPP in America: lessons and implications' Professor Han leads the Institute of Modern Agriculture and Investment at Zhejiang University, where her team conducts interdisciplinary research on agricultural economics, environmental management, and rural development policy. The institute collaborates with government agencies and international organizations to provide evidence-based policy recommendations for sustainable agricultural development in China.

Ali José Mashtizadehمشاهده پروفایل

دانشیار

• Operating Systems
• Distributed Systems
• Storage Systems

Ali José Mashtizadeh is an Associate Professor at the Cheriton School of Computer Science, University of Waterloo. His research focuses on operating systems, distributed systems, and storage, with expertise in system reliability, network optimization, and concurrent programming. Education: Ph.D., Computer Science, Stanford University (2017) M.S., Computer Science, Stanford University (2017) M.Eng., Electrical Engineering and Computer Science, MIT (2007) B.S., Electrical Engineering, MIT (2006) His research centers on designing scalable and reliable systems, with recent publications exploring TCP network frameworks, in-memory data persistence, and microsecond-scale scheduling. Key themes include optimizing tail latency, neutralization-based memory reclamation, and fault-tolerant distributed services. His articles consistently demonstrate innovations in low-latency networking, operating system architecture, and cloud infrastructure, with recent emphasis on serverless benchmarks and processor customization. No scientific awards or advising relationships are detailed in the provided materials.

• Systems
• Concurrency
• Memory Management
• +۵ مورد دیگر

Christoph Kirsch is a Professor and Chair of the Department of Computer Science at the University of Salzburg. He also serves as Chair of the Programming Research Laboratory at the Faculty of Information Technology, CTU Prague. His research focuses on systems, concurrency, memory management, and formal methods, with notable contributions including the Selfie educational software project and work on symbolic execution. He is a prolific author with over 50 publications in top venues like LCTES and EMSOFT. Education: Ph.D. in Computer Science (details not specified). His teaching includes courses on elementary computer science concepts and curricula development. He advises students such as Anna Bolotina and has graduated over a dozen PhD students. Research highlights include the Selfie system (self-referential C compiler and emulator), work on concurrency primitives like Scal and Timestamped Stack, and contributions to real-time systems (Logical Execution Time, Variable-Bandwidth Servers). His recent focus includes teaching digital thinking and evaluating eval in R programs. He has organized conferences like MPLR’24 and served on program committees for EuroSys and RTNS. His book Elementary Computer Science emphasizes foundational concepts for broad audiences.

Quentin Stiévenartمشاهده پروفایل

پژوهشگر

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

Michael D. Bondمشاهده پروفایل

استاد

• Programming Languages
• Systems
• Security
• +۶ مورد دیگر

Michael D. Bond is a Professor in the Department of Computer Science & Engineering at Ohio State University's College of Engineering. He leads the Programming Languages and Software Systems (PLaSS) Research Group, which focuses on designing program analyses and software and hardware systems that enhance computing reliability, scalability, and security. His academic service includes general chair for PLDI 2027, program committee membership for multiple top conferences, and committee roles in SIGPLAN Research Highlights (2024-2027). Professor Bond's research spans programming languages, systems, and security, with particular expertise in memory management, concurrency, hardware transactional memory, information flow control, and predictive race detection. His work bridges theoretical foundations with practical implementations, as evidenced by numerous open-source projects accompanying his publications. The PLaSS group has made significant contributions to understanding and improving memory models, developing efficient garbage collection techniques for modern architectures, and creating novel approaches to secure programming in languages like Rust. Analysis of his recent publications reveals a clear trajectory toward addressing security and reliability challenges in modern computing systems, particularly through language-based approaches. His work increasingly focuses on Rust programming language security mechanisms, memory disaggregation for datacenters, and advanced techniques for detecting and preventing concurrency bugs. The research demonstrates strong continuity in exploring memory models and concurrency while adapting to emerging hardware trends and security challenges. Outstanding Teaching Award, Department of Computer Science and Engineering, Ohio State University (2018) Lumley Research Award, College of Engineering, Ohio State University (2016) OOPSLA 2015 Distinguished Paper and Artifact Awards NSF CAREER Award ACM SIGPLAN Outstanding Doctoral Dissertation Award Intel PhD Fellowship Professor Bond actively mentors several PhD students including Chujun Geng, Vincent Beardsley, Chris Xiong, Victor Chen, and Noah Charlton, with external co-advisee Zixian Cai at Australian National University. His research is currently supported by multiple NSF grants including SaTC-2348754 (2024-2027), CyberCorps-2336531 (2024-2029), and CSR-2106117 (2021-2025), reflecting sustained funding for his work in information flow control, security, and systems research. The PLaSS Research Group maintains a strong presence in both academic and industrial communities, with graduated PhD students securing positions at major technology companies like Google, Amazon Web Services, and Huawei, as well as academic positions at institutions like UIUC and IIT Kanpur. The group's work combines theoretical rigor with practical implementation, consistently producing open-source artifacts that enable reproducibility and further research in the systems and programming languages community.

Steve Blackburnمشاهده پروفایل

استاد

• Memory Management
• Garbage Collection
• Virtual Machine Design and Implementation
• +۷ مورد دیگر

Steve Blackburn is a research scientist at Google DeepMind and professor of computer science at the Australian National University in the College of Engineering and Computer Science. His primary research focus is on programming language implementation, with expertise spanning memory management, virtual machines, and performance analysis. He has served in significant leadership roles including Associate Dean for Diversity and Inclusion (2016-2019) and as Program Chair for PLDI 2015 and General Chair for PLDI 2023. Blackburn's research interests center on making software run faster and more power-efficiently on modern hardware. His primary areas include microarchitectural support for managed languages, fast and efficient garbage collection, and the design and implementation of virtual machines. He maintains a strong interest in sound methodology and infrastructure for successful research innovation. His work bridges theoretical computer science with practical systems implementation, with particular focus on memory management frameworks and performance benchmarking. His publication record reveals a consistent focus on memory management systems, with recent work exploring garbage collection in modern contexts including CRuby, Julia, mobile devices, and memory-disaggregated datacenters. His research shows an evolution from foundational garbage collection algorithms toward practical implementations addressing real-world constraints in contemporary programming languages and hardware platforms. A notable trend is his increasing focus on quantifying and understanding the true costs of garbage collection in production environments. Fellow of the ACM Blackburn has supervised numerous doctoral students including Zhen He, John Zigman, Robin Garner, Ting Cao, and currently advises Wenyu Zhao, Zixian Cai, and others. He has also served on multiple program committees for major conferences including PLDI, ASPLOS, ISMM, and OOPSLA, demonstrating his significant contributions to the programming languages and systems research community. His service includes editorial roles for ACM Transactions on Programming Language Applications and Systems from 2017-2020. He leads two major research infrastructure projects: the MMTk memory management framework and the DaCapo benchmark suite, both of which have become foundational tools for researchers in programming languages and systems. These projects reflect his commitment to shared research infrastructure and reproducible methodology in systems research.

Coen De Rooverمشاهده پروفایل

استاد

• Program Analysis
• Software Quality
• Static and Dynamic Analysis
• +۷ مورد دیگر

Coen De Roover is a Professor at the Software Languages Lab of the Vrije Universiteit Brussel , actively leading research in program analysis, software quality, and security. He chairs the Bachelor in Computer Science program and supervises a dynamic research group. Research Focus: Static/dynamic analysis, automated testing, software maintenance, AI for SE, infrastructure as code security. Projects: Bugatti (2025-2028), Cracy (2024-2027), CRPF (2024-2028), BaseCamp Zero (2022-2026), EcoPipe (2023-2025), APAX (2022-2024). Scientific Awards: MSR 2025 Distinguished Dataset Award IEEE TCSE Distinguished Paper Award (SANER 2022) ICSE 2022 Best Artifact Award SCAM 2022 Best Artifact Award Conference Leadership: General Chair of SCAM 2024, Program Co-Chair for GPCE 2024, and active in organizing summer schools on security testing.