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

Dawn Songمشاهده پروفایل

استاد

• Artificial Intelligence
• Cybersecurity
• Machine Learning
• +۷ مورد دیگر

Dawn Song is a Professor in the Department of Electrical Engineering and Computer Science at the University of California, Berkeley, affiliated with multiple research centers including the Berkeley Artificial Intelligence Research Lab (BAIR) and the Berkeley Center for Responsible, Decentralized Intelligence (RDI). She holds leadership roles in AI safety, cybersecurity, and blockchain research. Her work bridges machine learning, security, and distributed systems, with notable contributions to formal verification, privacy-preserving technologies, and AI governance. Education: Ph.D. (2002) and M.S. (1999) in Computer Science from UC Berkeley and Carnegie Mellon University, respectively. She previously served as an Assistant Professor at Carnegie Mellon University before joining UC Berkeley in 2007. Research Interests: Dawn's work focuses on AI safety, cybersecurity, and the ethical implications of frontier AI. She explores topics such as large language model vulnerabilities, zero-knowledge proofs, blockchain security, and policy frameworks for AI governance. Her research combines theoretical rigor with practical applications, addressing challenges in secure systems, adversarial machine learning, and privacy-preserving computation. Publications: Her recent work includes groundbreaking studies on LLM memorization, smart contract decompilation, and AI agent cybersecurity evaluation. She also leads initiatives like the Singapore Consensus and California Report on AI safety priorities, emphasizing global collaboration in risk mitigation. Notable Awards: MacArthur Fellowship (2010), ACM Fellow (2019), IEEE Fellow (2019) Advising & Grants: She advises projects on AI policy and cybersecurity, securing grants from NSF, DARPA, and industry collaborations. Her lab develops tools like CyberGym for evaluating AI agents and zkPyTorch for secure machine learning. Labs & Teams: Her research groups at UC Berkeley focus on cutting-edge projects in AI safety, blockchain, and cybersecurity, collaborating with industry leaders and policymakers to advance both technical and ethical standards.

• Database systems
• Large scale analytics
• Distributed systems
• +۳ مورد دیگر

Beng Chin Ooi is a Lee Kong Chian Centennial Professor at the National University of Singapore (NUS), School of Computing (SoC). He holds a B.Sc. (1st Class Honors) and Ph.D. in Computer Science from Monash University. His research focuses on database systems, large-scale analytics, and distributed computing. He has held leadership roles including Dean of School of Computing (2007–2013) and Director of Smart Systems Institute (2011–2021). Key achievements include the Singapore President’s Science Award (2011), ACM Fellow (2011), IEEE Fellow (2009), and multiple best paper awards. His work emphasizes scalable data management, blockchain systems, and healthcare data analytics. Education: Monash University (B.Sc., Ph.D.) Leadership: Dean (SoC), Director (Smart Systems Institute) Awards: Over 15 major honors including ACM SIGMOD E.F. Codd Innovations Award (2020) His research spans distributed databases, big data systems, and innovative applications of blockchain technology. Recent work includes NASI (neural architecture search) and Rafiki (ML-as-a-service).

• Blockchain Technology
• Cryptocurrency
• Smart Contracts
• +۳ مورد دیگر

Ari Juels is the Weill Family Foundation and Joan and Sanford I. Weill Professor at Cornell Tech (Cornell University) and a faculty member in the Department of Computer Science. He co-founded and co-directs the Initiative for CryptoCurrencies and Contracts (IC³) and serves as Chief Scientist at Chainlink Labs. His research focuses on blockchain technology, cryptocurrency, smart contracts, applied cryptography, authentication, and privacy. Juels holds a Ph.D. in Computer Science from UC Berkeley and previously held roles as Chief Scientist and Director of the RSA Laboratories at EMC/Dell EMC until 2013. His work spans foundational contributions to decentralized systems, including Chainlink’s oracle networks and Ekiden’s privacy-preserving smart contracts. Juels has authored influential books like *The Oracle* (2024) and *Tetraktys* (2009), blending cryptography with thriller narratives. He advises numerous students and alumni, many of whom have joined prominent blockchain firms like Chainlink Labs, Mysten Labs, and Espresso Systems. Recent publications explore topics such as liquidity in blockchain assets, oracle network security, and economic analysis of smart contracts. His research emphasizes practical applications of cryptographic principles to real-world challenges in digital systems and decentralized finance. Juels’ lab collaborates on projects like HyDRA (automated bug bounty systems) and Lanturn (economic security metrics). He actively participates in academic and industry partnerships, bridging theoretical computer science with applied blockchain innovation.

Sanjam Gargمشاهده پروفایل

دانشیار

• Cryptography
• Security
• Privacy
• +۳ مورد دیگر

Prof. Sanjam Garg is an Associate Professor at the University of California, Berkeley in the Computer Science Division under the College of Engineering. His work focuses on cryptography and its applications to security and privacy , with affiliations to the Berkeley Center for Responsible, Decentralized Intelligence (RDI) and the Simons Institute for the Theory of Computing (SITC). Education: Ph.D., Computer Science, University of California, Los Angeles (2013) B.Tech, Computer Science and Engineering, Indian Institute of Technology, Delhi (2008) His research spans cryptography , secure computation , and zero-knowledge proofs , with recent publications on threshold encryption , zkSNARKs , and private set intersection . Trends in his work emphasize blockchain security , obfuscation , and secure multiparty computation . Scientific Honors: ACM Doctoral Dissertation Award (2013) Sloan Research Fellowship (2020) Okawa Research Grant (2016) IACR EUROCRYPT Best Paper Award (2013) FOCS Test of Time Award (2023) Bakar Fellows Spark Award (2023) Prof. Garg has advised researchers like James Bartusek (2024), Akshayaram Srinivasan (2020), and Peihan Miao (2019), who are now at institutions such as Microsoft Research and University of Toronto. He teaches CS 170 on algorithms at Berkeley.

Daniel Adelmanمشاهده پروفایل

استاد

• Business Analytics
• Management Analytics
• Operations Research
• +۵ مورد دیگر

Daniel Adelman is the Charles I. Clough, Jr. Professor of Operations Management at the University of Chicago Booth School of Business. He joined the faculty in 1997 after completing his PhD in industrial engineering and operations research at Georgia Tech. Adelman is a leading expert in Business Analytics and Management Analytics, helping companies deploy data and decision analysis to build world-class strategic and tactical management capabilities. Adelman received his PhD in industrial engineering and operations research in 1997, along with a bachelor's degree in industrial engineering and a master's degree in operations research, all from the School of Industrial and Systems Engineering at the Georgia Institute of Technology. Daniel Adelman's research focuses on applying analytical models to solve complex business problems across multiple industries. He has worked with firms from diverse sectors including internet services, chemical distribution, airlines, third party logistics, fiber-optics manufacturing, semiconductor manufacturing, oil, and healthcare. His research integrates real-world data with analytical models to bring structure and discipline to decision and control processes, enabling firms to achieve higher profits with lower risk. Adelman's recent work has concentrated heavily on healthcare analytics, where he leads the Healthcare Analytics Laboratory at Chicago Booth. This lab works with teams of doctoral and MBA students on projects with major healthcare institutions to optimize clinical, operational, and financial outcomes. His research spans foundational operations research including approximate dynamic programming, inventory theory/supply chain management, and revenue management/pricing optimization, as well as examining the linkage between operational performance metrics and financial performance of firms. Adelman's publications show a clear trend toward increasing focus on healthcare applications while maintaining strong theoretical foundations in operations research. His earlier work focused more on general operations management problems like inventory control and supply chain optimization, while his recent publications demonstrate a strategic shift toward healthcare analytics, particularly examining surgical team dynamics, hospital performance metrics, and resource allocation during public health emergencies like the COVID-19 pandemic. George B. Dantzig Prize (1998) for the best dissertation in operations research and management sciences that is innovative and relevant to practice Adelman regularly advises doctoral and MBA students through the Healthcare Analytics Laboratory at Chicago Booth. He has served as Associate Editor for Management Science, currently serves as Associate Editor for Manufacturing and Service Operations Management, and is the Area Editor for Operations and Supply Chain at Operations Research. His industry collaborations include significant projects with Akamai on internet pricing, with GE Global Research Labs on the electricity smart grid, with BP on gasoline supply contract portfolio optimization, and with Symantec on software release planning. Adelman leads the Healthcare Analytics Laboratory at Chicago Booth, which brings together interdisciplinary teams of doctoral and MBA students to work on a portfolio of projects with major healthcare institutions. The lab focuses on optimizing clinical, operational, and financial outcomes through advanced analytics and decision modeling.

Xing Gaoمشاهده پروفایل

استادیار

• Cybersecurity
• Cloud Computing
• Mobile Computing
• +۴ مورد دیگر

Xing Gao is an Assistant Professor at the University of Delaware, affiliated with the Department of Computer and Information Sciences and jointly with the Department of Electrical and Computer Engineering. His office is located at 316B FinTech Innovation Hub on the STAR Campus. He holds a PhD from the College of William and Mary (2018) and a BS from Beijing Institute of Technology (2011). Research Interests: Cybersecurity in Software Supply Chain, Web 3, High-Performance Computing, Large Language Models, with a focus on Security, Cloud Computing, and Mobile Computing. Education: PhD | 2018 | College of William and Mary BS | 2011 | Beijing Institute of Technology His recent work explores cybersecurity vulnerabilities in cloud gaming services (CCS'22), container registries (USENIX-SEC'22), and software supply chains, with specialized attention to GPU cache attacks (USENIX-SEC'24) and Ethereum smart contracts (WWW'24). His research spans theoretical and applied aspects of system security, including CI/CD pipelines (CCS'24), SDN backdoors (INFOCOM'23), and hardware-level threats (ACSAC'21). Scientific Awards NSF CAREER Award (2024) NSF CRII Award (2020) NDSS Distinguished Poster Award (2016) He serves as Registration Chair for ACM/IEEE Symposium on Edge Computing (2023) and Publicity Co-Chair for IEEE Conference on Communications and Network Security (2022). He is actively involved as TPC Member in multiple top-tier conferences including USENIX Security (2026,2025), CCS (2026,2025,2024), and IEEE DSN (2024). He has also reviewed for journals like IEEE Transactions on Dependable and Secure Computing. Labs & Teams X-Lab at the University of Delaware, a research group focused on cybersecurity in emerging technologies.

Sarath Kodagodaمشاهده پروفایل

استاد

• Robotics
• Mechatronics
• Sensor Fusion
• +۶ مورد دیگر

Professor Sarath Kodagoda is a leading academic and researcher in robotics and mechatronics at the University of Technology Sydney (UTS), where he serves as Acting Director of the UTS Robotics Institute. He specializes in sensor fusion, data processing, and machine learning, with a focus on robotic solutions for infrastructure inspection and assistive technologies. His work includes developing the Robotic Remote Lab teaching facilities and founding the iPipes lab for wastewater infrastructure research. Affiliations: UTS Robotics Institute, Faculty of Engineering & IT Leadership Roles: President of the Australian Robotics & Automation Association, Ambassador for NSW Smart Sensing Network His research interests span robotics, sensor networks, and infrastructure robotics, with notable contributions to pipeline inspection and tactile sensing. He has published over 170 papers, attracted $6M+ in grants, and supervised 12 PhD students now working at Amazon, Google, and ABB. Awards include the UTS Medal for Teaching & Research Integration and multiple national/international innovation awards. Recent work emphasizes robotic systems for wastewater infrastructure, assistive robotics for vision-impaired individuals, and advanced sensor technologies. His articles highlight innovations in tactile sensing skins, 3D object detection (e.g., CaLiJD, LMIINet), and pipeline defect detection (PIPE-CovNet+). Grants: Contracts with Amplitel, NBN Co Ltd, and ARC Linkage Projects Labs/Teams: UTS Robotics Institute, iPipes Lab

Juan Zhaiمشاهده پروفایل

استادیار

• Software Engineering
• Program Languages
• Natural Language Processing
• +۶ مورد دیگر

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences (CICS) at the University of Massachusetts Amherst. She co-directs the Laboratory for Advanced Software Engineering Research (LASER) and is a member of the UMass NLP group. Her research advances software engineering through automated techniques for building high-quality systems with emphasis on behavioral specifications, AI safety, and trustworthy AI. Her work addresses the fundamental challenge of aligning software behavior with intended specifications through two main directions: automated specification synthesis (translating natural language comments to formal specifications via tools like C2S and LLMCup) and defect detection/repair (developing frameworks for AI system testing, bias mitigation, and training diagnostics). Her vision integrates these into end-to-end assurance systems that continuously validate, repair, and audit evolving software in dynamic environments. Recent publications (2024-2025) reveal dominant trends at the software engineering/AI intersection: formal specification synthesis for IoT and code generation, comment maintenance using LLMs, deep learning framework testing (DevMuT, Citadel), bias detection in LLMs, and automated training repair (AutoTrainer, DREAM). These contributions appear in top venues including ICSE, FSE, ASE, ISSTA, and ACL. Professor Zhai currently advises PhD student Gehao Zhang (focusing on Software Engineering and AI Safety) and actively recruits new PhD/Master's students. Her LASER lab develops practical tools for specification inference, LLM-driven synthesis, and trustworthy AI, while collaborating with the UMass NLP group on language-centric software analysis. The LASER lab, co-directed by Zhai, pioneers techniques for behavioral specification enforcement across traditional and AI-powered systems. Key projects include CPC for bidirectional code-comment analysis, ModelMeta for deep learning framework testing, and frameworks for bias mitigation across the ML lifecycle. The lab emphasizes practical, scalable tools that enhance correctness, robustness, and fairness in critical AI applications.

• Computer Security
• Cryptography
• Privacy
• +۴ مورد دیگر

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

• Cybersecurity
• Privacy-Preserving Technologies
• Internet of Things (IoT)
• +۴ مورد دیگر

Dr. Kanchana Thilakarathna is a Senior Lecturer in Distributed Computing at the University of Sydney's School of Computer Science, and a member of the Centre for Distributed and High Performance Computing. They hold a PhD from the University of New South Wales (UNSW) and a B.Sc. Eng (Hons) from the University of Moratuwa, Sri Lanka. Prior to academia, they worked as a Research Scientist at CSIRO/Data61 and had industry experience as a Mobile Radio Network Engineer. Research Interests : Dr. Thilakarathna focuses on cybersecurity, privacy in mobile and IoT systems, mixed reality privacy, and distributed computing platforms. Their work emphasizes user-centric solutions like the Yalut social media app, which enables decentralized data sharing. Key themes include privacy-preserving techniques, edge computing, and secure federated learning frameworks. Recent Work : Recent articles (2023–2025) explore machine unlearning for large language models, federated learning security, and IoT network slicing using P4 programmability. Their work on synthetic video traffic generation (VideoTrain++) and drone detection (DronePrint) demonstrates cross-disciplinary innovation. Awards : Malcolm Chaikin Prize (2015), Meta Research Awards (2020/2022), and Heidelberg Laureate Fellowship (2019). Grants : ARC Research Hub for Future Digital Manufacturing (2024), NSW Defence Innovation Network Projects (2024/2021), and Facebook Research Awards (2022/2020). Students : Advising 4 current PhD students on topics like wireless trust establishment and machine unlearning. Labs/Teams : Part of the Centre for Distributed and High Performance Computing and Sydney Nano Institute.

• Blockchain Security
• Smart Contracts
• Decentralized Finance (DeFi)
• +۳ مورد دیگر

Arthur Gervais is a Professor of Information Security at University College London's Department of Computer Science. His work focuses on blockchain systems, smart contract security, and decentralized finance (DeFi) risk analysis. He has published extensively on topics ranging from privacy technologies to systemic vulnerabilities in financial cryptography. Research Interests: Gervais investigates security challenges in blockchain ecosystems, including censorship mechanisms, zero-knowledge proofs, and DeFi liquidation risks. His interdisciplinary approach bridges computer science, cryptography, and financial systems. Publications Trends: Recent articles emphasize empirical studies of DeFi attacks, hybrid fuzzing for smart contract verification, and privacy trade-offs in blockchain mixers. His work spans conferences like ACM SIGMETRICS, IEEE Security & Privacy, and World Wide Web Conference.

Swati Aggarwalمشاهده پروفایل

استاد

• Artificial Intelligence
• AI in Health and Medicine
• AI in Society
• +۶ مورد دیگر

Swati Aggarwal is a Professor in Artificial Intelligence at the Faculty of Logistics, Molde University College (HiMolde). Her research focuses on AI applications in healthcare, ethics, cognitive development, and neural networks. She holds a PhD in Neutrosophic Neural Networks, a Master's in Information Technology, and a Bachelor's in Computer Science and Engineering. Previously, she was a Marie Curie Postdoc Fellow at NTNU, working on AI models for cognitive assessment in infants (AIM_COACH project). Research Interests - AI in Health/Medicine - Ethics in AI and Societal Impact - EEG/BCI for Cognitive Assessment - Machine Learning and Deep Learning Publications Her recent work spans AI ethics, BCI applications, adversarial attacks, and healthcare diagnostics. Notable contributions include EEG-based infant perceptual monitoring (2025) and malaria detection via EfficientNet (2023). She also explores cross-lingual adversarial robustness and blockchain in hospitality systems. Labs/Teams - ABC-AI: Applied, Basic, and Conscientious AI Group - Virtual Technologies and Learning Research Group

Giancarlo Ferrari Trecateمشاهده پروفایل

استاد مدعو

• Automatic control
• State estimation
• System identification
• +۷ مورد دیگر

Giancarlo Ferrari Trecate is an Adjunct Professor at the Swiss Federal Institute of Technology Lausanne (EPFL) , affiliated with the School of Engineering and the SCI-STI-GFT department. He is also involved in teaching and research through the STI-SGM and EDRS-ENS programs. Research Interests : Automatic control, state estimation, system identification, machine learning, distributed control, hybrid systems, microgrids, biochemical networks, voltage and frequency stabilization in AC/DC microgrids. Publications Trends : His recent work focuses on integrating Neural ODEs and Hamiltonian structures for stable control systems, regret minimization in distributed control, and robust state estimation under uncertainty. Applications include autonomous mobility-on-demand , power grid optimization , and secure microgrid control against cyber-attacks. Scientific Awards : No specific awards mentioned in the provided data. Teaching & Advising : He supervises PhD students in mechanical engineering and teaches courses on Multivariable control and Networked control systems . His lab, DECODE , specializes in Dependable Control and Decision systems.

Cyrille Arthoمشاهده پروفایل

دانشیار

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

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

David Basinمشاهده پروفایل

استاد

• Information Security
• Formal Methods
• Cryptography
• +۳ مورد دیگر

David Basin is a Full Professor at the Department of Computer Science, ETH Zurich, and heads the Information Security Group. He has held academic positions since 2003, including roles at the University of Freiburg (1997–2002) and the Max-Planck-Institut für Informatik (1992–1997). His research focuses on Information Security, including methods and tools for secure systems, formal verification, and cryptographic protocols. He is Editor-in-Chief of the ACM Transactions on Privacy and Security and Springer's Information Security and Cryptography book series. Basin founded the Zurich Information Security Center (ZISC) in 2003 and led it until 2011. Education: B.Sc. in Mathematics (Reed College, 1984), Ph.D. (Cornell University, 1989), and Habilitation (University of Saarbrücken, 1996). Research interests span formal methods for security protocol verification, privacy-preserving systems, and cryptographic implementations. He has contributed to foundational work on security protocols, including the Tamarin verification framework. His work addresses real-world systems like payment protocols (EMV), DNS security, and database isolation guarantees. Awards: ACM Fellow (2018) for contributions to Information Security and Formal Methods, IEEE Fellow. He has organized numerous conferences, including IEEE S&P, Euro S&P, and ACM CCS. Labs/Teams: Leads the Information Security Group at ETH Zurich and co-founded Anapaya Systems, a startup focused on network security solutions. His team develops tools like VeriMon (formally verified monitoring) and Tamarin for protocol analysis.