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

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

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

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

• security
• programming languages
• systems
• +۷ مورد دیگر

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.

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

Jishen Zhao is an Assistant Professor in the Department of Computer Science and Engineering at the University of California, San Diego (Jacobs School of Engineering). His research focuses on computer architecture, non-volatile memory systems, and deep learning acceleration. Dr. Zhao has published extensively in top venues including ISCA, MICRO, ASPLOS, and IEEE Transactions. He collaborates with researchers at UCSD and beyond to advance systems for emerging applications in AI and autonomous vehicles. Dr. Zhao's primary research areas include persistent memory systems, hardware/software co-design for deep learning, and safety-critical computing. He develops techniques for crash consistency, memory disaggregation, and efficient neural network deployment. His work on autonomous vehicles addresses scenario generation and perception-aware system design. Recent projects explore LLM applications for software engineering and hardware verification. Analysis of Dr. Zhao's 2024-2025 publications reveals a strong shift toward AI-integrated systems research. He applies large language models to tasks like RTL verification and software issue localization while continuing to innovate in memory systems for serverless computing. There is growing emphasis on safety-critical systems for autonomous vehicles and energy-efficient neural network training using novel hardware architectures. Information about Dr. Zhao's scientific awards, advising activities, grants, and laboratory facilities was not available in the provided documentation.

• Computer Architecture
• Non-Volatile Memory Systems
• Deep Learning Systems
• +۳ مورد دیگر

Conrad Watt is an Assistant Professor at Nanyang Technological University (NTU), Singapore , specializing in WebAssembly, formal verification, and concurrency. He previously served as a Research Fellow at Peterhouse, University of Cambridge, and earned his PhD under Peter Sewell. Co-chair of the W3C WebAssembly Community Group Active in WebAssembly standards development, including concurrency specifications Developed mechanizations in theorem provers like Isabelle/HOL Collaborator with industry (wasmtime engine) and academic teams on verification tools Research Focus: Formal verification of low-level languages, concurrency models, and security mechanisms for WebAssembly. His work bridges theoretical rigor with practical applications, including WasmRef-Isabelle and threads projects. Recent Trends: 2025 publications explore separation logic automation and concurrency experiments, while 2024-2023 work emphasizes specification toolchains (SpecTec), verified interpreters, and memory-safe execution techniques. Scientific Awards ACM Doctoral Dissertation Award Honorable Mention EAPLS Best Dissertation Award Advising: Supervises PhD students Qiyuan Xu and Antanas Kalkauskas. Collaborates with researchers like Philippa Gardner and Jean Pichon-Pharabod.

• WebAssembly
• Formal Verification
• Programming Languages
• +۴ مورد دیگر

Yan Chen is a Professor of Computer Science at Northwestern University's Robert R. McCormick School of Engineering and Applied Science. He leads the Northwestern Lab for Internet and Security Technology (LIST) and the Center for Ultra-scale Computing and Information Security. His research focuses on cybersecurity, network measurement, and distributed systems security. Chen holds a Ph.D. from UC Berkeley (2003), M.S. from SUNY Stony Brook, and B.E. from Zhejiang University. Research interests include securing networking systems, intrusion detection, cloud-native platforms, and mobile security. Notable awards include the DOE Early CAREER Award (2005), Air Force Young Investigator Award (2007), and ACM ASPLOS'18 Most Influential Paper Award. His work has been cited over 17,000 times with an h-index of 62 (2024). Key contributions include the LIST lab's advancements in APT detection, provenance tracking in microservices, and security frameworks like FlowCog. He advises numerous Ph.D. students and has graduated over 20 researchers now in academia and industry.

• Cybersecurity
• Networking
• Distributed Systems Security
• +۵ مورد دیگر

Bruno Volckaert is a Professor in the Department of Information Technology at Ghent University and Senior Researcher at imec. He obtained his Master of Computer Science (2001) and PhD in Grid Computing Resource Management (2006) from Ghent University. His research focuses on distributed cloud systems for Smart Cities and Industry 4.0 applications. Volckaert's expertise spans: Reliable distributed cloud backend systems Autonomous optimization of cloud applications Cybersecurity through machine learning IoT data processing architectures Kubernetes-based container orchestration Edge-to-cloud continuum computing His publications demonstrate strong focus on: cloud-native technologies, Kubernetes optimization, cybersecurity frameworks, and distributed AI systems. Recent work emphasizes reinforcement learning for auto-scaling, secure edge computing, and intrusion detection systems. He has contributed to over 40 national/international research projects and authored 100+ publications. Current affiliations include leadership roles in: IDLab Research Unit (Ghent University) imec Research Center

• Cloud Computing
• Cybersecurity
• Internet of Things
• +۷ مورد دیگر

Prof. Dr. Martin Johns serves as Chair of Application Security at the Institute for Application Security within the Carl Friedrich Gauss Faculty at Technical University Braunschweig. He joined TU Braunschweig after working as Research Expert at SAP Security Research, where he shaped security strategy and led software security teams. Prior to SAP, he worked as software engineer in Germany at companies like TC Trustcenter and Infoseek Germany. Academic qualifications include a PhD in Computer Science (University of Passau, 2009) and a Diploma in Computer Science (University of Hamburg, 2003). His research focuses on web security and software security , particularly secure programming , vulnerability detection , and attack mitigation strategies. Recent publications cover topics like GDPR compliance frameworks , WebAssembly security , federated learning privacy , and server-side request forgery (SSRF) defenses. His work appears in top conferences including IEEE S&P, CCS, WWW, and ACM CODASPY.

• Web Security
• Software Security
• Secure Programming
• +۳ مورد دیگر

Prof. Dr. Janick Edinger is a Professor of Distributed Operating Systems at the Department of Informatics, Faculty of Mathematics, Informatics and Natural Sciences, University of Hamburg, Germany. He leads a research group focused on distributed, context-aware, and adaptive computing systems, with a strong emphasis on edge computing, computation offloading, and assistive technologies. Education: PhD in Computer Science, University of Mannheim Studies at National Taiwan University Studies at University of Alberta, Canada Research stays at University of British Columbia, Hong Kong Polytechnic University, and Georgia State University, USA His research explores how edge computing and computation offloading can enable efficient, privacy-preserving processing of sensor and video data close to their sources, particularly in dynamic environments. He investigates the integration of autonomous and heterogeneous systems—such as drone fleets and mobile devices—into scalable middleware platforms for real-time monitoring and decision-making in logistics and industrial operations. His work also emphasizes societal impact, contributing to accessible routing, adaptive interfaces, and crowd-sourced mapping. The recent publications reflect a strong trend in edge computing, federated learning, privacy-preserving analytics, and assistive technologies. Topics include WebAssembly-based offloading, emotion prediction via eye tracking, real-time traffic detection, and predictive maintenance in Industry 4.0, showcasing a blend of foundational systems research and applied human-centered computing. Scientific Awards: PerCom 2021 Mark Weiser Best Paper Award Best Paper Award at IEEE PerCom 2021 for 'Voltaire: Precise Energy-Aware Code Offloading Decisions with Machine Learning' Prof. Edinger actively advises students and leads research projects involving grants and collaborations. His team includes PhD candidates and researchers working on middleware, edge systems, and context-aware applications. He has served on conference program committees, such as shadow PC member for EuroSys 2021, and publishes in top venues including IPDPS, PerCom, CHIIR, and COMPSAC. Labs and Teams: He leads the Distributed Operating Systems research group at the University of Hamburg, where he mentors students and collaborates on projects involving edge computing, IoT, and adaptive systems.

• Distributed Operating Systems
• Edge Computing
• Computation Offloading
• +۷ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

Michael Pradel is a full professor at the University of Stuttgart, specializing in software engineering, programming languages, and machine learning. He will join CISPA as a faculty member from September 2025 while retaining his Stuttgart position. His research focuses on: Neuro-symbolic software analysis Web application analysis Dynamic analysis and test generation Quantum software testing Machine learning for code Recent publications address: LLM-based program repair (RepairAgent, Treefix) WebAssembly analysis (Wasm-R3, LintQ) Python security and analysis (DyLin, DyPyBench) Quantum program analysis (LintQ) Scientific awards: Ernst-Denert Software Engineering Award Emmy Noether grant (1.3M Euro) ERC Starting Grant (1.5M Euro) 3x ACM SIGSOFT Distinguished Paper Award at FSE ACM Distinguished Member Best Paper/Distinguished Paper Awards at ISSTA, ASE, ASPLOS, MSR Key contributions include: DeepBugs for name-based bug detection Getafix for automated bug fixing LintQ for quantum program analysis DyLin for Python dynamic analysis Neuro-symbolic developer tools

• Software Engineering
• Programming Languages
• Program Analysis
• +۹ مورد دیگر

Prof. Dr. Johannes Kinder is a Professor and Chair of Programming Languages and Artificial Intelligence at the Institute of Informatics , Ludwig Maximilian University of Munich. His research focuses on software security through program analysis and machine learning, particularly targeting malware detection , vulnerability analysis , and reverse engineering . He has held faculty positions at Royal Holloway, University of London, and Bundeswehr University Munich. Research Interests include: Securing software systems via program and machine learning techniques Detection of software vulnerabilities and malware Preventing exploitation through binary analysis Applications of formal methods in systems security Recent Publications highlight advancements in binary function embedding , malware detection in npm , and speculative execution attack modeling . His work appears in top venues like USENIX Security and IEEE S&P . Education : Diplom from TU Munich (2005), Doctorate from TU Darmstadt (2010). Professional Roles : General Chair, ACM CCS 2019 Doctoral Symposium Chair, ESSoS 2016 Program Committee member for NDSS 2026, IEEE S&P 2022-2025

• Software Security
• Program Analysis
• Machine Learning
• +۳ مورد دیگر

Eric Wustrow is an Associate Professor in the Department of Electrical, Computer, and Energy Engineering (ECEE) at the University of Colorado Boulder. His research focuses on computer security, network security, anticensorship, and protocol security. He has advised multiple PhD students including Abdulrahman Alaraj, Jackson Sippe, and Gaukas Wang. Research Interests: Network security and protocol analysis Anticensorship techniques and measurement Internet measurement and infrastructure analysis Cryptography and secure system design Notable Contributions: Developed ZMap, a fast internet-wide scanning tool Pioneered anticensorship research through projects like Telex and TapDance Conducted impactful studies on TLS vulnerabilities and cryptographic key management Awards: Best Paper at USENIX Security 2012 IRTF Applied Networking Research Prize (2024) Third Prize in 2021 Internet Defense Prize Labs/Teams: Active contributor to Refraction Networking projects and cybersecurity tool development initiatives.

• Computer Security
• Network Security
• Anticensorship
• +۴ مورد دیگر

Claire Le Goues is an Associate Professor in the School of Computer Science at Carnegie Mellon University , affiliated with the Software and Societal Systems Department (formerly Institute for Software Research). She holds a Ph.D. and M.S. in Computer Science from the University of Virginia and a B.A. in Computer Science from Harvard College. Her research focuses on software engineering with emphasis on program analysis , transformation , and search-based repair . She leads the squaresLab group and co-directs the REUSE@CMU summer program. Her work spans automated program improvement (stochastic/formal approaches), software assurance, quality metrics, and systems from open source to robotics. Recent scientific awards include the ACM FSE 2025 Test of Time Award Honorable Mention and the Presidential Early Career Award for Scientists and Engineers (PECASE) . She mentors students in software engineering and actively collaborates on projects like SearchRepair and GenProg , supporting empirical benchmarks such as ManyBugs and IntroClass . She teaches software engineering and program analysis at undergraduate, master’s, and doctoral levels, addressing challenges in scaling modern systems. Her lab focuses on software repair , code transformation , and AI-driven testing .

• Software Engineering
• Programming Languages
• Program Analysis
• +۹ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California at San Diego. His research focuses on secure systems spanning security, programming languages, and systems. He is particularly interested in WebAssembly, JavaScript JITs, language-based security (constant-time programming, memory safety, information flow control), verification for security, and program analysis tools. Co-founder and Chief Scientist at Intrinsic (acquired by VMWare) Contributor to W3C WebAppSec and Node.js Security Working Groups Research Interests: His work addresses secure systems through principled approaches, including: Web frameworks security Browser design security Sandboxing techniques Runtime systems security Constant-time programming WebAssembly and JavaScript JITs Scientific Awards: Distinguished paper award at POPL 2023 IEEE Cybersecurity Award for Practice 2022 Best paper award at CollaborateCom 2010 Most Influential Paper Award at ICFP 2022 First place at CSAW 2020 for applied research Advising: Deian has mentored students including Shravan Narayan, Evan Johnson, Sunjay Cauligi, and Fraser Brown, focusing on security, systems, and programming languages.

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