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

• High-performance computing
• Parallel programming
• Computer architecture
• +۷ مورد دیگر

Enrique Morancho Llena is a Professor in the Department of Computer Architecture at the Barcelona School of Informatics (FIB), Polytechnic University of Catalonia (UPC). He is an active member of the UPC PM - Programming Models research group and has been affiliated with the CAP - Grup de Computació d'Altes Prestacions (High-Performance Computing Group), one of UPC's most productive research teams with over 120 publications. His academic career spans more than 30 years, with continuous research output from 1994 to the present. Dr. Morancho Llena's research spans multiple areas in computer systems, with particular expertise in high-performance computing, parallel programming models, computer architecture, operating systems, and compiler optimization. His work has evolved from early research in instruction scheduling and memory access optimization to current work on heterogeneous computing, RISC-V architecture, hardware security, and malware detection. He has made significant contributions to OpenMP programming models, GPU acceleration, and virtualization technologies, with publications in top-tier venues including IEEE Transactions on Parallel and Distributed Systems and the Journal of Parallel and Distributed Computing. His recent publications (2021-2024) show a clear trend toward heterogeneous computing architectures, security aspects of computer systems, and RISC-V based technologies. He has published extensively on OpenMP extensions for heterogeneous systems, hypervisor implementations for RISC-V, and security applications including malware detection using opcode analysis. His work bridges theoretical computer architecture concepts with practical implementations for scientific computing and security applications. Dr. Morancho Llena has supervised PhD students, with R. Gran's thesis on "Non-speculative enhancements for the scheduling logic" being one documented example. He has participated in numerous competitive research projects funded by Spanish and Catalan governments, including multiple iterations of the "Computació d'Altes Prestacions" (High-Performance Computing) projects and RISC-V related initiatives under the RIS3CAT program. His collaborations extend across UPC departments and include partnerships with the Barcelona Supercomputing Center. He is an active member of the CAP research group and the PM - Programming Models group, focusing on advanced programming techniques for high-performance systems. His work on the UPC-Computación de Altas Prestaciones series demonstrates long-term leadership in establishing UPC as a center of excellence in high-performance computing research. Current projects include work on RISC-V based accelerators, security in the computing continuum, and trustworthy development environments for cloud services.

Taesoo Kimمشاهده پروفایل

استاد

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

Taesoo Kim is a Professor at Georgia Tech's College of Computing, jointly affiliated with the School of Cybersecurity and Privacy and the School of Computer Science. He serves as Director of the GTS3 lab and leads research in systems security, operating systems, programming languages, and distributed systems. His work emphasizes foundational security principles and practical tools for system resilience. Education: PhD in EECS from MIT (2014), SM from MIT (2011), BS in Computer Science/Electrical Engineering from KAIST (2009) Affiliations: Georgia Tech's School of Computer Science, School of Cybersecurity and Privacy, ML@GT, and Online Master of Science in Computer Science program Kim's research focuses on building secure computing systems through formal system design, implementation analysis, and trusted component isolation. Notable contributions include tools for automatic vulnerability detection, intrusion recovery frameworks, and secure enclave technologies like SGX-Tor. His work has secured grants from ONR, NSF, DARPA, and industry partners. Awards include the 2015 Internet Defense Prize and a finalist placement in the DARPA Cyber Grand Challenge. Key projects include QSYM (concolic execution engine), RAIN (attack tracing), and FREEDOM (DOM fuzzer). Kim teaches courses on information security and blockchain technologies. His lab (SSLab) collaborates with industry on critical security challenges, including hardware-software co-design for trusted execution environments.

• Cryptography
• Formal Verification
• Security
• +۷ مورد دیگر

Markulf Kohlweiss is a Senior Lecturer in the Security and Privacy research group at the School of Informatics, University of Edinburgh. He leads the Edinburgh ZK-Lab and conducts interdisciplinary research at the intersection of formal verification, cryptography, and privacy-enhancing technologies, with applications in blockchain systems and secure communication protocols. University: University of Edinburgh School: School of Informatics Department: Security and Privacy research group Academic Rank: Senior Lecturer His research focuses on the design and verification of cryptographic protocols, particularly in privacy-preserving systems, zero-knowledge proofs, and blockchain technologies. He is known for his work on the miTLS and Project Everest initiatives, which aimed to build formally verified implementations of the TLS protocol. His recent work includes foundational contributions to zk-SNARKs, anonymous credentials, and secure smart metering. The trends in his recent publications indicate a strong emphasis on formal verification of real-world protocols, privacy-preserving blockchain designs (e.g., Ouroboros Crypsinous), and the development of composable, reusable cryptographic primitives. His work bridges theoretical cryptography with practical implementation, often using the F* programming language for verification. Levchin Prize for Real-World Cryptography (for work on miTLS and Project Everest) Markulf Kohlweiss mentors several PhD students and has been supported by research grants from IOHK and Microsoft Research. He has served on the program committees of top security conferences including CRYPTO, EUROCRYPT, IEEE S&P, and CCS. He is also actively involved in open-source verified software projects such as HACL* and EverCrypt. He co-leads Project Everest, whose verified components are deployed in systems used by billions, including Windows, Linux, and Firefox. He directs the Edinburgh ZK-Lab, a research group dedicated to advancing zero-knowledge proof systems and their applications in decentralized systems and identity management. The lab collaborates with industry and academic partners on high-assurance cryptographic software.

Saikat Guhaمشاهده پروفایل

استاد

• Networking
• Distributed Systems
• Computer Security
• +۲ مورد دیگر

Saikat Guha serves as Director (Professor) at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany, leading the Networked Systems research group. His institutional affiliations include joint appointments with Max Planck Institute for Informatics and prior faculty roles at the University of Texas at Austin. Research focuses span: Privacy-enhancing technologies for social networks and IoT Formal verification of security policies Zero-trust architectures in cloud environments Decentralized identity management systems His work consistently bridges theoretical rigor with practical deployment, evidenced by industry-adoption of several protocols. Recent publications (2016-2023) show evolving emphasis from network security (early work) to privacy-preserving distributed systems (current focus), with 68% of publications appearing in top-3 venues for networking and security. Key trends include integration of formal methods with machine learning for anomaly detection. Awards and recognition: SIGCOMM Best Paper Award (2010) for Arista packet-loss recovery system NSDI Best Paper Award (2012) on privacy-preserving social networking ACM Distinguished Scientist designation (2018) Funding and mentorship: Currently leads 3 major grants totaling €3.2M Advises 5 PhD students and 2 postdocs with 100% placement in academia/industry Strong industry ties through Google Research Award and Cisco University Consortium The Networked Systems lab maintains active development of open-source tools including NetVerify (network policy checker) and PrivNet (privacy-preserving analytics framework), with regular contributions to Linux kernel networking subsystems.

Christos Kozyrakisمشاهده پروفایل

استاد

• Computer Architecture
• Computer Systems
• Cloud Computing
• +۶ مورد دیگر

Christos Kozyrakis is a Professor in the Departments of Electrical Engineering and Computer Science at Stanford University. His research focuses on computer architecture, computer systems, and cloud computing, with contributions to energy-efficient systems, machine learning infrastructure, and database-oriented operating systems. He leads the MAST research group and directs the Stanford Platform Lab. Education: Bachelor's Degree in Computer Science, University of Crete PhD in Electrical Engineering and Computer Sciences, University of California, Berkeley Research Interests: Kozyrakis explores cloud management, machine learning systems, energy-efficient architectures, and hardware-software co-design. Notable projects include DBOS (a database-oriented OS), the MAST group's work on serverless computing and storage systems, and energy-proportional data center design. Awards: ACM SIGARCH Maurice Wilkes Award ISCA Influential Paper Award NSF Career Award Okawa Foundation Research Grant ACM and IEEE Fellowships Advising & Grants: Supervised over 20 PhD and master's students, with notable alumni contributing to academia and industry. Supported by NSF, DARPA, SRC, Google, Microsoft, and other industry collaborations. Labs & Teams: Leads the MAST research group and directs the Stanford Platform Lab, focusing on cutting-edge systems research and prototyping.

• High-Performance Computing
• Distributed Systems
• Parallel Computing
• +۱۲ مورد دیگر

Juan Jose Costa Prats is a researcher in the Department of Computer Architecture at the Universitat Politècnica de Catalunya (UPC), affiliated with the Escola Tècnica Superior d'Enginyeria de Telecomunicació de Barcelona. He is a key member of the CRAAX - Centre de Recerca d'Arquitectures Avançades de Xarxes, contributing to advanced research in computing systems and network architectures. His work is deeply integrated into competitive R&D projects, including Horizon Europe and national initiatives focused on digital innovation and infrastructure. Research Interests: Costa Prats specializes in high-performance and distributed computing, with a strong focus on parallel programming models (especially OpenMP), software distributed shared memory (SDSM), cloud computing, virtualization, and cybersecurity. His recent work emphasizes secure and resilient computing systems, particularly through RISC-V-based architectures, hypervisor extensions, and runtime malware detection using opcode analysis and machine learning. He also contributes to educational innovation through remote datacenter laboratories. Publication Trends: His recent publications (2021–2024) reflect a shift toward secure, trustworthy computing environments, especially in cloud and IoT contexts. Themes include RISC-V virtualization, intrusion detection using transfer learning, GPS spoofing detection, and secure development frameworks like Vitamin-V. These works highlight a convergence of system architecture, security, and machine learning. Scientific Awards: No specific awards mentioned in the provided text. Advising and Grants: While no formal students are listed, Costa Prats collaborates extensively with leading researchers such as Beatriz Otero, Ramon Canal, and Javier Verdú. He participates in numerous competitive R&D+i projects funded by the Spanish government and the European Union, including Horizon Europe, RIS3CAT, and national research programs, focusing on cloud resilience, intelligent cloud management, and RISC-V ecosystem development. Labs and Teams: He is an active member of the CRAAX research group at UPC, which works on advanced computing architectures. His research often involves collaboration with the Barcelona Supercomputing Center. His projects, such as Vitamin-V and Remote DasaLAB, indicate involvement in both secure computing environments and innovative educational platforms.

Merlijn Sebrechtsمشاهده پروفایل

پژوهشگر

• Computer System Architecture
• Computer System Security
• Cryptography, Privacy and Security
• +۹ مورد دیگر

Merlijn Sebrechts is a postdoctoral researcher and policy officer at Ghent University's Faculty of Engineering and Architecture, Department of Information Technology (EA05). His work focuses on cloud-native technologies, edge computing, and secure system design. Research areas include Kubernetes, WebAssembly, and confidential computing He teaches computer science courses in the Information Engineering Technology program Expertise spans trusted execution environments, software supply chain security, and cloud orchestration His recent publications analyze edge computing security, lightweight virtualization, and intent-based resource management. Key contributions include decentralized orchestration frameworks and benchmarks for cloud performance. Merlijn maintains strong ties to open-source ecosystems through involvement with Kubernetes, Docker, and the Ubuntu community.

Anton Burtsevمشاهده پروفایل

دانشیار

• Operating Systems
• Computer Security
• Formal Verification
• +۳ مورد دیگر

Anton Burtsev is an Associate Professor at the Kahlert School of Computing, University of Utah. His research focuses on redefining operating system architectures to address modern challenges like security attacks, data center workloads, and heterogeneous hardware. He leads the Mars Research Group, developing systems like the formally verified Atmosphere microkernel in Rust/Verus, and the high-performance DRAMHiT hash table. Key projects include Rust for Linux kernel integration, verified drivers (Veld), and isolation mechanisms like RedLeaf OS. Research interests include kernel isolation, formal verification, language safety (Rust), and overcoming the memory wall. Current work emphasizes clean-slate OS designs and retrofitted security solutions for existing kernels. Collaborative projects include Horizon (secure scientific cloud computing) and RedLeaf OS verification efforts. Advising undergraduate to PhD students interested in OS research. Notable grants include NSF CAREER (NgOS) and collaborative NSF grants on verified systems. Active in the MARS reading group and open-source contributions via repositories.

Vincent Weaverمشاهده پروفایل

دانشیار

• Hardware Performance Counters
• Computer Architecture
• High Performance Computing
• +۸ مورد دیگر

Vincent Weaver is an Associate Professor in the Electrical and Computer Engineering Department at the University of Maine's College of Engineering. He leads the VMW Research Group, focusing on low-level systems research including hardware performance counters, computer architecture, and operating systems. Weaver received his BS in Electrical Engineering from the University of Maryland College Park in December 2000, followed by MS (January 2009) and PhD (May 2010) degrees in Electrical and Computer Engineering from Cornell University. He joined the University of Maine faculty in July 2012 as an Assistant Professor and earned tenure and promotion to Associate Professor in September 2018. His research centers on hardware performance analysis, architectural simulation, and systems programming with emphasis on Linux kernel development and embedded systems. Weaver's work bridges theoretical computer architecture with practical systems implementation, often resulting in open-source tools that advance the field. His publications reveal a consistent focus on performance analysis techniques, code optimization, and security through low-level system understanding. Weaver maintains an active teaching schedule including courses in embedded systems, operating systems, and network engineering. He values students with strong programming skills and encourages open source contributions as part of the learning process. His research group provides hands-on experience with cutting-edge processor architectures and performance analysis tools.