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

• Programming Languages
• Reactive Systems
• Web Programming
• +۲ مورد دیگر

Gérard Berry is affiliated with Collège de France in France, where he holds a professorial position. His academic work focuses on programming language design and implementation. His research interests span Programming Languages , Reactive Systems , and Synchronous Programming methodologies. Berry's work bridges theoretical computer science with practical web development applications, particularly in creating robust concurrent systems for modern web environments. Analysis of his publication shows consistent focus on reactive programming paradigms, with recent work examining the integration of synchronous and asynchronous models in JavaScript environments. His research contributes to solving fundamental challenges in event-driven web application development. Berry actively participates in premier programming languages conferences, as evidenced by his contribution to PLDI 2020. He has advised numerous students throughout his career and has been involved in significant research projects advancing programming language theory and practice, though specific details aren't provided in the current documentation.

Lindsey Kuperمشاهده پروفایل

استادیار

• programming languages
• distributed computing
• concurrency
• +۶ مورد دیگر

Lindsey Kuper is an Assistant Professor in the Computer Science and Engineering Department at the Baskin School of Engineering, University of California, Santa Cruz. She received her Ph.D. from Indiana University in 2015 and leads the CASL (Concurrency and Safety Lab) research group, which is part of the larger Languages, Systems, and Data (LSD) Lab. Her research focuses on programming-language-based approaches to building concurrent and distributed software systems that are elegant, correct, and efficient. Key research areas include: Library-level choreographic programming (in Haskell, Rust, and TypeScript) Dependently-typed diagrams for inductive reasoning about concurrent executions Expressing and verifying causal message delivery with refinement types Lindsey's research has been recognized with an NSF CAREER Award, a Stellar Development Foundation Academic Research Grant, a Google Faculty Research Award, and support from Amazon Web Services. Her work on "HasChor: functional choreographic programming for all" received the ICFP 2023 Distinguished Paper Award. She teaches courses in programming languages and distributed systems at UC Santa Cruz, including Foundations of Programming Languages and graduate/undergraduate Distributed Systems. Her undergraduate distributed systems lectures from 2020-2021 have been viewed over 200,000 times on YouTube. Lindsey co-founded the !!Con and !!Con West conferences of ten-minute talks on the joy, excitement, and surprise of computing, and serves on the board of the Exclamation Foundation. She has chaired numerous workshops and served on program committees for major programming languages conferences including PLDI, POPL, ICFP, and OOPSLA. Her current PhD students include Jonathan Castello, Tim Goodwin, Nathan Liittschwager, Patrick Redmond, Gan Shen, and Yan Tong. Recent graduates include Shun Kashiwa (MS, 2024) and Ali Ali (BS, 2024).

Michael F. P. O'Boyleمشاهده پروفایل

استاد

• Optimizing compilation
• Machine learning
• Heterogeneous systems
• +۳ مورد دیگر

Michael F. P. O'Boyle is a Professor of Computer Science at the University of Edinburgh's School of Informatics. He is a leading researcher in compiler technology, specializing in optimizing compilation, machine learning for compilation, and heterogeneous systems. His work addresses the critical challenges of compiling software for increasingly diverse hardware architectures in the post-Moore's Law era. Professor O'Boyle's research interests focus on: Optimizing compilation techniques Machine learning applications in compilation Heterogeneous computing systems Program synthesis Neural machine translation for code Hardware/software co-design His recent publications demonstrate a strong focus on tensor optimization, compiler infrastructure for heterogeneous systems, and machine learning applications in program analysis and transformation. O'Boyle's work bridges traditional compiler techniques with modern AI-driven approaches to code optimization, addressing the growing complexity of hardware-software interfaces. Professor O'Boyle has received several notable honors and awards: ACM CGO Test of Time award (2017) Senior EPSRC Research Fellow Fellow of the British Computer Society (BCS) He holds significant leadership roles including Director of the ARM Research Centre of Excellence at Edinburgh and Director of the EPSRC Centre for Doctoral Training in Pervasive Parallelism. O'Boyle is also a founding member of HiPEAC, a European network for high-performance and embedded architecture and compilation, and has delivered keynote addresses at major conferences including PPoPP 2019 where he presented his vision for "Rethinking Compilation in a Heterogeneous World."

Benjamin C. Pierceمشاهده پروفایل

استاد

• Programming Languages
• Type Systems
• Language-Based Security
• +۵ مورد دیگر

Benjamin C. Pierce serves as the Henry Salvatori Professor of Computer and Information Science in the School of Engineering and Applied Science at the University of Pennsylvania. He is a Fellow of the ACM with extensive editorial experience, having served as co-Editor in Chief of the Journal of Functional Programming and Managing Editor for Logical Methods in Computer Science. His research spans programming languages, type systems, language-based security, formal verification, differential privacy, and synchronization technologies. Pierce is renowned for developing foundational frameworks in bidirectional transformations (lenses), property-based testing, and differential privacy verification. His work bridges theoretical computer science with practical implementation, particularly evident in his development of the Unison file synchronizer and the Clowdr virtual conference platform. The trends in his recent publications reveal a sustained focus on verification techniques for privacy-preserving systems, particularly differential privacy, alongside continued innovation in bidirectional data transformations and property-based testing methodologies. His work increasingly integrates formal verification with practical implementation concerns. Fellow of the ACM Pierce has mentored numerous researchers through PLMW (Programming Languages Mentoring Workshop) events and has served on numerous program committees for major conferences including POPL, PLDI, and ICFP. His editorial work has significantly shaped the programming languages research community through his leadership roles in key journals. He leads development of the Unison file synchronizer, a cross-platform tool used worldwide, and co-developed the Clowdr virtual conference platform that gained prominence during the pandemic. His work demonstrates a consistent pattern of creating practical tools grounded in deep theoretical foundations.

Deligiannakis Antoniosمشاهده پروفایل

استاد

• Databases
• Sensor Networks
• Online Analytical Processing (OLAP)
• +۶ مورد دیگر

Antonios Deligiannakis is a Professor at the Department of Electronic and Computer Engineering, Technical University of Crete. His research focuses on databases, sensor networks, online analytical processing (OLAP), approximate query processing, and distributed systems. He holds a Ph.D. in Computer Science from the University of Maryland (2005), an M.Sc. from the same institution (2001), and a Diploma in Electrical & Computer Engineering from the National Technical University of Athens (1999). His career includes postdoctoral work at the University of Athens (2006–2007), a lecturer position there (2007), and an internship at AT&T Labs-Research (2003). He leads the Software Technology and Network Applications Laboratory , contributing to projects like extreme-scale analytics platforms (INFORE) and federated learning systems. Research areas span IoT workflow optimization, communication-efficient distributed learning, and real-time maritime event detection. His work emphasizes scalability, efficiency, and practical implementations for big data challenges. Courses taught include Structured Programming . Notable contributions include DAG* algorithms for IoT workflows, federated learning frameworks, and systems for proactive streaming analytics at scale. He has pioneered methods for outlier detection in sensor networks and efficient query processing over distributed streams.

Angelos Charalambidisمشاهده پروفایل

استادیار

• Programming Languages and Software Systems
• Declarative Programming Languages
• Computational Logic
• +۱ مورد دیگر

Angelos Charalambidis is an Assistant Professor at Harokopio University, affiliated with the Department of Informatics and Telematics. His academic and professional engagements focus on theoretical and applied aspects of computational logic and programming languages. Education: B.S. in Informatics, University of Athens (2005) M.S. in Computer Systems, University of Athens (2008) Ph.D. in Higher-Order Logic Programming, University of Athens (2014) His research interests include declarative programming languages, computational logic, and reasoning techniques, contributing to the broader field of Programming Languages and Software Systems. He has also explored applications in knowledge representation, preference modeling, and cloud-native systems. The trends in Angelos Charalambidis's publications highlight advancements in logic programming, including higher-order logic, fixpoint theory, ordered disjunction, and federated query processing. His work bridges theoretical foundations with practical implementations in formal methods and computational logic.

• Net-centric Information Systems
• Service-Oriented Architectures
• Web Engineering
• +۶ مورد دیگر

Giannis Tzimas is a Professor at the Department of Electrical and Computer Engineering, University of Peloponnese. He holds a BSc and PhD in Computer Engineering and Informatics from the University of Patras. His research focuses on Net-centric systems, Web Engineering, Big Data, AI applications, Digital Transformation for public sectors, and Bioinformatics. He has been a World Bank consultant since 2018, advising on digital transformation projects in Social Protection, Labor, and Education across Europe, Africa, Asia, and the Caribbean. Dr. Tzimas has extensive leadership experience, including Technical Manager at the Graphics, Multimedia & GIS Lab (University of Patras, 1996–2018) and Technical Coordinator at the Computer Technology Institute (1997–2011). He managed EU-funded R&D projects and collaborated on infrastructure development for the TEI of Messolonghi’s Network Operations Center (2009–2013). His research interests include Service-Oriented Architectures, Web Data Engineering, and applications of Machine Learning in public sector digitization. He has published widely in top journals and conferences, with recent work exploring AI-driven labor market analytics and pandemic employment impacts. Dr. Tzimas collaborates with international organizations and academic institutions, contributing to frameworks for interoperable social protection systems and digital labor market observatories. His work bridges academic research with real-world policy implementation, emphasizing data-driven solutions for societal challenges.

Nikos Spanoudakisمشاهده پروفایل

استادیار

• Multi-Agent Systems
• Artificial Intelligence
• Agent-Oriented Software Engineering
• +۱۱ مورد دیگر

Nikos Spanoudakis is an Assistant Professor at the Department of Electronic Engineering of Hellenic Mediterranean University , with concurrent research collaboration at Technical University of Crete . He holds a PhD in Computer Science (Artificial Intelligence) from Paris Descartes University (2009, "Très Honorable"), an MSc in Organization and Administration from Technical University of Crete, and a Diploma in Computer Engineering and Informatics from University of Patras. Research Focus: Multi-Agent Systems (AOSE, Computational Argumentation), Model-Driven Engineering , Smart Buildings , IoT , and Artificial Intelligence Applications in Ambient Intelligence, Finance, and Education Key Contributions: Created ASEME Methodology and AMOLA Language for agent modeling, developed Gorgias-B argumentation framework, and designed Kouretes Statechart Editor for robotic behavior specification His recent publications reveal a strong trend in Explainable AI (2023: Explainable Argumentation as a Service ), Smart Energy Systems (2025: Engineering IoT-Based Open MAS for Large-Scale V2G/G2V ), and EdTech Innovations (2024: Role Assignment in Programming Courses ). He has received prestigious ACM Senior Member (2023) and IEEE Senior Member (2012) distinctions, along with teaching recognition (2021) from Technical University of Crete. Academic Leadership: Serves as Editor for Springer Nature's Computer Science journal and has reviewed for 15+ top-tier publications including IEEE Intelligent Systems and Journal of Web Semantics Conference Involvement: Program Committee Member for 20+ international conferences (IJCAI, ECAI, AAMAS, AAAI) and organizer of multiple European Agent Systems Summer Schools

• Internet of Things (IoT)
• Edge Computing
• eHealth Systems
• +۷ مورد دیگر

Dr. Menychtas Andreas is an Assistant Professor at the Department of Digital Systems, School of Informatics and Communications, University of Piraeus. He holds a PhD from the National Technical University of Athens (2009), specializing in service-oriented architectures. His teaching focuses on distributed computing, programming, and information systems development across multiple institutions including the University of Piraeus and Hellenic Open University. Research interests center on modern computing infrastructures, software development, and IoT applications, with particular emphasis on Edge Computing, smart cities, telemedicine, and machine learning. He has led over 20 European and national projects, publishing >100 articles with 1,900+ citations. Key areas include AR healthcare solutions, bias mitigation in AI, and secure medical IoT systems. Notable contributions include the MedSecurance project (medical IoT security), CrowdHEALTH platform (big data-driven public health policies), and AGILE framework (open-source edge computing). His work bridges theoretical research with practical implementations in wearable tech, telemedicine systems, and urban smart infrastructure. Grants and collaborations highlight extensive industry partnerships, with current focus on digital twins for healthcare robotics (AI4Work), AI-driven pandemic monitoring, and gamification in healthcare platforms. His lab develops innovative solutions at the intersection of AR, edge computing, and healthcare informatics.

• Large-scale Scientific Computing
• Computational Linear Algebra
• Parallel and Distributed Processing
• +۴ مورد دیگر

Professor Efstratios Gallopoulos is a faculty member at the Department of Computer Engineering & Informatics , University of Patras, where he holds the Division of Computer Software . He currently serves as Deputy Department Chair and Director of the High Performance Information Systems Laboratory (HPCLab) . His academic career spans multiple institutions including the University of Illinois at Urbana-Champaign, University of California Santa Barbara, and collaborations with INRIA Rennes and NASA Goddard Space Flight Center. Education : B.Sc. in Mathematics (First Class Honours) from Imperial College London (1979) Ph.D. in Computer Science from University of Illinois at Urbana-Champaign (1985) Research Focus : His work centers on Large-scale Scientific Computing with emphasis on Computational Linear Algebra , Parallel/Distributed Processing , and Data Mining . Recent publications highlight innovations in Randomized Numerical Linear Algebra , Heterogeneous Cluster Scheduling , and GPU-Accelerated Inversion Techniques . Article Trends : His research bridges High-Performance Computing with Data Science , focusing on scalable algorithms for Matrix Computations , Recommender Systems , and Biomarker Analysis . The work spans theoretical advancements (e.g., Givens Rotations ) and practical implementations (e.g., pylspack library). Scientific Awards : NASA Group Achievement Award for Massively Parallel Processor (MPP) development ACM SIGWEB Hypertext Ted Nelson Newcomer Award (2012) Advising and Grants : He has advised numerous research projects funded by European Research Council , Hellenic Foundation for Research and Innovation (HFRI) , and international bodies like the US National Science Foundation. Notably, he co-organized the 2015 Gene Golub SIAM Summer School and served as Chair of the SIAM Gene Golub Summer School Committee (2020-24). Labs and Teams : He leads the High Performance Information Systems Laboratory (HPCLab) and co-directs the interdisciplinary graduate program Data Driven Computing and Decision Making . His teams have contributed to the Cedar vector multiprocessor project at UIUC and Text-to-Matrix Generator (TMG) tools for data mining.

Diego Garbervetskyمشاهده پروفایل

دانشیار

• Static Analysis
• Dynamic Analysis
• Reverse Engineering
• +۷ مورد دیگر

Diego Garbervetsky is an Associate Professor at the Computer Science Department, School of Sciences, University of Buenos Aires, and a Researcher at ICC/CONICET. He also serves as Director of the Institute of Research in Computer Sciences (ICC). His academic career spans software engineering, programming languages, and formal methods with a focus on program analysis and verification. His research interests include: Static and dynamic program analysis Reverse engineering and compiler optimizations Program understanding and validation Testing and verification of programs featuring rich protocols Automatic symbolic resource analysis (gas consumption, dynamic memory, energy, etc.) Garbervetsky's recent work focuses on smart contract analysis and verification, particularly for Solidity on Ethereum blockchain. His research bridges theoretical program analysis with practical applications in security-critical domains. He has developed several tools including Contractor for behavior validation, JConsume2 for heap memory analysis, and BudaPest for automated software verification. His scientific contributions have been presented at top-tier conferences including ICSE, FSE, ISSTA, and PLDI. Garbervetsky has served on numerous program committees for major software engineering conferences and has advised multiple PhD and undergraduate students through their research.

Adrian Sampsonمشاهده پروفایل

دانشیار

• computer architecture
• programming languages
• compilers
• +۵ مورد دیگر

Adrian Sampson is an Associate Professor in the Department of Computer Science at Cornell University, where he is part of the Computer Systems Laboratory and the programming languages group. He joined Cornell in 2016 as an Assistant Professor and was promoted to Associate Professor in 2022. Prior to Cornell, he was a Visiting Researcher at Microsoft Research (2015-2016). He received his Ph.D. from the University of Washington in 2015 under advisors Luis Ceze and Dan Grossman, with a dissertation on Hardware and Software for Approximate Computing. His research focuses on breaking down abstraction barriers and rethinking the hardware-software interface. He is particularly known for his work on approximate computing, which explores how computers can be more efficient by allowing them to make controlled mistakes. He leads the Capra research group at Cornell, which investigates programming languages and computer architecture. Sampson's recent publications demonstrate a strong focus on hardware acceleration, FPGA programming, compiler design, and programming language theory. His work often bridges the gap between high-level programming abstractions and low-level hardware implementation, with particular attention to predictability, verification, and energy efficiency. He has made significant contributions to geometry types for graphics programming, timeline types for modular hardware design, and virtual machines for FPGA programming. Among his notable recognitions are the IEEE TCCA Young Computer Architect Award (2021), NSF CAREER award (2019), and multiple Distinguished Artifact Awards at major conferences. He has advised numerous Ph.D. students who have gone on to positions at institutions like Wellesley College, Northwestern University, and Amazon. Sampson is actively involved in academic service, serving on program committees for major conferences including PLDI, ASPLOS, and ISCA. He has also held leadership roles such as ACM SIGARCH Board of Directors (2023-2025) and SIGPLAN Information Director. His teaching at Cornell includes courses on computer systems, programming languages, and advanced compilers.

Marco Guarnieriمشاهده پروفایل

دانشیار

• Security and Privacy
• Program Verification
• Programming Languages
• +۳ مورد دیگر

Marco Guarnieri is an Associate Professor at the IMDEA Software Institute in Spain, where he leads research at the intersection of security, programming languages, and computer architecture. Prior to his current position, he completed his Ph.D. in Computer Science at the Institute of Information Security at ETH Zurich in 2017. His educational background includes: PhD in Computer Science, 2017, ETH Zurich MSc in Computer Engineering, 2012, Università degli Studi di Bergamo BSc in Computer Engineering, 2010, Università degli Studi di Bergamo Dr. Guarnieri's research spans multiple security domains with particular focus on: Security at the hardware-software boundary Microarchitectural side-channel attacks and countermeasures Database security and access control Formal methods for security verification Secure compilation and information flow control His publication record shows consistent contributions to microarchitectural security, especially regarding speculative execution vulnerabilities and hardware-software leakage contracts, combining theoretical foundations with practical implementations that have advanced secure systems design. Dr. Guarnieri has received significant recognition for his research: Distinguished paper award at CCS 2024 Distinguished paper award at CCS 2023 Distinguished paper award at CCS 2022 Best paper award at S&P 2021 He actively contributes to the research community through conference organization and program committees for PLDI, POPL, and other top venues. Dr. Guarnieri maintains an active research group at IMDEA Software Institute and is currently seeking talented researchers to work on security at the hardware-software interface.

Dominik Helmمشاهده پروفایل

استاد

• Program Analysis
• Static Analysis
• Call Graph Algorithms
• +۵ مورد دیگر

Dominik Helm serves as an interim professor at the University of Duisburg-Essen and is a researcher at the Software Technology Group, Technical University of Darmstadt since 2018. He holds a Dr.-Ing. degree and serves as the lead maintainer of the OPAL static analysis framework. Helm is also affiliated with ATHENE (National Research Center for Applied Cybersecurity) and CRISP, where he contributes to cybersecurity research focusing on 'Security at Large' for comprehensive systems. Dr. Helm's research centers on modularization and automatic parallelization of collaborative static analyses to improve precision, soundness, and performance. His work specifically targets the OPAL framework for Java VM bytecode, with expertise spanning purity and immutability analyses, modular call graphs, and bug/security vulnerability detection. His research bridges theoretical foundations with practical implementation, addressing real-world challenges in static analysis. His publication record shows consistent contributions to top-tier conferences (PLDI, ISSTA, ESEC/FSE, ASE) with recent work focusing on cross-language analysis, modular call graph algorithms, and evaluation of static analysis precision. Helm has demonstrated particular interest in making static analysis more practical through modularity and parallelization. As an educator, Helm teaches courses including Software Engineering, Type Systems, Quality Assurance, and Program Analysis at the University of Duisburg-Essen. He has supervised multiple student teams through bachelor and master projects, guiding research on call graphs for dynamic languages, IDE solvers, alias analysis, and immutability analysis. Dr. Helm actively contributes to the academic community through program committee service for ICSE, ISSTA, ASE, and other major conferences. His work with the OPAL framework represents a significant contribution to the static analysis community, providing a platform for developing and composing modular analyses for Java bytecode processing and analysis.

Konstantinos Limniotisمشاهده پروفایل

مدرس

• Cryptography
• Boolean Functions
• Network Security
• +۵ مورد دیگر

Konstantinos Limniotis is an ICT Specialist at the Hellenic Data Protection Authority since 2009 and an active academic teaching at multiple Greek and Cypriot universities. He is currently teaching 'Network and Telecommunications Systems Security' at the University of Athens, 'Cryptography' and 'Security risk management' at the Open University of Cyprus, and has previously taught at the University of Peloponnese, Harokopio University of Athens, and Technological Educational Institutes. Since 2022, he is a member of ENISA's Ad Hoc Working Group on Data Protection Engineering. Dr. Limniotis received his B.Sc. in computer science (1999), M.Sc. in communications systems and networks (2002), and Ph.D. in 'Signal Processing Techniques in Cryptography' (2007) from the Department of Informatics and Telecommunications at the National and Kapodistrian University of Athens, under the supervision of Professor N. Kalouptsidis. His research focuses on the intersection of cryptography, security, and data protection. Dr. Limniotis has made significant contributions to cryptographic Boolean functions, particularly in algebraic immunity properties, and has extended his expertise to practical applications in data protection and privacy. His work bridges theoretical cryptography with real-world applications in personal data protection, particularly in the context of GDPR compliance. Recent research directions include post-quantum cryptography, blockchain security, and privacy-enhancing technologies for emerging applications like AI systems and IoT ecosystems. His publications demonstrate a clear trajectory from theoretical cryptographic research to applied security and privacy solutions that address contemporary regulatory and technological challenges. Dr. Limniotis has received multiple 'Excellence in Teaching' Awards from the Open University of Cyprus (2019-2023), recognizing his contributions to cybersecurity education. His teaching spans graduate programs in Computer and Network Security, Telecommunications Systems, and Data Science. As an active contributor to data protection policy, Dr. Limniotis has participated in multiple ENISA reports on pseudonymization techniques, data protection engineering, and personal data sharing. His work with the Hellenic Data Protection Authority since 2009 demonstrates a strong commitment to bridging academic research with practical data protection implementation.