جستجوی استاد راهنمای دانشگاهی

Mohsen Lesaniمشاهده پروفایل

دانشیار

• Reliability of software systems
• Security of software systems
• Concurrent systems
• +۱۲ مورد دیگر

Mohsen Lesani is an Associate Professor in the Computer Science and Engineering Department at the University of California, Santa Cruz's Baskin School of Engineering. His research focuses on reliability and security of software systems, particularly concurrent and distributed systems, with recent emphasis on secure replicated systems and distributed machine learning. Dr. Lesani received his PhD from UCLA, MS in artificial intelligence from Sharif University of Technology, and BS in software engineering from University of Tehran. He was previously a postdoc at MIT. His educational background provides a strong foundation for his interdisciplinary research spanning programming languages, distributed systems, and security. His research interests center on creating reliable and secure distributed systems. Current projects include resilient and secure distributed systems, heterogeneous and reconfigurable secure distributed systems, automatic analysis and synthesis of replicated objects, verification of distributed systems, data analytics, secure exchange across blockchains, machine learning for performance models, domain-specific languages and type systems, and automatic fence insertion for concurrent systems. His work bridges theoretical foundations with practical implementations to address real-world challenges in distributed computing. Lesani's research has been recognized with several prestigious awards including the NSF CAREER award in 2020 and DARPA YFA award in 2022. His work has also received the SIGPLAN Research Highlight in 2019, a distinguished paper award at OOPSLA 2018, and a best paper award at ISSRE 2015. These accolades reflect the impact and quality of his contributions to the field. He actively mentors PhD students in the Safe and Secure Software (S3) lab, including Xiao Li, Eric Chan, Javad Saber-Latibari, and Tejas Mane. His research has been supported by multiple NSF grants, demonstrating sustained funding for his innovative work. Lesani serves on program committees for major conferences including POPL, PLDI, OOPSLA, and DISC, contributing to the academic community. Lesani leads the Safe and Secure Software (S3) lab at UC Santa Cruz, where his team works on cutting-edge research in distributed systems, programming languages, and security. The lab fosters a collaborative environment where theoretical insights are translated into practical systems that address real-world challenges in reliability and security of distributed applications.

Timothy M. Jonesمشاهده پروفایل

استاد

• Compilers
• Computer Architecture
• Binary Modification
• +۳ مورد دیگر

Timothy M. Jones is a Professor of Computer Architecture and Compilation at the University of Cambridge Computer Laboratory, where he leads research in systems-level computing. He is also a Fellow at Gonville and Caius College, contributing to academic leadership and student mentorship within the collegiate system. His primary affiliation with the Computer Laboratory positions him at the forefront of systems research within the university. Dr. Jones's research focuses on extracting various forms of parallelism (thread-level, data-level, memory-level) to enhance computational performance while addressing energy efficiency and reliability challenges. His work spans compiler design, binary translation, and microarchitecture optimization, with specific interest areas including: Compiler technologies for functional and parallel programming Hardware reliability and fault tolerance mechanisms Binary analysis and instrumentation frameworks Memory system optimization and virtual memory management Security enhancements through binary modification Runtime systems for heterogeneous architectures Analysis of his recent publications reveals strong emphasis on systems-level innovation, particularly in fault tolerance techniques, binary analysis tools, memory optimization, and parallel execution frameworks. His work consistently bridges theoretical computer science with practical hardware implementation challenges. Dr. Jones maintains active participation in the academic community through conference leadership roles, including serving as Program Co-Chair for CGO 2026 and committee positions at premier venues including ISMM, CGO, and ECOOP. He contributes to open-source academic resources through GitHub and maintains professional engagement via Twitter.

Dimitris Mitropoulosمشاهده پروفایل

استادیار

• Software Engineering
• Cybersecurity
• Secure Software Development
• +۳ مورد دیگر

Dimitris Mitropoulos is an Assistant Professor at the National and Kapodistrian University of Athens (NKUA) in the Department of Business Administration, where he teaches courses on Distributed Ledger Technologies, Data Security and Privacy, Algorithms and Business Analytics, and Introduction to Programming. He also serves as Head of the Reliability Engineering Directorate at the National Infrastructures for Research and Technology (GRNET), Greece's national research and education network organization. Previously, he was a Postdoctoral Researcher in the Computer Science Department at Columbia University. Dr. Mitropoulos received his Ph.D. degree in Secure Software Development Technologies from the Athens University of Economics and Business (AUEB) in 2014. His doctoral research was supported by the Heracleitus II Scholarship, co-financed by the European Union and Greek national funds. He is a member of prestigious professional organizations including ACM, IEEE, and USENIX. Dr. Mitropoulos conducts pioneering research at the intersection of software engineering and cybersecurity, with particular expertise in secure software development, vulnerability analysis, and blockchain security. His work spans multiple dimensions of software security including code injection attacks, infrastructure as code security, smart contract analysis, and dependency management in software ecosystems. His research methodology combines static and dynamic analysis techniques with empirical studies of real-world software systems, particularly focusing on Java, Python, and Solidity ecosystems. His recent work has made significant contributions to understanding security vulnerabilities in modern software development practices and infrastructure management. Dr. Mitropoulos has received numerous prestigious awards for his research contributions, including the Research Excellence Award from NKUA (2025), Distinguished Paper and Artifact Awards at PLDI '22, Best Data Showcase Award at MSR 2018, and multiple postdoctoral research funding scholarships. His work on "Finding typing compiler bugs" was recognized with both Distinguished Paper and Artifact Awards at PLDI '22, highlighting the significance and reproducibility of his research. He has also received recognition for his service to the academic community, including a Certificate of Appreciation from ESEC/FSE '21 for his contributions to conference organization. Dr. Mitropoulos has been actively involved in securing research funding and leading significant research projects. He currently serves as Principal Investigator for the SecOPERA project (2023-Today), funded by the European Commission under Horizon Europe. Previously, he contributed to several major EU and US-funded projects including eSSIF-Lab (2019-2022), FASTEN (2019-2022), PRIViLEDGE (2018-2021), CERTCOOP (2017-2020), PANORAMIX (2016-2019), and TREDISEC (2016-2018). His research has been supported by diverse funding sources including the European Commission's Horizon 2020 program, the National Science Foundation, and the Defense Advanced Research Projects Agency (DARPA). Dr. Mitropoulos plays an active role in the international research community through various leadership positions. He serves on program committees for top-tier conferences including OOPSLA (2026), ICSE (2026), ESEC/FSE (2025), and ISSTA (2025). He has previously served as Workshop Co-Chair for ISSTA 2025 and Student Volunteer Chair for ESEC/FSE 2021. His contributions to mentoring the next generation of researchers include serving as a mentor for the ICSE Student Mentoring Workshop (2022) and supervising Google Summer of Code projects (2017).

Manos Kapritsosمشاهده پروفایل

دانشیار

• Distributed Systems
• Formal Verification
• Fault Tolerance
• +۳ مورد دیگر

Manos Kapritsos is an Associate Professor in the Department of Computer Science and Engineering at the University of Michigan's College of Engineering. He leads the GLaDOS research group focusing on reliability of distributed systems through formal verification and fault-tolerant replication techniques. His research spans: Formal verification of concurrent and distributed systems Fault-tolerant replication protocols beyond client-server models Automation of verification processes for complex systems Performance verification including latency properties Reliable cryptographic code implementation Analysis of his publications reveals strong emphasis on: developing automated verification tools (Armada, Vale, IronFleet), creating novel replication protocols (Aegean), verifying performance characteristics (Performal), and improving specification reliability (IronSpec). His work consistently bridges theoretical formal methods with practical systems implementation. Awards and honors include: Jay Lepreau Best Paper Award at OSDI 2025 Jon R. and Beverly S. Holt Award for Excellence in Teaching (2022) NSF CAREER Award (2021) Distinguished Paper Award at PLDI 2020 Google Faculty Award (2017) Distinguished Paper Award at USENIX Security 2017 Grant support includes NSF FMitF grants (2020, 2023), NSF Large grant (2021), DARPA grant (2020), and Google Faculty Award (2017). He advises PhD students through the GLaDOS group, focusing on distributed systems verification. He directs the GLaDOS lab at University of Michigan, developing verification frameworks and reliable distributed systems. Current projects include automated proof generation (Basilisk) and efficient communication protocols (Scrooge).

Pavel Panchekhaمشاهده پروفایل

استادیار

• Programming Languages
• Program Synthesis
• Verification
• +۴ مورد دیگر

Pavel Panchekha is an Assistant Professor in the School of Computing at the University of Utah, where he holds the Warnock Chair for Junior Faculty. His research spans programming languages, web browsers, and numerical analysis, with a focus on developing programming language techniques to address challenges across computer science. Dr. Panchekha received his educational training at prestigious institutions: PhD in Computer Science from the Paul G. Allen School for Computer Science and Engineering at the University of Washington, advised by Michael D. Ernst and Zachary Tatlock BS in Mathematics from MIT Panchekha's research program has two major thrusts. First, he works on web browser internals , with projects including fuzzing layout invalidation, multi-tenant garbage collection, and optimizing 2D graphics. He is also authoring a textbook on web browsers that informs much of this research. Second, he focuses on automatic numerical analysis , with projects such as automatic accuracy improvement, synthesis via term rewriting, scalable static accuracy analysis, and math library implementation. He leads the FPBench and Herbie projects, which are major deployments of his research. His scholarly output demonstrates consistent contributions across programming languages, verification, and numerical methods. Recent work shows a growing emphasis on bidirectional typing systems, layout invalidation in browsers, and robust floating-point error analysis. His publications reveal a trajectory from foundational work on floating-point accuracy (notably the Herbie tool that won a Distinguished Paper Award at PLDI 2015) toward more comprehensive systems for program synthesis, verification, and browser optimization. Panchekha has received significant recognition for his research contributions: NSF Fellowship ARCS Foundation Fellowship Adobe Research Fellowship Wissner-Slivka Foundation Fellowship 2015 PLDI Distinguished Paper Award for work on the Herbie numerical analysis and repair tool As an advisor, Panchekha mentors a substantial group of students across multiple levels. He currently advises six students: Marisa Kirisame (PhD), Bhargav Kulkarni (PhD), Yumeng He (PhD), Artem Yadrov (MS), Jesus Ponce (BS), and Jonas Regehr (BS). Previously, he has advised over twenty students including PhD candidates like Ian Briggs and numerous MS and BS students. His advising spans theoretical topics in programming languages and practical applications in web browsers and numerical computing. Panchekha leads research groups focused on programming languages applications to web browsers and numerical analysis. His work on the Herbie tool for floating-point accuracy improvement has become influential in the programming languages community, and his more recent work on browser internals is shaping how researchers understand and optimize modern web rendering engines. He is currently developing a textbook on web browsers that aims to synthesize knowledge about browser architecture and implementation.

Sarah E. Chasinsمشاهده پروفایل

استادیار

• Programming Languages
• Human-Computer Interaction
• Program Synthesis
• +۳ مورد دیگر

Sarah E. Chasins is an Assistant Professor in the Electrical Engineering and Computer Sciences (EECS) department at the University of California, Berkeley, with research spanning programming languages and human-computer interaction. She leads the PLAIT Lab (Programming Languages for Approachable and Inclusive Tools) and serves as a faculty affiliate at the Berkeley Institute for Data Science (BIDS). Her work bridges computer science with social sciences, climate reporting, legal systems, and biological research through extensive collaborations. Dr. Chasins' research focuses on democratizing programming for non-traditional programmers including scientists, social scientists, journalists, and data scientists. Her work emphasizes creating approachable programming tools that help practitioners reach correct programs while understanding, extending, and trusting those programs. She specifically investigates program synthesis, programming tools for scientific domains, and human-centered programming language design. Her research mission aims to make programming a path to a more informed and evidence-driven society rather than just a way to get wrong answers faster. Her recent publications demonstrate a clear trajectory toward making programming more accessible and understandable. The work spans code search techniques, program synthesis approaches, refactoring tools, and studies of how domain experts interact with programming languages. A consistent theme across her research is placing human needs at the center of programming language design and implementation. Dr. Chasins actively mentors PhD students including Justin Lubin, Eric Rawn, Parker Ziegler, Sarah "Slim" Lim, Hellina Hailu Nigatu, David Minh-Duy Cao, and Marlena Preigh. She has previously advised numerous master's and undergraduate students who have gone on to work in both academia and industry. Her teaching includes core courses like CS164 (Programming Languages and Compilers) and specialized courses like CS294-184 (Building User-Centered Programming Tools) and CS39-001 (Technology, Society, and Power). She maintains an active service record in the programming languages community, having served on program committees for major conferences including PLDI, POPL, OOPSLA, and SPLASH. Notably, she co-chaired the Student Research Competition at PLDI 2020 and 2021 and has been involved in organizing workshops focused on programming languages and human-computer interaction.

• Compilers
• Computer Architecture
• High-level Synthesis
• +۵ مورد دیگر

Scott Mahlke is a Professor and Associate Chair in the Electrical Engineering and Computer Science Department at the University of Michigan. He is affiliated with the Advanced Computer Architecture Laboratory and the Software Systems Laboratory, where he leads the Compilers Creating Custom Processors (CCCP) research group. His research focuses on compilers, computer architecture, and high-level synthesis, with particular emphasis on designing next-generation computer systems that overcome challenges in performance, power consumption, and reliability. His work bridges the gap between hardware and software through innovative compiler technology that enables customized processors and accelerators. Mahlke's publications demonstrate a strong focus on compiler techniques for exploiting instruction-level parallelism, memory system optimization, and application-specific processor design. His research spans from fundamental compiler algorithms to practical implementations in both general-purpose and embedded systems. National Science Foundation CAREER Award (2003) Morris Wellman Faculty Development Assistant Professor (2004) 2006 ISCA Most Influential Paper Award Multiple best paper awards at major architecture conferences As an advisor, Mahlke has chaired numerous Ph.D. dissertations and actively mentors graduate students in the CCCP group. His research is generously funded by the National Science Foundation, Gigascale Systems Research Center, ARM Ltd., Samsung Advanced Institute of Technology, and other major organizations. The CCCP group maintains strong industry partnerships that facilitate the transfer of research innovations to practical applications.

Todd Millsteinمشاهده پروفایل

استاد

• Network Verification
• Programming Languages
• Probabilistic Programming
• +۳ مورد دیگر

Todd Millstein is a Professor in the Computer Science Department at the University of California, Los Angeles (UCLA). He served as the Computer Science Department Chair from 2022-2025 and is also an Amazon Scholar. His research focuses on making software systems more reliable through programming languages techniques, with significant contributions to network verification and probabilistic programming. Millstein received his Ph.D. from the University of Washington Department of Computer Science, where he was a member of the Cecil group led by Craig Chambers. Prior to that, he completed his undergraduate studies at Brown University under the guidance of Paris Kanellakis and Pascal Van Hentenryck. Millstein's research spans several areas of programming languages and systems with a focus on reliability. He has made significant contributions to network verification, developing the Batfish network configuration analyzer which is now managed by Amazon Web Services and forms the basis of Oracle Cloud's Network Path Analyzer. His work has been recognized with the ACM SIGCOMM Networking Systems Award in 2025. He also works on interactive program verification through lemma synthesis and scalable reasoning methods for probabilistic programming languages. His research bridges programming languages theory with practical systems challenges, as highlighted in his SPLASH/OOPSLA 2024 keynote "Everything is a Program (even if it's not)". Millstein's recent publications demonstrate a consistent focus on verification and reliability across multiple domains. His work shows a progression from foundational programming language techniques to practical applications in networking and probabilistic systems. Key themes include data-driven approaches to program analysis, synthesis of verification artifacts, and applying programming languages techniques to non-traditional domains like network configuration. Millstein's scientific achievements have been recognized with numerous prestigious awards including an NSF CAREER Award, an ACM SIGPLAN Most Influential PLDI Paper Award, an ACM SIGCOMM Networking Systems Award, IEEE Micro Top Picks selection, best-paper awards from PLDI, OOPSLA, and SIGCOMM, a Microsoft Research Outstanding Collaborator Award, an Okawa Foundation Research Grant, an IBM Faculty Award, and a Facebook Research Award. He has also received both the Northrop Grumman Excellence in Teaching Award (for junior faculty) and the Eon Instrumentation Inc. Excellence in Teaching Award (for senior faculty) from UCLA Engineering. Millstein advises several Ph.D. students including Ana Brendel, Poorva Garg (co-advised with Guy Van den Broeck), Rajdeep Mondal (co-advised with George Varghese), and Rathin Singha (co-advised with George Varghese). His research has been supported by various grants including an NSF CAREER Award, Okawa Foundation Research Grant, IBM Faculty Award, and Facebook Research Award. He has also been a Co-Founder and Chief Scientist of Intentionet, which was later acquired by Amazon Web Services. Millstein is actively involved in the Batfish project, an open-source network configuration analyzer that has had significant practical impact. Batfish is now managed by AWS, powers Oracle Cloud's Network Path Analyzer, and is used by dozens of companies. His research group continues to work on network reliability, developing techniques for scalable BGP policy verification and behavioral testing of protocol implementations.

Fei Heمشاهده پروفایل

دانشیار

• formal methods
• program analysis
• automated reasoning
• +۲ مورد دیگر

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems. Education & Employment: PhD from Tsinghua University (2008) Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007) Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present) Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis. Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference. Awards: Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025) Best Paper Awards at PPoPP 2022 and SETTA 2022 Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research. Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.

John Regehrمشاهده پروفایل

استاد

• Compilers
• Software Testing
• Formal Verification
• +۳ مورد دیگر

John Regehr is a Professor at the School of Computing, University of Utah, specializing in compilers, software testing, and formal verification. His research develops tools to improve software correctness and efficiency, including Csmith (random C program generator) and C-Reduce (test-case reducer). His group focuses on compiler validation, fuzzing techniques, and superoptimization, primarily targeting the LLVM infrastructure. Research interests span compilers, testing methodologies, formal verification, embedded systems, and program analysis. Recent work emphasizes practical tools backed by formal methods to detect and prevent software errors. Publications demonstrate strong trends in compiler verification and testing, with consistent focus on LLVM optimization correctness, translation validation, and automated bug detection through fuzzing and synthesis techniques. Scientific awards include: PLDI 2015 Distinguished Paper Award ICST 2014 Best Paper Award ACM SIGSOFT Distinguished Paper Award Leads a research group developing tools like Souper (superoptimizer) and Alive2 (translation validator). Maintains active academic service through program committees (PLDI, CGO, OOPSLA) and contributes to open-source compiler infrastructure.

• Database Systems
• Distributed Systems
• Machine Learning Systems
• +۳ مورد دیگر

Tim Kraska is an Associate Professor in the Department of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT), affiliated with the Computer Science and Artificial Intelligence Laboratory (CSAIL) within the School of Engineering. His research spans foundational areas in modern data systems: Database Systems Distributed Systems Machine Learning Systems Learned Indexes Cloud Databases Dr. Kraska pioneers the integration of machine learning into core database components, developing "learned systems" that replace traditional algorithms with ML models for significant performance gains. His work on learned indexes redefined indexing paradigms, while recent research extends this approach to garbage collection, query optimization, and concurrency control. His publication trends reveal a strategic shift toward applying ML to low-level systems problems, particularly in memory management and runtime optimization as demonstrated by his PLDI 2020 paper on Learned Garbage Collection. Award highlights include: ACM SIGMOD Jim Gray Doctoral Dissertation Award VLDB Early Career Research Contribution Award Marie Curie Fellowship At MIT, he leads a research group focused on next-generation data systems, securing grants from NSF and industry partners to explore the theoretical and practical boundaries of learned components in database engines. His team collaborates extensively with industry research labs on real-world deployment challenges. As a core member of CSAIL's distributed systems group, he contributes to MIT's leadership in reimagining data infrastructure for the AI era through cross-lab initiatives on scalable machine learning systems.

Brandon Luciaمشاهده پروفایل

استاد

• Intermittent Computing
• Energy-harvesting Systems
• Concurrency
• +۷ مورد دیگر

Brandon Lucia is a Full Professor in the Department of Electrical and Computer Engineering at Carnegie Mellon University's College of Engineering. He leads the abstract research group focusing on the intersection of computer architecture, systems, and programming languages. His work bridges theoretical foundations with practical implementations in energy-constrained environments. Lucia's research centers on intermittent computing systems and edge computing in extreme environments. His work on energy-harvesting systems has established fundamental principles for batteryless computing, while his orbital edge computing research pioneers computational intelligence for nanosatellite constellations. These research thrusts address critical challenges in reliability, efficiency, and programmability for systems operating under severe power constraints. His publication record shows a clear evolution from foundational work on intermittent computing models to sophisticated applications in space computing and edge intelligence. Recent publications demonstrate increasing integration of dataflow architectures with energy-harvesting constraints, particularly in satellite constellations where computational resources must be managed across distributed, power-constrained platforms operating in extreme environments. NSF CAREER Award (2017) IEEE TCCA Young Computer Architect Award (2019) Sloan Foundation Fellowship (2021) ASPLOS Best Paper Awards (2018, 2020) OOPSLA Distinguished Paper and Artifact Awards (2015) Lucia actively mentors numerous PhD students including Brad Denby, Zhuo Cheng, and Emily Ruppel, many of whom contribute significantly to his research program. His abstract research group maintains strong industry connections while pursuing fundamental advances in computing systems. The group has developed multiple open-source tools including Legerdemain for program analysis and MultiCacheSim for cache coherence simulation. His laboratory work spans from theoretical foundations of intermittent computing to practical implementations in space systems. Current projects include computational nanosatellite constellations, energy-minimal dataflow architectures, and secure edge computing systems that operate reliably despite frequent power failures.

Heather Millerمشاهده پروفایل

استادیار

• Distributed Systems
• Concurrent Programming
• Programming Languages
• +۴ مورد دیگر

Heather Miller is a tenure-track Assistant Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. Her academic journey includes prior roles as an Assistant Clinical Professor at Northeastern University's College of Computer and Information Science and as Executive Director of the Scala Center at EPFL. Miller's research centers on distributed and concurrent computation through the lens of programming languages, with particular emphasis on data-centric systems, big data processing, and edge computing. A defining theme throughout her work is composability - enabling construction of complex distributed systems through composition of components that are correct by construction. Her projects span distributable closures, flexible serialization techniques, futures and promises for asynchronous programming, and deterministic concurrent dataflow models. Her recent publications demonstrate strong trends in applying programming language theory to practical distributed systems challenges, with increasing focus on WebAssembly instrumentation, microservice resilience, and language model pipelines. This evolution reflects her commitment to bridging theoretical foundations with real-world system requirements. Dahl-Nygaard Junior Prize (2023) Mentorship forms a significant component of Miller's academic work. She actively supervises multiple PhD, MS, and undergraduate researchers at CMU, including Christopher Meiklejohn, Matthew Weidner, Huairui Qui, Ria Pradeep, and Luke Dramko. Her service contributions span numerous top-tier conferences including PLDI, SPLASH, ECOOP, and ICSE where she has served as committee member, chair, and keynote speaker. Miller co-founded the Curry On conference to foster industry-academia dialogue, hosting successful editions in Prague, Rome, Barcelona, Amsterdam, and London. She leads research groups focused on distributed programming models and maintains strong industry connections through Two Sigma, where she holds an affiliation. Her work consistently emphasizes practical open-source implementations, primarily within the Scala ecosystem where she's been a core contributor since 2011.

Nectarios Kozirisمشاهده پروفایل

استاد

• Parallel and Distributed Systems
• Computer Architecture
• Systems Software
• +۱۰ مورد دیگر

Nectarios Koziris is a Professor at the Department of Computer Science , National Technical University of Athens (NTUA) , and former Dean of the School of Electrical and Computer Engineering . His research focuses on Parallel and Distributed Systems , Computer Architecture , and Cloud Computing . Key Research Themes: Compiler-OS-Architecture Interaction, Datacenter Hyperconvergence, Sparse Matrix Optimization, Quantum Computing, FPGA Virtualization Leadership: Founder of ~okeanos (Europe's largest public Cloud IaaS), Co-founder of GFOSS , Member of IEEE Computer Society Greece, Advisor to Arrikto Inc. His work has led to over 180 publications with 5800+ citations (h-index 33) , including two Best Paper Awards (IPDPS 2001, CCGRID 2013) and Intel Recognition (2015). He has supervised 12 PhD students and participated in 15+ EU projects as coordinator or consortium partner. Scientific Leadership: Program Co-Chair for Europar 2012 , Organizer for IPDPS , ICPP , SC conferences, and active member in Cloud Computing Expert Groups for the European Commission.

Gérard Berryمشاهده پروفایل

استاد

• Computer Science
• Lambda Calculus
• Functional Programming
• +۵ مورد دیگر

Gérard Berry (born December 25, 1948) is a distinguished French computer scientist currently serving as Professor at the Collège de France, holding the permanent chair Algorithmes, machines et langages (Algorithms, Machines, and Languages) since 2012. He previously held the Informatique et sciences numériques chair (2009-2010) and the Technological Innovation Liliane Bettencourt chair (2007-2008) at the same institution. Before joining Collège de France full-time, he served as Director of Research at INRIA Sophia Antipolis (2009-2012) and at École des Mines de Paris (1977-2001). His research spans over 30 years in three main fields: lambda calculus and functional programming, parallel and real-time programming languages, and design automation for synchronous digital circuits. He is particularly renowned for developing the Esterel programming language. His work bridges theoretical computer science with practical industrial applications. Berry's research has evolved to include current work in Hop and HipHop for Web programming, formal verification of compilers, and languages for computer music. His publications demonstrate consistent contributions to programming language theory, formal methods, and their applications in hardware and software systems. Gold Medal of CNRS (2014) Chevalier de l'Ordre de la Légion d'Honneur (2012) Member of French Academy of Sciences (2002) Member of Academia Europaea (1993) Monpetit Prize of Académie des sciences (1990) Berry has advised 17 PhD students and reviewed numerous theses. His industrial experience includes serving as Chief Scientist Officer of Esterel Technologies (2000-2009), where he directed the implementation of the Esterel v7 compiler. He has also held significant leadership roles including President of the Scientific Council of IRCAM and membership on the Scientific Council of the National Education. His teaching at Collège de France has covered topics ranging from the foundations of computation to the societal impact of digital technology, with courses including The Informatics of Time and Events and Proving Programs: Why? When? How? His laboratory work has focused on developing practical applications of theoretical computer science concepts.