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

• Distributed Systems
• Edge Computing
• Serverless Computing
• +۴ مورد دیگر

Stefan Nastic is an Assistant Professor at the Technische Universität Wien (TU Wien), affiliated with the Faculty of Informatics and the Distributed Systems department. He serves as Curriculum Coordinator for the Master’s program in Distributed and Next Generation Computing, and is a Substitute Member of the Curriculum Commission for Informatics. His research focuses on distributed systems, edge computing, serverless computing, IoT, and smart cities. He holds a PhD in IoT cloud systems (2016) and a BSc (not explicitly stated). Key research contributions include frameworks for serverless edge-cloud continuum (e.g., HyperDrive, GoldFish), federated learning applications (e.g., adaptive human activity recognition), and IoT infrastructure governance (e.g., Polaris Scheduler). He leads projects like RapidREC (2023–2025) on supply chain optimization and participates in initiatives like TEADAL (2022–2025) for edge-cloud workflows. Publications span 30+ peer-reviewed articles in top venues like IEEE IoT, ACM, and IEEE Cloud. He supervises graduate students on stateful serverless functions, federated learning, and edge-cloud scheduling. His work addresses challenges in resource management, latency reduction, and scalable distributed systems.

Sam Lindleyمشاهده پروفایل

دانشیار

• Programming Languages
• Formal Methods
• Type Systems
• +۳ مورد دیگر

Sam Lindley is a Reader in Programming Language Design and Implementation at the School of Informatics, University of Edinburgh. He holds a UKRI Future Leaders Fellowship in Effect Handler Oriented Programming. His research focuses on foundational aspects of programming languages, including effect systems, session types, type theory, and functional programming. Key research interests span algebraic effects, concurrency models, type systems for resource management, and language implementation techniques. Lindley's work bridges theory and practice, addressing challenges in systems programming, web technologies (e.g., WebAssembly), and compiler design. Recent publications (2023–2025) emphasize effect handlers for low-level languages (e.g., C, WebAssembly), modal type systems for memory management, and formal semantics for concurrent systems. His work often explores how advanced type systems can improve expressivity and efficiency in programming models. Scientific Awards: UKRI Future Leaders Fellowship Labs/Teams: Laboratory for Foundations of Computer Science (LFCS) Grants: Active funding via UKRI Fellowship

Heiko Bornholdtمشاهده پروفایل

پژوهشگر

• Distributed Communication Middleware
• Overlay Networking
• P2P Networks
• +۳ مورد دیگر

Dr. Heiko Bornholdt is a Researcher in the Computer Networks group at the Department of Informatics, University of Hamburg. He is affiliated with the Faculty of Mathematics, Informatics, and Natural Sciences. His research focuses on distributed communication middleware, overlay networking, and edge computing. He holds a doctoral degree and has been with the university since 2016. Position: Research Associate / Postdoc Office: Room F-622, Vogt-Kölln-Str. 30 Contact: heiko.bornholdt@uni-hamburg.de | +49 40 42883-2332 Research Interests Dr. Bornholdt’s work emphasizes distributed systems , particularly in the context of smart cities and IoT. Key areas include: Overlay networks for edge computing Decentralized privacy-preserving systems Efficient data discovery in IoT Latency-aware network protocols Publications Overview His recent work spans 20+ publications, with significant contributions to: Edge computing middleware (e.g., software-defined overlay networks) Secure communication in untrusted environments Smart urban data spaces Awards & Grants No specific awards mentioned, but active in funded projects including the EU-GDPR compliant blockchain research. Labs & Teams Part of the Computer Networks Team led by Prof. Mathias Fischer, collaborating with researchers like Kevin Röbert and Jeetesh Gupta.

Nikolaos Papaspyrouمشاهده پروفایل

استاد

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

Nikolaos Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA) and a member of the Software Engineering Laboratory . His research focuses on the theory and implementation of programming languages, including semantics, type systems, compilers, static analysis, and formal verification. Since October 2021, he has been on leave from NTUA, working as a Software Engineer for Google in the memory management team for the V8 JavaScript and WebAssembly engine. He previously served as Director of the Division of Computer Science (2017-2019) and was on sabbatical with Google's compiler group in Munich (2015-2016). His work includes the RELEASE project (EU FP7 STREP) for reliable large-scale server software and uncertainty handling in distributed databases (European Social Fund). Ph.D. and Diploma in Electrical and Computer Engineering from NTUA M.Sc. in Computer Science from Cornell University His research interests span programming languages , software engineering , and formal verification , with recent publications on coinductive proofs in Liquid Haskell, concurrency semantics, and quantum compilation. He has supervised over 50 diploma projects and mentored numerous students now at institutions like MIT, Princeton, and UC Berkeley. Awards include conference organizing and program committee roles, though no formal scientific prizes are listed.

Rui Abreuمشاهده پروفایل

استاد

• Software Engineering
• Software Testing
• Debugging
• +۶ مورد دیگر

Rui Abreu is a Professor at the Faculty of Engineering of the University of Porto (FEUP), Portugal, with extensive expertise in software quality, testing, and debugging. Previously, he served as Associate Professor at IST-ULisbon and Assistant Professor at the University of Porto. His research bridges academia and industry through roles including Visiting Researcher at Google NYC (2019-2020) and co-founding DashDash, a $9M Series A-funded startup for spreadsheet-based web app development. His educational background includes a Ph.D. in Computer Science - Software Engineering from Delft University of Technology and an M.Sc. in Computer and Systems Engineering from the University of Minho. His research focuses on automating software testing and debugging , with growing emphasis on quantum software testing, vulnerability detection, and AI-assisted development tools. Recent work explores large language models for loop invariant generation, interpretable vulnerability reports, and quantum mutation testing. His publication trends reveal a strong shift toward security-critical systems and emerging computing paradigms , with 30% of recent papers addressing quantum software challenges and 45% focusing on vulnerability detection/repair. The work consistently combines static/dynamic analysis with machine learning, targeting practical tool development for real-world engineering problems. 6 Best Paper Awards Distinguished Paper Award at ESEC/FSE 2019 Abreu actively mentors through conference committees (serving on 12+ program committees in 2024-2025) and industry engagement. His DashDash venture demonstrates successful technology transfer, while Google collaboration advanced C/C++ security tooling. Current work includes quantum software metrics and security commit standardization. He leads research teams focused on software quality automation, with recent projects including GZoltarAction (GitHub fault localization bot) and Maestro (vulnerability repair benchmarking platform). Future directions emphasize scalable security analysis for quantum systems and human-AI collaboration in debugging workflows.

Florentin Rochetمشاهده پروفایل

استادیار

• Anonymous Communication
• Network Security
• Transport Protocols
• +۵ مورد دیگر

Florentin Rochet is an Assistant Professor at the University of Namur's Faculty of Computer Science. His research focuses on anonymous communication , network security , and encrypted transport protocols , with a particular emphasis on improving privacy-enhancing technologies and protocol design. He holds a PhD in Applied Cryptography and has contributed to projects like TCPLS (TCP/TLS integration) and CLAPS (Tor path selection). Key academic milestones include joining UNamur in 2022 as an Assistant Professor, completing a postdoc at the University of Edinburgh (2021), and serving on program committees for Usenix Security, ACM CCS, and PoPETs. He has received the Usenix Security Noteworthy Reviewer Award (2023) and the 2020 Alan Berman Research Publication Award. His research spans flexible anonymous networks , secure transport protocols , and authentication technologies , with notable work on improving Tor's resilience against attacks through location-aware path selection and enhancing TLS/TCP integration for modern networks. He also leads a research group exploring eBPF security and WebAssembly runtime protections. Teaching responsibilities include computer security and privacy courses, with a 6-year teaching assistant position involving bachelor's/master's instruction and PhD supervision. His lab focuses on applied cybersecurity, network protocol innovation, and privacy-preserving systems design.

• Computer Science
• Cybersecurity
• WebAssembly Security
• +۳ مورد دیگر

Weihang Wang is a Volunteer Assistant Professor in the Department of Computer Science and Engineering at the University of Southern California (USC), part of the School of Engineering and Applied Sciences. His research focuses on WebAssembly security, program analysis, and static/dynamic analysis frameworks. He holds a PhD and has published extensively on topics like WebAssembly obfuscation, decompilation techniques, and flaky test mitigation. Research interests include cybersecurity, software engineering, and the application of AI in program analysis. His work addresses challenges in cross-compilation for WebAssembly, decompilation accuracy, and automated detection of security vulnerabilities in web applications. Notable projects include WaSCR (side channel repairer), WBSan (bug detection), and Wefix (flaky test automation). He has received NSF travel grants for IEEE Security Development (SecDev) conferences in 2022 and 2023. His articles span 2010–2025, showing sustained contributions to web security, compiler optimization, and program transformation. His work intersects with practical applications like ad-blocking systems (Adhere) and bird flu outbreak prediction using migration data (2010–2013). Grants and awards include NSF funding for travel and research, reflecting his active role in academic conferences. He is affiliated with USC's computer science department and maintains an active Google Scholar profile with over 30 publications listed.

Quentin Stiévenartمشاهده پروفایل

پژوهشگر

• Abstract Interpretation
• Concurrency
• Static Analysis

Quentin Stiévenart is a researcher at Université du Québec à Montréal, focusing on abstract interpretation, concurrency, and static analysis. His work spans programming language design, software verification, and tool development for WebAssembly and functional languages like Racket and Scheme. Active in organizing and reviewing for conferences including SPLASH, ICFP, ECOOP, and SAS Developed tools such as Wassail for WebAssembly static analysis and RacketLogger for educational purposes Contributions include theoretical work on effect-driven flow analysis and practical advancements in concolic execution abstraction His research addresses challenges in concurrency verification, cyclic reinforcement in incremental analysis, and security-focused taint tracking across multiple language paradigms.

• Computer Security
• Program Analysis
• Machine Learning
• +۴ مورد دیگر

Mu Zhang is an Assistant Professor at the Kahlert School of Computing, University of Utah. His research focuses on computer security, particularly developing tools using program analysis, machine learning, and data mining to address security issues in Web3, cyber-physical systems, and mobile systems. Previously, he was a Postdoc at Cornell University and a Research Staff Member at NEC Labs America. Education and Background: Postdoc, Cornell University Research Staff Member, NEC Labs America Research Interests: His work emphasizes automated detection and mitigation of security vulnerabilities, including smart contract flaws, industrial control system threats, and malware analysis. He explores innovative solutions like ICSTracker for intrusion backtracking and DEEPVMUNPROTECT for VM-protected Android malware recovery. Recent efforts span blockchain formal verification, Wasm runtime testing, and cross-domain threat inference. Recent Contributions: Notable publications include papers on provenance analysis for industrial control systems (DSN'25), storage collision mitigation in smart contracts (USENIX Sec'25), and automated generation of security-centric smart contract descriptions (ISSTA'23, distinguished paper). Funded projects include NSF grants for AI security education and Cisco Research for smart contract semantics recovery. Awards: His team received the ACM SIGSOFT Distinguished Paper Award (2023) and CCS 2022 Best Paper Honorable Mention. Advising and Grants: Supervises PhD/MSc students like Yu, Wanjing, and Taiji. Active in proposal funding (e.g., Idaho National Lab for industrial control systems, Stellar Foundation for smart contract analysis). Served on TPCs for NDSS, CCS, and ISSTA. Labs/Teams: Leads a research group at University of Utah focusing on secure software systems and automated security tool development.

• Static and dynamic analysis
• Program transformations
• Web security
• +۴ مورد دیگر

David Klein is a PhD Candidate at the Institute for Application Security , part of the Carl Friedrich Gauss Faculty at TU Braunschweig . His work focuses on web security and privacy , with specific expertise in static and dynamic analysis of vulnerabilities, program transformations, and GDPR compliance frameworks. David's research spans multiple subfields, including browser fingerprinting, cross-site scripting (XSS), and memory corruption in WebAssembly. His 15 most recent publications (2013–2025) investigate topics like HTML sanitizer bypasses , privacy-enforcement frameworks , and developer behavior in privacy implementation . His work has been presented at top venues like USENIX Security , IEEE S&P , and PETS . 2024: Distinguished Paper Award Winner at 33rd USENIX Security Symposium David actively participates in program committees for conferences such as ACM CCS , USENIX Security , and IEEE Euro S&P , contributing to the peer-review process in cybersecurity and privacy research.

Coen De Rooverمشاهده پروفایل

استاد

• Program Analysis
• Software Quality
• Static and Dynamic Analysis
• +۷ مورد دیگر

Coen De Roover is a Professor at the Software Languages Lab of the Vrije Universiteit Brussel , actively leading research in program analysis, software quality, and security. He chairs the Bachelor in Computer Science program and supervises a dynamic research group. Research Focus: Static/dynamic analysis, automated testing, software maintenance, AI for SE, infrastructure as code security. Projects: Bugatti (2025-2028), Cracy (2024-2027), CRPF (2024-2028), BaseCamp Zero (2022-2026), EcoPipe (2023-2025), APAX (2022-2024). Scientific Awards: MSR 2025 Distinguished Dataset Award IEEE TCSE Distinguished Paper Award (SANER 2022) ICSE 2022 Best Artifact Award SCAM 2022 Best Artifact Award Conference Leadership: General Chair of SCAM 2024, Program Co-Chair for GPCE 2024, and active in organizing summer schools on security testing.

Dominik Moritzمشاهده پروفایل

استادیار

• Human-Centered Machine Learning
• Data Science
• Interactive Systems
• +۶ مورد دیگر

Dominik Moritz is an Assistant Professor at the Human-Computer Interaction Institute (HCII) of Carnegie Mellon University and Machine Learning researcher at Apple. He leads the Data Interaction Group and develops systems for interactive data visualization. Ph.D. in Computer Science from University of Washington (2019) B.S. in Computer Science from Hasso Plattner Institute (2013) His research focuses on: Human-Centered Machine Learning Data Visualization Toolkits Interactive Systems Design Accessibility in Visual Analytics Scalable Web-Based Visualization Recent publications address visualization design knowledge formalization (Draco), cross-filtering frameworks (Mosaic), and accessibility evaluation (Chartability). He has received Best Paper Honors at VIS and EuroVis conferences. Professional Collaborations: Co-founder of Vega-Lite visualization grammar Collaborations with Jeff Heer, Bill Howe, Jock MacKinlay Projects with Microsoft Research and Google Research

• Programming Languages
• Semantics
• Type Systems
• +۵ مورد دیگر

Nikolaos S. Papaspyrou is a Professor at the School of Electrical and Computer Engineering of the National Technical University of Athens (NTUA), affiliated with the Software Engineering Laboratory and the Division of Computer Science. His research focuses on programming languages, compilers, formal verification, and concurrency. Since October 2021, he has been on leave from NTUA while working as a Software Engineer at Google's V8 JavaScript and WebAssembly engine team. Previously, he served as Director of the Division of Computer Science (2017–2019) and held a sabbatical at Google's Munich compiler group (2015–2016). His academic contributions include pioneering work on Erlang/OTP scalability, concolic testing for functional languages, and static analysis techniques. He has authored numerous publications in top venues like ACM Transactions on Programming Languages and Systems and IEEE conferences. Papaspyrou has supervised over 50 diploma students and multiple PhD candidates, contributing to the education of future researchers and engineers. He actively participates in programming competitions, coaching Greek Olympiad teams, and volunteers in the Hellenic Informatics Society. He teaches advanced courses on programming languages, compilers, and software engineering at NTUA, emphasizing practical applications of theoretical concepts. His educational philosophy integrates problem-solving through programming, as highlighted in his FedCSIS 2013 paper on teaching methodologies.

Amal Ahmedمشاهده پروفایل

استاد

• Programming Languages
• Compiler Verification
• Secure Compilation
• +۳ مورد دیگر

Dr. Amal Ahmed is a Professor of Computer Science at Northeastern University's Khoury College, where she leads research on programming languages and compilers. Her work develops formal foundations for secure multi-language software systems. Core research areas: Compiler correctness for heterogeneous codebases Type-preserving compilation Secure interoperability (FFI/ABI semantics) Gradual typing theory Recent publications address WebAssembly security, probabilistic program verification, and ABI specification. Methodological innovations include logical relations for compiler verification and multi-language semantic frameworks. Honors and funding: NSF CAREER Award (2015) Google Faculty Research Award (2014) DARPA V-SPELLS grant NSF SHF grants Dr. Ahmed directs the SILC (Secure Interoperability, Languages, and Compilers) group and co-organizes programming languages mentoring workshops. She teaches graduate courses on type theory and compiler verification.

Deian Stefanمشاهده پروفایل

دانشیار

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

Deian Stefan is an Associate Professor in the Computer Science and Engineering (CSE) Department at University of California, San Diego (UCSD) . His research focuses on secure systems , spanning security , programming languages , and systems . Notably, he works on WebAssembly , JavaScript JITs , and language-based security (e.g., constant-time programming, memory safety, information flow control). Education : PhD in Computer Science from Stanford University (2015), M.Eng and B.Eng in Electrical Engineering from Cooper Union (2011) His research trend emphasizes secure compilation , transient execution attacks , and hardware-software co-design for security . Key themes include SFI (Software Fault Isolation) , constant-time cryptography , and WebAssembly hardening . Scientific Awards Distinguished paper awards at POPL 2023, IEEE MICRO Top Picks 2024 IEEE Cybersecurity Award for Practice 2022 CSA W first place (2020), DJB Prize (2010) He teaches graduate courses like CSE 227: Graduate Computer Security and CSE 291: Building Secure Systems , covering topics from supply chain attacks to hardware defenses . He co-founded web-security startup Intrinsic (acquired by VMWare).