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

Rajiv Guptaمشاهده پروفایل

استاد

• Programming
• Compiler
• Runtime & Architectural Support for Parallel & Distributed Heterogeneous Systems
• +۷ مورد دیگر

Rajiv Gupta is a Professor at the University of California, Riverside and holds the Amrik Singh Poonian Chair in Computer Science . He serves as Associate Dean for Academic Personnel in the BCOE Deans Office . His research spans Compiler Design , Computer Architecture , Graph Analytics , and Software Engineering , with a focus on Parallel & Distributed Heterogeneous Systems and Runtime Behavior Monitoring . Education : Ph.D. in Computer Science from the University of Pittsburgh (1987); B.Tech. in Electrical Engineering from IIT Delhi (1982). His work includes over 326 publications with an h-index of 69 and 9 US patents . He has supervised 42 PhD students , including two ACM SIGPLAN Outstanding Dissertation Award recipients and 5 NSF CAREER awardees . His supervised papers have won Best Paper Awards at ICSE, PACT, HiPC, and LCPC. Scientific awards : ACM Fellow (2009) IEEE Fellow (2008) AAAS Fellow (2011) NSF Presidential Young Investigator Award (1991) UCR Doctoral Dissertation Advisor/Mentor Award (2012) IITDAA Global Alumni Recognition Award (2025) Professional service : Consecutive general/program chair roles at FCRC , PPoPP , ASPLOS , PLDI , and HiPC . Associate Editor for ACM TACO and IEEE TC , and current editorial board member for Parallel Computing and Computer Languages .

• Cybersecurity
• Digital Forensics
• Blockchain Applications
• +۴ مورد دیگر

Gordon Russell is an Associate Professor at Edinburgh Napier University's School of Computing Engineering and the Built Environment, specializing in cybersecurity and digital forensics research. His work focuses on practical security applications for law enforcement and critical infrastructure protection. His research interests span multiple domains within cybersecurity, with particular emphasis on digital evidence management, ransomware detection, and blockchain applications for forensic investigations. Russell's work bridges theoretical computer science with practical law enforcement needs, developing systems for secure evidence handling and leak attribution. His research group has made significant contributions to industrial control system security and memory-based encryption analysis. Russell's recent publications demonstrate a strong focus on practical digital forensics applications, particularly in blockchain-based evidence management systems and forensic watermarking techniques. His work shows consistent development from foundational computer architecture research in the 1990s to contemporary cybersecurity applications, with a clear trajectory toward solving real-world security challenges for law enforcement agencies and critical infrastructure providers. Russell has secured multiple research grants totaling over £300,000 from organizations including Innovate UK, Scottish Enterprise, and The Scottish Informatics & Computer Science Alliance. His research projects include MEMCRYPT (focused on ransomware detection), vSOC (Virtualized Security Operations Centre), and evidence management frameworks for law enforcement. MEMCRYPT CyberASAP Phase 2 (2020-2021, £52,310, Innovate UK) Memcrypt (HGSP) (2020-2021, £109,883, Scottish Enterprise) MemCrypt (2020, £31,930, Innovate UK) MemoryCrypt (2019-2020, £10,759, SICSA) vSOC - Virtualised Security Operations Centre (2015-2017, £39,268, Advance HE) As an academic supervisor, Russell has mentored numerous doctoral candidates, serving as primary or secondary supervisor for research in digital forensics, ransomware detection, and evidence management systems. His students' work often focuses on practical applications of cybersecurity research for law enforcement and critical infrastructure protection.

Lucy Gilsonمشاهده پروفایل

استاد

• Strategy
• Organizations
• Entrepreneurship
• +۳ مورد دیگر

Lucy Gilson is a Full Professor and Department Head at the University of Connecticut, holding a concurrent Visiting Professor position at CATÓLICA-LISBON. She is also the Academic Director of the Geno Auriemma UConn Leadership Conference. Her academic journey includes an MBA and PhD in Organizational Behavior from the Georgia Institute of Technology, USA, and an undergraduate degree from Georgetown University's School of Foreign Service. Her research focuses on teams, team effectiveness, and creativity, with notable contributions to virtual team dynamics, creativity management, and organizational behavior. Key areas of exploration include the interplay between standardization and creativity, cross-level effects in teams, and global virtual team performance drivers. Lucy has held the Advanced Institute of Management (AIM - UK) Visiting International Research Fellowship (2008-2010). Her work emphasizes practical frameworks for fostering innovation, such as leveraging museum metaphors for idea curation and addressing challenges in radical vs incremental creativity management. While no specific advising or grant details are highlighted, her research spans empirical studies on empowerment, virtual collaboration tools, and cultural diversity impacts in teams. Her academic contributions are anchored in advancing theoretical and practical understanding of organizational systems and creative processes.

• VLSI Design
• AI/ML Processor Design
• Secure Computer Architecture
• +۳ مورد دیگر

Dr. Abbas A. Fairouz is an Assistant Professor in the Computer Engineering Department at Kuwait University. He holds a PhD from Texas A&M University (2019) and BS/MS degrees from Kuwait University (2006/2011). He previously served as a system engineer at Kuwait's Ministry of Electricity & Water (2006–2014) and as a part-time faculty member at PAAET's Higher Institute of Telecommunication and Navigation (2008–2010). Affiliations: Academic Visitor at University of Oxford (OSCAR Research Group) Research Focus: VLSI design, AI/ML processor architecture, secure computer systems, microarchitecture optimization, and FPGA-based acceleration. His current projects include hardware-based sorting networks, privacy-preserving instant messaging systems, and chiplet-based secure architectures. He has received the President of Kuwait Award (2012) and was a best paper nominee at GLSVLSI'17. His work spans hardware-software co-design for cryptographic accelerators, special function units (SFUs), and low-power NoC routers. Collaborations include the Oxford Secure Computer Architecture Research (OSCAR) group.

Amrita Sureshمشاهده پروفایل

دانشگاهی

• Formal Verification
• Automata Theory
• Temporal Logics
• +۴ مورد دیگر

Amrita Suresh is a Research Associate in the Department of Computer Science at the University of Oxford, working under Professor Nobuko Yoshida. She specializes in formal verification, focusing on communicating automata and session types. Previously, she completed her PhD at ENS Paris-Saclay under advisors Alain Finkel and Benedikt Bollig, with research on subclasses of communicating automata and decidability in verification. PhD in Computer Science (ENS Paris-Saclay) MSc in Computer Science (ENS Paris-Saclay) BE in Computer Science (BITS Pilani) Her research interests span formal verification, automata theory, temporal logics, and distributed systems. She has contributed to foundational work on input-bounded FIFO systems, synchronizability via Message Sequence Charts, and extensions of Well-Structured Transition Systems. Her publications highlight advancements in decidability of reachability problems and frameworks for synchronizability. Awards include the Best Teaser Talk Award at CONCUR’21 and Best Paper Award at CONCUR’20. Amrita has taught courses in Systems and Architecture, Programming I (undergraduate), and Tree Automata and Their Applications. She actively participates in academic events, including serving on program committees for conferences like ICE’22 and as Technical Chair for QONFEST’21. She is affiliated with Nobuko Yoshida’s research group and collaborates on theoretical computer science challenges, particularly in formal methods for distributed systems.

Weihai Yuمشاهده پروفایل

دانشیار

• Distributed Systems
• Collaborative Editing
• Conflict-Free Replicated Data Types (CRDTs)
• +۴ مورد دیگر

Weihai Yu is an Associate Professor at the Department of Computer Science, UiT The Arctic University of Norway. His research focuses on distributed systems, collaborative editing, conflict-free replicated data types (CRDTs), edge computing, and decentralized service orchestration. He leads the Open Distributed Systems (ODS) research group and contributes to projects like the Conflict-free Replicated Relation (CRR) and Nudge Project. Yu has authored over 50 publications since 2009, with recent work emphasizing replicated data streams, undo mechanisms in collaborative systems, and edge-cloud integration. Key research interests include: distributed database replication, real-time collaborative editing with CRDTs, fault-tolerant service orchestration, and asynchronous systems design. His work bridges theory and practice, addressing challenges in consistency, scalability, and user experience in distributed applications. Publications trends show a strong focus on CRDT advancements (e.g., low-cost set CRDTs, generic undo support) and edge computing applications. He collaborates extensively with industry partners on projects like the Nudge Project, exploring IoT-driven transportation systems. Yu's contributions are published in top venues such as Springer Nature, ACM, and IEEE journals/conferences. Maintains the Open Distributed Systems (ODS) group at UiT, focusing on collaborative systems and distributed computing innovations. Current research includes local-first software architectures and conflict-free replicated relations for multi-synchronous database management.

Gael Thomasمشاهده پروفایل

استاد

• Distributed Systems
• Operating Systems
• Virtualization
• +۴ مورد دیگر

Prof. Gael Thomas is a Professor at Telecom SudParis, focusing on distributed systems, operating systems, and high-performance computing. His work emphasizes virtualization, concurrency control, and secure execution environments. He has contributed extensively to projects like VMKit, I-JVM, and J-NVM, addressing challenges in garbage collection, system scalability, and trusted computing. His research interests include: Virtualization techniques for improved system isolation Optimizing garbage collectors for multicore architectures Trusted execution environments using SGX and HTM Performance analysis of MPI/OpenMP applications Notable contributions: Developed PALLAS trace format for HPC analysis (2025) Created NVCache for NVMM-based I/O optimization (2021) Pioneered secure code partitioning techniques (2023-2024) His work has been presented at top conferences including EuroSys, Middleware, and DSN.

Axel Thielscherمشاهده پروفایل

استاد

• Neuroscience
• Biomedical Engineering
• Medical Physics
• +۳ مورد دیگر

Axel Thielscher is a Magnetic Resonance Professor and Head of Section at the Department of Health Technology Magnetic Resonance Neurophysics, Technical University of Denmark (DTU). His research focuses on neuroimaging, non-invasive brain stimulation, and computational modeling of electric fields in the brain. He leads projects on transcranial magnetic stimulation (TMS), transcranial direct current stimulation (tDCS), and tumor treating fields (TTFields). His work integrates clinical applications with advanced MRI techniques and computational simulations. Research interests include electric field modeling for brain stimulation, neuroimaging methodology, and translational neuroscience. He collaborates internationally on guidelines for concurrent TMS-fMRI and clinical trials of neurostimulation therapies. His lab develops open-source tools like SimNIBS for electric field simulations and MRI-based dosimetry. Recent articles emphasize optimizing TMS coil positioning, validating electric field simulations, and exploring neural mechanisms underlying stimulation effects. He advises multiple PhD students and has contributed to over 155 publications, including work on magnetic resonance current density imaging and personalized head modeling.

Dan Calin Cosmaمشاهده پروفایل

استادیار

• Computer Science
• Software Engineering
• Distributed Systems
• +۱ مورد دیگر

Dan Calin Cosma is an Assistant Professor at the Department of Computer and Software Engineering at Politehnica University of Timisoara. He has been a faculty member since 1997, teaching courses such as Operating Systems , Distributed Programming , and Concurrent and Event-Based Programming . He also supervises laboratory classes and participates in diploma project mentoring. Research Interests: Software Engineering, Distributed Systems, and Computer Networks. Courses Taught: Operating Systems (undergraduate), Distributed Programming, Concurrent and Event-Based Programming, and Advanced Distributed Applications (Master’s level). Professional Experience: 1997–present (faculty member), 1998–2002 as team leader/project manager at Sava Technologies SRL (specializing in distributed systems and enterprise applications), and 2002–present as an IT consultant and trainer. Contact: Email - danc@cs.upt.ro Dan combines academic work with industry consultancy, focusing on distributed systems and software engineering. His research affiliation includes the LOOSE Research Group and the Research Institute e-Austria Timisoara.

Qiang Guoمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Software Engineering
• Distributed Systems
• +۵ مورد دیگر

Dr Qiang Guo is a Senior Lecturer in Computer Science at Teesside University, affiliated with the Department of Computing & Games within the School of Computing, Engineering and Digital Technologies. He holds a PhD in Computer Science from Brunel University London and has previously worked as a Research Associate/Fellow at the University of Sheffield, Robert Gordon University, and the University of Cambridge, as well as a Senior Software Engineer at MasterCard. PhD, Computer Science, Brunel University London (2023) Master, Computational Intelligence, University of Plymouth Bachelor, Industrial and Electrical Automation, Xi'an University of Architecture and Technology PGCert in Higher Education, Teesside University His research focuses on Formal Methods in Software Engineering , particularly model-checking and testing of Distributed and Concurrent Systems . He integrates Artificial Intelligence techniques into Software Conformance Testing and explores Algorithmic Skeleton-based Parallel Computing for software engineering applications. His work addresses verification challenges in Erlang/OTP systems, extended finite state machines, and timed components. Dr Guo’s publications highlight a trajectory in Formal Verification , Automated Testing , and Optimization Techniques . Key themes include the application of Genetic Algorithms to finite state machine testing, Process Algebra (μCRL/mCRL) for telecommunications systems, and Testability Transformations to improve structural coverage. Trends reflect interdisciplinary bridges between Software Engineering and AI . As a Principal Investigator (PI) for the Innovate UK-funded project MC-IoT: Model Checking IoT Systems (2024-25, £31,907), he leads research in IoT system verification. He also contributed as Co-Investigator (Co-I) to the Parrot AI Enterprise Project (2023, £40k). Dr Guo is affiliated with the Centre for Digital Innovation , where he contributes to advancing software engineering methodologies. His work involves collaboration with academic and industrial partners to address real-world challenges in system verification and distributed computing.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Verification
• Cryptography
• +۹ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University, holding the Kavčić-Moura Chair in Electrical and Computer Engineering and Computer Science. His work bridges theoretical and practical aspects of secure systems verification, focusing on formal methods to ensure rigorous security guarantees. Research Areas: Secure systems, formal verification, cryptography, concurrency, distributed systems Key Contributions: Development of Verus, Leaf, IronFleet, and FastVer2 for verified secure systems Awards: Jay Lepreau Best Paper (OSDI 2025), IEEE Cybersecurity Award for Practice (2024), Distinguished Artifact Award (SOSP 2024) His recent publications demonstrate a focus on scalable formal verification across diverse domains, including Rust programming, WebAssembly sandboxing, and cryptographic protocols. Tools like Verus and OwlC enable provably correct implementations with performance optimizations. Scientific recognition includes: ACM Doctoral Dissertation Award (2011) IEEE Golden Core Recognition (2023) Forbes 30-Under-30 (2011) Sloan Research Fellowship (2018) Multiple best paper awards at USENIX Security, CAV, and IEEE S&P Parno advises PhD students in secure systems and contributes to critical infrastructure projects like Project Everest. His lab develops open-source tools for verified cryptography and systems programming.

• Industrial Networks
• Network Security
• Formal Verification
• +۳ مورد دیگر

Luca Durante serves as an External Lecturer and Teaching Assistant at the Department of Control and Computer Engineering (DAUIN) of the Polytechnic University of Turin, while holding a Senior Researcher position at the National Research Council - Institute of Electronics, Information and Telecommunications Engineering (CNR-IEIIT). His current teaching responsibilities include instructing Databases for Management Engineering undergraduates (2024/25) and serving as Teaching Assistant for Formal Verification of Concurrent and Distributed Software and Systems in the PhD program. His research centers on industrial network security and formal verification , with deep expertise in industrial communication protocols like Fieldbus. Key contributions span security policy enforcement in industrial control systems, access control modeling, and performance analysis of networked industrial environments. Recent work integrates Software Defined Networking (SDN) for dynamic security solutions, while maintaining foundational research in protocol standardization. Durante's publication history reveals an evolutionary trajectory from early protocol performance studies (1990s) toward modern security frameworks for industrial IoT. His 2013-2017 work established critical methodologies for access control policies and SDN-enhanced security, demonstrating consistent focus on bridging theoretical verification with industrial implementation challenges across three decades. Scientific Awards: No awards documented in source materials. Advising and Grants: No student advisement records or grant funding details were provided in available documentation. Current roles indicate teaching-focused contributions without indication of doctoral supervision.

Einar Broch Johnsenمشاهده پروفایل

استاد

• Programming Models
• Formal Methods
• Concurrency
• +۳ مورد دیگر

Einar Broch Johnsen is a Professor at the Department of Informatics , University of Oslo . His research focuses on formal methods , distributed systems , and digital twins , with applications in cloud computing , robotics , and healthcare . Leadership: Strategy Director of SIRIUS (2015-2023), Coordinator of EU projects Envisage and HyVar . Community Roles: Board member of Formal Methods Europe , editorial board member of Formal Aspects of Computing , and chair of conferences like FM 2015 and FASE 2022 . His recent work explores symbolic execution , probabilistic logic , and self-adaptive systems , as reflected in his 15 most recent publications . He teaches courses such as IN2031 – Project in Programming and IN5170: Models of Concurrency .

Emanuele D'Osualdoمشاهده پروفایل

استاد

• Programming Languages
• Verification
• Security
• +۸ مورد دیگر

Emanuele D'Osualdo is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz, Department of Computer and Information Science. Previously, he was a Postdoctoral Researcher at Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken until April 2024, working with Derek Dreyer on verification of concurrent software. Before that, until September 2020, he was a Marie Curie Fellow at Imperial College London, working with Prof. P. Gardner. From 2015 to 2017, he was a PostDoc in the Concurrency Theory Group at the University of Kaiserslautern, working with Prof. Roland Meyer. His educational background includes: PhD (DPhil) in Computer Science from the University of Oxford (2015), supervised by Prof. C.-H. Luke Ong Undergraduate and master's studies at the University of Udine, Italy, graduating with honors and supported by the Scuola Superiore scholarship Emanuele D'Osualdo's research focuses on Formal Methods for the verification of software, with particular emphasis on two main approaches: automatic verification methods using static analysis and infinite-state model checking; and compositional methods, focusing on program logics for properties beyond safety. His work spans several areas including Programming Languages, Verification, Security, Concurrency Theory, Probabilistic Programs, Types, Static Analysis, Process Algebra, and Model Checking. His research has led to the development of tools such as Soter for automatic safety verification of Erlang programs and James Bound for analyzing π-calculus. His recent publications demonstrate a strong focus on advanced verification techniques for concurrent and distributed systems, with particular attention to linearizability, session types, security protocols, and probabilistic reasoning. His work bridges theoretical foundations with practical applications in software verification, showing a progression from foundational work on π-calculus to more applied verification of concurrent data structures and probabilistic systems. He has received notable recognition for his work, including: Winner of the 2016 CPHC/BCS Distinguished Dissertation award Marie Curie Fellow Emanuele actively supervises students and leads research in formal methods. He is involved in several research projects related to software verification and has presented his work at top-tier conferences including POPL, OOPSLA, ESOP, and CAV. He is scheduled to give a keynote at HYPER'25 in Zagreb and will be attending POPL'25. His research group appears to focus on developing theoretically sound yet practical verification techniques for modern concurrent and distributed software systems.

Sharon Shohamمشاهده پروفایل

استاد

• formal verification
• program analysis
• model checking
• +۴ مورد دیگر

Sharon Shoham is a Professor at the School of Computer Science, Tel Aviv University, specializing in formal verification and program analysis. She leads research under a 5-year ERC grant on supervised verification of infinite-state systems and mentors PhD students, postdocs, and visiting scholars. Research Interests : Her work focuses on formal verification, program analysis, model checking, and verification of distributed systems. She explores inductive invariants, quantifier instantiation, and abstract interpretation. Recent Publications (2023-2025) highlight advancements in liveness properties , hyperproperty verification , quantifier elimination , and distributed protocol verification , often leveraging first-order logic and constraint-solving techniques. Scientific Awards : Distinguished paper awards at POPL 2025 and POPL 2024 Best paper and best student paper awards at DISC 2024, CAV 2019, and DISC 2018 Best paper awards at VMCAI 2016, ATVA 2009, SPIN'08, SAS'07, and FMCAD'07 Advising & Grants : Actively recruits strong PhD students and postdocs under an ERC grant. Collaborates with institutions like Technion and Tel Aviv University on verification frameworks and tools such as Ivy and mypyvy.