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

• Grid Computing
• Distributed Systems
• Cloud Computing
• +۷ مورد دیگر

João Nuno De Oliveira e Silva is an Assistant Professor at the Department of Informatics at Instituto Superior Técnico, University of Lisbon. He teaches Concurrent Programming, Systems Programming, and related courses during the 2024/2025 academic semester. His research focuses on distributed systems, grid computing, cloud computing, and cybersecurity, with notable contributions to secure dataflow programming for Android applications, blockchain-based agent collaboration, and distributed computing frameworks like NuBOINC. His work emphasizes parallel execution environments, resource efficiency in dataflow models, and secure middleware solutions for bags-of-tasks. Key research themes include: Grid and distributed computing architectures Secure distributed applications (e.g., SGX enclave migration, anti-repackaging systems) Cloud infrastructure optimization (A2Cloud, geo-replication QoS) Autonomous agent systems for internet routing domains Biometric authentication for legacy systems Automated biological monitoring systems Notable projects include Flowverine (privacy-sensitive Android apps), TEEnder (SGX enclave migration), and Mercury (automatic parallelization middleware). His work bridges theoretical computer science with practical implementations in distributed and cloud environments. He has collaborated on over 30 publications since 2017, focusing on both foundational research and applied systems development. His teaching and research emphasize hands-on experience with modern distributed computing challenges.

Andrew Myersمشاهده پروفایل

استاد

• Programming Languages
• Computer Security
• Distributed Systems
• +۳ مورد دیگر

Andrew Myers is a Professor in the Department of Computer Science at Cornell University, specializing in programming languages, computer security, and distributed systems. He serves as the Editor-in-Chief for ACM Transactions on Programming Languages and Systems (TOPLAS) and has chaired major conferences including ACM POPL 2018, ACM CCS 2016, POST 2014, IEEE CSF 2010, and IEEE S&P 2009. Myers' research focuses on the intersection of programming languages and security, particularly in developing language-based approaches to ensure security properties in distributed systems. His pioneering work in information flow control has established foundational techniques for tracking and controlling how sensitive information propagates through programs. He has made significant contributions to secure compilation, type systems that enforce security policies, and programming models for geographically distributed applications where consistency and security are critical concerns. Analysis of Myers' publication record reveals a consistent research trajectory centered on using programming language techniques to address security challenges. His early work established fundamental approaches to information flow security, which evolved into practical systems like Jif (Java information flow) and more recently Viaduct for secure distributed programming. Recent publications show increasing focus on secure distributed programming, information flow control in complex systems, and type systems that enable secure concurrency without sacrificing performance. ACM Fellow POPL'99 Best Paper Award SOSP'01 Best Paper Award SOSP'07 Best Paper Award CIDR'13 Best Paper Award PLDI'13 Best Paper Award PLDI'15 Best Paper Award Through the Programming Languages Mentoring Workshop (PLMW) at major conferences including POPL and PLDI, Myers has been actively involved in mentoring the next generation of programming languages researchers. His service as Editor-in-Chief of TOPLAS demonstrates his leadership in the field, overseeing the publication of cutting-edge research in programming languages and systems. While specific grant information isn't detailed in the provided text, his sustained research output and leadership roles suggest significant external funding support over his career. Though specific lab affiliations aren't mentioned in the provided text, Myers' research has clearly involved collaboration with numerous students and colleagues across multiple institutions. His work on systems like Viaduct and Jif suggests the leadership of research teams focused on building practical implementations of language-based security techniques. His active participation in conference organization and program committees indicates strong connections with the broader programming languages and security research communities.

Nuno Preguiçaمشاهده پروفایل

استاد

• Distributed Systems
• Cloud Computing
• Edge Computing
• +۷ مورد دیگر

Nuno Preguiça is a Full Professor at the Department of Computer Science, Faculty of Science and Technology, Universidade NOVA de Lisboa, where he also serves as the Coordinator of the Computer Systems research area at NOVA LINCS. His research focuses on distributed systems, with particular emphasis on data replication, consistency models, and cloud/edge computing architectures. He has made significant contributions to the field of Conflict-free Replicated Data Types (CRDTs) and their application in geo-replicated systems. His research interests encompass distributed systems, cloud computing, edge computing, database systems, replication techniques, consistency models, Conflict-free Replicated Data Types (CRDTs), geo-replication, mobile computing, and fault tolerance. Preguiça's work bridges theoretical foundations with practical implementations, developing systems that balance strong consistency guarantees with high availability and performance requirements. He has made notable contributions to understanding the trade-offs between different consistency models and developing practical systems that implement these models efficiently. His recent publications reveal a strong focus on practical implementations of distributed systems, with particular attention to CRDTs, causal consistency, and geo-replication techniques. His work spans both theoretical foundations and real-world implementations, addressing challenges in environments ranging from highly volatile networks to secure settings and edge computing infrastructures. The research shows a consistent trajectory toward making distributed systems more efficient, reliable, and accessible while maintaining appropriate consistency guarantees. As an academic advisor, Preguiça has mentored numerous PhD and Master's students, many of whom have gone on to successful careers in academia and industry, including positions at Google, ElectricSQL, and research institutions. His research has been supported by multiple projects including Tardis, SAMOA, LightKone, and AntidoteDB, funded by organizations such as FCT/MCTES, UE H2020, and ANR. He leads the SwiftCloud and SwiftComp research initiatives, which focus on developing efficient storage and computation solutions for cloud environments using CRDTs. His work has resulted in several open-source software projects including AntidoteDB, AQL, and Legion, which have been adopted by both academic and industrial communities.

Ajay Kshemkalyaniمشاهده پروفایل

استاد

• Distributed Computing
• Computer Networks
• Algorithms
• +۶ مورد دیگر

Ajay Kshemkalyani is a Professor in the Department of Computer Science at the University of Illinois at Chicago . He earned his BTech in Computer Science & Engineering from Indian Institute of Technology, Bombay (1987), followed by MS and PhD in Computer and Information Science from The Ohio State University (1988, 1991). Prior to his academic career, he worked at IBM Research Triangle Park for six years focusing on computer networks. His research spans Distributed Computing , Computer Networks , and Software Systems , with over 100 publications in top-tier journals and conferences. Key subareas include distributed algorithms , causal consistency , mobile robotics , vector clocks , and cloud computing . His recent work focuses on Byzantine fault tolerance in causal ordering and optimal dispersion algorithms for mobile robots. His publications analyze causality in distributed systems, temporal predicate detection, and context-aware protocols for pervasive networks. Trends in his articles include logical time abstractions , mobile agent coordination , security in ad-hoc networks , and consistency models for cloud storage . Scientific recognitions include the National Science Foundation Career Award (1999) and ACM Distinguished Scientist status. He has served as editor for Computer Networks (2004-2010) and IEEE Transactions on Parallel and Distributed Systems (2010-2014), alongside leadership roles in conferences like ACM PODC and IEEE ICDCS . He co-authored the textbook Distributed Computing: Principles, Algorithms, and Systems (Cambridge University Press, 2008), and has contributed to public-domain works including X/Open CPI-C Specification and IBM technical documentation. His expertise bridges theoretical foundations with applied systems research.

Bas van Steenselمشاهده پروفایل

استاد

• Genomics
• Gene regulation
• Chromatin structure
• +۶ مورد دیگر

Bas van Steensel is a Professor and Group Leader at the Netherlands Cancer Institute, where he leads research on genomics of gene regulation and chromatin. His work focuses on developing and applying new genomics tools to study the structure and functions of genomes, chromosomes and chromatin, with emphasis on gene regulation. This research aims to gain fundamental insights essential for understanding cancer mechanisms. Research Interests Genome Architecture: Studying the linear and spatial organization of genomes and how this affects gene regulation Transcription Factor Networks: Developing tools to measure transcription factor activity and understand how they collectively control gene expression Chromatin Environment: Investigating how local chromatin context influences gene regulation and DNA repair Enhancer-Promoter Interactions: Mapping and understanding the functional relationships between regulatory elements Nuclear Organization: Exploring how nuclear compartments like the lamina, nucleolus, and speckles organize the genome Recent Publications Trends Van Steensel's recent work shows a strong focus on developing high-throughput genomic technologies to map and manipulate regulatory elements. His lab has pioneered methods like TRIP, SuRE, and pA-DamID that enable systematic investigation of chromatin context effects. There's a clear trend toward integrating multiple technologies to understand the combinatorial rules of gene regulation, with increasing emphasis on computational modeling of regulatory grammar as evidenced by the PARM deep learning model for promoter activity prediction. Scientific Recognition Elected as member of the Royal Netherlands Academy of Arts and Sciences (KNAW) in May 2025 Awarded prestigious European grants in April 2022 His lab's work on DamID technology is widely recognized as foundational in the field of chromatin mapping Eva Brinkman (his former PhD student) received the Antoni van Leeuwenhoek award in 2018 Research Leadership Dr. van Steensel leads an active research group with approximately 15 members including PhD students, postdoctoral fellows, and technical staff. His lab maintains strong collaborations with other research groups at the Netherlands Cancer Institute, including the Rene Medema lab for DNA repair studies and the Vermeulen lab for biochemical analyses. The group emphasizes open science practices and makes their tools, data, and code publicly available through repositories like Addgene, GEO, and GitHub. His lab has trained numerous successful researchers who have gone on to establish their own independent research programs. Research Infrastructure His laboratory operates within the Netherlands Cancer Institute's Genomics Core Facility, utilizing advanced next-generation sequencing technologies. The lab has developed a comprehensive suite of genomic tools that are now used by researchers worldwide, with detailed protocols and resources available through their external website and repositories like Addgene.

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

دانشیار

• Reliability and Security of Software Systems
• Concurrent and Distributed Systems
• Secure Replicated Systems
• +۴ مورد دیگر

Mohsen Lesani is an Associate Professor at the Computer Science and Engineering Department of University of California, Santa Cruz . He obtained his PhD from UCLA , MS in Artificial Intelligence from Sharif University of Technology , and BS in Software Engineering from University of Tehran . His research focuses on reliability and security of software systems , particularly concurrent and distributed systems , with recent work on secure replicated systems and distributed machine learning . NSF CAREER Award (2020) DARPA Young Faculty Award (2022) SIGPLAN Research Highlight (2019) Distinguished Paper Award at OOPSLA 2018 Best Paper Award at ISSRE 2015 His recent publications tackle challenges in automated synthesis of distributed protocols , heterogeneous replication , secure blockchain transactions , and verified RDMA-based data types . He advises PhD students Xiao Li , Eric Chan , Javad Saber-Latibari , and Tejas Mane in the Safe and Secure Software (S3) lab . He has taught courses on Distributed Systems , Parallel Programming , and Compiler Design .

• Geoarchaeology
• Site Formation Processes
• Pleistocene Archaeology
• +۳ مورد دیگر

Christopher Miller is a Professor at the University of Bergen's Department of Archaeology, History, Cultural and Religious Studies. His research specializes in geoarchaeological approaches to understanding human behavior and environmental interactions during the Pleistocene, with fieldwork spanning key sites in South Africa, Italy, Germany, Kazakhstan, and Malawi. His research interests focus on: Reconstruction of site formation processes using micromorphology and sediment analysis Paleoenvironmental contexts of human occupation during the Middle and Upper Paleolithic Hunter-gatherer adaptations to changing climates Interdisciplinary methods integrating geology, chemistry, and archaeology Miller's publications demonstrate consistent focus on Pleistocene archaeology, with recent work emphasizing: High-resolution microstratigraphic analysis of cave sites Geoarchaeological interpretation of anthropogenic features Paleoenvironmental reconstruction in diverse ecological zones Integration of geophysical and microscopic techniques He is an active collaborator in international research networks including the SapienCE Centre and has participated in projects funded by the Research Council of Norway (project 262618). His work involves extensive fieldwork coordination and laboratory analysis of archaeological sediments.

• Urban Intelligence
• Smart Cities
• Climate Mitigation
• +۱۱ مورد دیگر

Dirk Ahlers is a Senior Researcher at the Norwegian University of Science and Technology (NTNU) within the Department of Architecture and Planning under the Faculty of Architecture and Design. His work focuses on Smart Cities, Climate Neutral Urban Development, and Urban Digitalization, with significant roles as project coordinator for ClimaGen and project manager for NEB-STAR and Re-Value. He contributes to EU initiatives including the Smart City Marketplace and New European Bauhaus transformations. With a PhD in Computer Science and Geospatial Analysis, he applies computational methods to urban climate action through: Positive Energy Districts Open Innovation Ecosystems Urban Digital Twins Geospatial Data Integration His research spans Climate Mitigation , Sustainability , and Information Retrieval in urban contexts. Key projects include: +CityxChange - Coordinating 33 partners C-valuate - Low-carbon investment tools FME-ZEN - Zero Emission Neighborhoods SCIL - Smart City Infrastructure Lab He organized the LocWeb workshop series at the WWW conference and contributed to standards in: ICT data integration Enterprise architecture for urban systems Smart mobility frameworks

• Operating systems
• Distributed systems
• Computer Science
• +۳ مورد دیگر

Professor Willy Zwaenepoel is a distinguished academic and Dean of the Faculty of Engineering at the University of Sydney. He holds Fellowships from ACM, IEEE, and ATSE. His research focuses on distributed systems, operating systems, and experimental computer science. Previously, he spent two decades at Rice University and nine years as Dean of EPFL's School of Computer and Communication Sciences before joining Sydney in 2018. Education: BS/MS, Ghent University (1979) MS/PhD, Stanford University (1980/1984) Research Interests: His work emphasizes distributed systems and operating systems, with contributions to key-value stores, transactional systems, and large-scale graph processing. Recent projects include optimizing geo-replicated systems and improving datacenter scheduling efficiency. Articles Trends: Recent publications address OS scheduling (Nest), distributed graph mining (Tesseract), and transactional systems' performance limits. He explores hardware-software co-design for multicore systems and energy-efficient data centers. Awards: Fellow of ACM (2021) Fellow of IEEE (2020) Fellow of ATSE (2019) Grants & Advising: Active grants include adaptive key-value store research (2021) and large-graph processing systems (2018). He advises PhD students and postdocs on distributed systems and storage challenges. Labs/Teams: Leads the Sydney systems research group focusing on scalable distributed systems and cloud infrastructure.

• Database Systems
• Cloud Computing
• Machine Learning Integration
• +۳ مورد دیگر

Carlo Curino is a researcher at Microsoft Research , focusing on database systems, cloud computing, and machine learning integration. He has collaborated extensively with institutions including MIT, Microsoft, and the University of Wisconsin-Madison. His research spans Geo-distributed data analytics Automated configuration tuning Tensor-based database systems Data lake optimization Spark performance engineering Recent publications highlight his work on AI-driven systems like MotherNet and Rockhopper , alongside contributions to query processing over compressed data and log-structured tables. Collaborators include prominent figures such as Raghu Ramakrishnan and Jesús Camacho-Rodríguez . Key projects involve LST-Bench (cloud storage benchmarking), AutoComp (data compaction), and PyFroid (commodity workstation analytics). His work bridges database optimization with modern machine learning demands in enterprise environments.

João Pedro Faria Mendonça Barretoمشاهده پروفایل

دانشیار

• Persistent Memory
• Exascale Computing
• Transactional Memory
• +۵ مورد دیگر

João Pedro Faria Mendonça Barreto is an Associate Professor at Instituto Superior Técnico (University of Lisbon) and a researcher in the Distributed Systems Group at INESC-ID. His work focuses on system support for persistent memory, exascale computing, transactional memory, and blockchain consensus protocols, with significant contributions to heterogeneous memory systems and NUMA optimization.

Remous-Aris Koutsiamanisمشاهده پروفایل

دانشیار

• Geo-distributed systems
• Internet of Things
• Industrial Internet of Things
• +۷ مورد دیگر

Remous-Aris Koutsiamanis is an Associate Professor at IMT Atlantique in Nantes, France, working on networking aspects of geo-distributed systems since September 2020. Previously, he was a postdoctoral researcher at IMT Atlantique in Rennes, France, focusing on Industrial Internet of Things (IIoT) protocols. He earned a Ph.D. in Electrical and Computer Engineering from Democritus University of Thrace (2016), an M.Sc. in Artificial Intelligence from the University of Edinburgh (2006) under a Bodosaki Foundation scholarship, and a B.Sc. in Informatics from the University of Piraeus (2005) with distinction. His research interests include Geo-distributed systems , Industrial Internet of Things , Quality of Service , and Distributed resource management , leveraging algorithmic game theory and network protocols . His work spans deterministic packet delivery, RPL optimization, and wireless scheduling, with a focus on IIoT reliability. He has contributed to journals like IEEE Transactions on Industrial Informatics and conferences like IEEE ICC , ISCC , and WF-IoT . His recent articles emphasize Industrial IoT , Wireless Network Reliability , and Protocol Design . Scientific Awards include the Bodosaki Foundation scholarship for his M.Sc. studies.

Umakishore Ramachandranمشاهده پروفایل

استاد

• Distributed Systems
• Edge Computing
• Sensor Networks
• +۵ مورد دیگر

Umakishore Ramachandran is a Professor in the School of Computer Science at Georgia Institute of Technology's College of Computing, where he directs the Embedded Pervasive Lab. He received his Ph.D. from the University of Wisconsin-Madison in 1986 and has led transformative initiatives including the Online MS in Computer Science (OMSCS) program. His research spans distributed systems, edge computing, and real-time sensor networks, with applications in smart surveillance and connected vehicles. His research interests include architectural design of parallel/distributed systems, large-scale situation awareness using camera networks, cloud-edge continuum optimization, and latency-sensitive applications for geo-distributed infrastructures. Recent work focuses on elevating edge computing to parity with cloud resources. His publications show strong emphasis on edge computing innovations (MicroEdge, FogStore), real-time video analytics (EVA, ClairvoyantEdge), and adaptive mobile systems (Foresight). Trends include multi-tier architectures, quality-of-experience optimization, and scalable processing for IoT workloads. Major Awards: IEEE Fellow (2014) NSF Presidential Young Investigator (1990) ACM/IFIP Middleware Best Paper (2022) 3x College of Computing Dean's Awards He has advised 40+ PhD students, with recent graduates at Google, Microsoft, and academia. Current NSF/CPS grants support his work on geo-distributed latency-sensitive applications. He co-leads the STAR Center and Samsung-funded embedded software programs. His Embedded Pervasive Lab develops systems like Stampede (stream processing) and DFuse (sensor fusion), with testbeds in the Aware Home and transportation networks. Teams collaborate with Intel, Microsoft, and Bosch on edge-AI deployments.