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

Marcus Botacinمشاهده پروفایل

استادیار

• Malware Analysis
• Hardware-Assisted Security
• Antivirus Technology
• +۴ مورد دیگر

Marcus Botacin is an Assistant Professor in the Department of Computer Science & Engineering at Texas A&M University (TAMU), USA. Previously, he held positions as Visiting Assistant Professor (2022-2024) and Lecturer at the Federal University of Paraná (Brazil). His research focuses on malware analysis, hardware-assisted security, and antivirus technology. He earned his Ph.D. in Computer Science from UFPR (2021), M.Sc. from UNICAMP (2017), and B.Sc. in Computer Engineering from UNICAMP (2015). Education: Ph.D., Computer Science, Federal University of Paraná, Brazil (2021) M.Sc., Computer Science, University of Campinas, Brazil (2017) B.Sc., Computer Engineering, University of Campinas, Brazil (2015) Research Interests: Botacin's work addresses challenges in malware detection (static/dynamic methods, sandboxing), hardware-enhanced security mechanisms (e.g., branch monitoring), and antivirus internals. He emphasizes practical solutions and ethical considerations in cybersecurity, advocating for culturally aware threat models (e.g., Brazilian financial malware studies). Publications & Trends: His recent work explores adversarial ML attacks on malware detectors, HPC-based detection frameworks, and automated malware generation risks. He frequently publishes in top venues like ACM CCS, USENIX Security, and IEEE TDSC. Awards: Top-3 Best Ph.D. Thesis in Computer Security (Brazilian Computer Society, 2022) Best PhD Thesis Award from UFPR (2022) MLSec Evasion Challenge 1st place (2021/2020) Advising & Grants: Supervises 15+ students at TAMU and leads NSF-funded projects (e.g., $523K grant for HPC malware detection frameworks). Serves on 21+ conference program committees and reviews for over 50 journals. Lab & Projects: Develops Corvus (public malware analysis sandbox) and explores hardware-accelerated AV solutions like Terminator and HEAVEN.

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

استاد

• correct and secure compilation
• linking types for multi-language software
• typed compilation of dependent types
• +۱۲ مورد دیگر

Amal Ahmed is a Professor and Associate Dean for Graduate Programs at Khoury College of Computer Sciences, Northeastern University, USA. Her career spans over two decades, with a focus on correct and secure compilation , safe language interoperability , and semantic type systems . Research Interests: Her work addresses key challenges in Secure compilation across software-hardware stacks Design of sound foreign-function interfaces (FFIs) Typed compiler intermediate languages for multi-language systems Probabilistic and modal separation logic Gradual typing with parametricity Provenance and concurrency semantics Recent Publications highlight advancements in application binary interfaces , probabilistic logic , WebAssembly interoperability , and gradual typing . These works span POPL , ICFP , LICS , and PLDI , with collaborations across institutions like Cornell and UBC. Scientific Recognition: NSF CISE CAREER Workshop awardee (2016) Editorial Board, Journal of Functional Programming (2017–present) Editorial Board, Mathematical Structures in Computer Science (2016–present) Advising & Mentorship: She mentors PhD students like John Li (co-advised with Steven Holtzen) and Andrew Wagner, alongside postdocs and undergraduates. Alumni include Daniel Patterson (Assistant Teaching Professor at Northeastern), Max New (Assistant Professor at U. Michigan), and William Bowman (Assistant Professor at UBC). Professional Leadership: Active in program committees for POPL , OOPSLA , and LICS , she co-organizes workshops like Dagstuhl Seminars and chairs PLDI 2024 and POPL 2023 .

Eric Wustrowمشاهده پروفایل

دانشیار

• Network Security
• Internet Censorship
• Cybersecurity
• +۸ مورد دیگر

Eric Wustrow is an Associate Professor in the Department of Electrical, Computer & Energy Engineering at the University of Colorado Boulder , affiliated with the College of Engineering and Applied Science . His research focuses on network security, internet censorship, and cryptographic protocols. Contact: ewust@colorado.edu , Phone: 734-330-8702, Office: ECCR 1B13. Academic Rank: Associate Professor Department: Electrical, Computer & Energy Engineering University: University of Colorado Boulder Eric Wustrow's research explores methods to measure and circumvent internet censorship, analyze network vulnerabilities, and enhance privacy in digital communications. His work includes studying the Great Firewall of China, DNS and TLS security, and developing anticensorship tools like ShadowTLS and WATER. He also investigates cryptographic weaknesses in network devices and secure hardware implementations. Recent publications examine the effectiveness of anticensorship tools, the impact of IPv6 on information controls, and vulnerabilities in encrypted protocols. His studies include speculative execution attacks, DNS censorship measurement, and techniques to exploit transient errors in TLS for key compromise. These works highlight evolving network threats and countermeasures. Eric's research has been supported by grants such as the CAREER: Combating Censorship from within the Network (2022) and SaTC: CORE: Medium: Collaborative: Studying the Impact of IPv6 on Information Controls and Censorship Circumvention (2020). These projects focus on developing network-level solutions to censorship and security challenges.

Wenwen Wangمشاهده پروفایل

دانشیار

• Computer Systems
• Compiler Design
• Computer Architecture
• +۴ مورد دیگر

Wenwen Wang is an Associate Professor in the School of Computing at the University of Georgia's Franklin College of Arts & Sciences. His research focuses on computer systems, compiler design, and embedded systems security. He holds a Ph.D. in Computer Science from the University of Chinese Academy of Sciences (2014). Education: Ph.D., Computer Science, University of Chinese Academy of Sciences, 2014 His research emphasizes dynamic binary translation, compiler optimization, and secure embedded systems. Notable contributions include frameworks like JavART (JIT compiler optimization) and BSan (memory error detection). He received the 2021 M. G. Michael Award for Sciences from the Franklin College. Wang has secured two NSF grants totaling $1.2 million, including CSR: Small grants for FALCON (2023–2027) and Modernizing Dynamic Binary Translation Systems (2023–2027). He advises three graduate students: Ruili Fang, Yage Hu, and Boyang Yi. His work addresses challenges in cross-architecture virtualization, GPU-based graph computing, and hardware-triggered security mechanisms. Recent projects include Liberator (GPU graph processing) and InvisiGuard (embedded device integrity).

Claire Le Gouesمشاهده پروفایل

استاد

• Software Engineering
• Program Analysis
• Defect Repair
• +۵ مورد دیگر

Claire Le Goues is a Professor of Computer Science at Carnegie Mellon University, primarily affiliated with the Software and Societal Systems Department (S3D) within the School of Computer Science (SCS). She serves as the Associate Department Head for Faculty within S3D and leads the squaresLab research group. Le Goues also co-directs the REUSE@CMU summer program and teaches software engineering and program analysis at undergraduate, master's, and PhD levels. Her research spans software engineering and programming languages, with a particular focus on how to construct, maintain, evolve, improve/debug, and assure high-quality software systems. Le Goues has made significant contributions to automated program repair, program analysis, and defect detection. Her work often bridges theoretical foundations with practical applications, addressing real-world challenges in software development and maintenance. Le Goues' recent publications demonstrate a clear trend toward integrating large language models and generative AI with traditional software engineering techniques. Her research examines how these technologies can enhance program repair (BatFix, AdverIntent-Agent), vulnerability detection (Interpretable Vulnerability Detection Reports), and testing (LWDIFF for WebAssembly). This represents an evolution from her earlier foundational work in program repair (GenProg) toward leveraging contemporary AI advancements. She has mentored numerous students through her squaresLab research group and has been instrumental in developing educational programs that prepare the next generation of software engineers. Le Goues is also known for her advocacy for double-blind review processes in academic conferences, having implemented this approach when co-chairing the Symposium for Search-Based Software Engineering in 2014.

Patrick Lamمشاهده پروفایل

دانشیار

• Static Program Analysis
• Verifiable Software Specifications
• Software Engineering
• +۸ مورد دیگر

Patrick Lam is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, with a cross-appointment to the Cheriton School of Computer Science. His research focuses on applications of programming languages and static analysis to software engineering challenges, emphasizing verifiable software specifications and program understanding. Dr. Lam has held significant grants from NSERC and is recognized for his impactful work, including the First Decade High Impact Paper award for his Soot framework. Education: Doctorate in Computer Science, Massachusetts Institute of Technology, 2007 Master's in Computer Science, McGill University, 2000 Bachelor's in Joint Honours Mathematics and Computer Science, McGill University, 1999 Research Interests: His primary areas include static program analysis, verifiable software specifications, and compiler design, with a focus on linking high-level software designs to low-level implementations. He explores techniques like lightweight specifications and domain-specific languages to enhance software reliability and efficiency. Recent work also addresses empirical studies of programming practices and security through modularization. Publications: Dr. Lam's recent publications span advancements in static analysis tools (e.g., WasmWalker for WebAssembly), formal verification of code generated by AI tools like GitHub Copilot, and empirical studies on C++ immutability usage. His work bridges theoretical programming language research with practical software engineering applications, emphasizing tools for developer productivity and code reliability. Awards and Recognition: First Decade High Impact Paper recognition for "Soot – A Java Optimization Framework" (2010) Teaching and Grants: He has taught courses such as CS 447, ECE 453, and ECE 459 on software testing and performance programming. Active in grant-funded research, he secured NSERC Engage Grant (2013) and an ongoing NSERC Discovery Grant (2013–2018). Lam has also advised graduate students and contributed to the Software Engineering Program at Waterloo as its Director (2016–2019). Labs and Teams: His research group explores topics in program analysis and software engineering, with collaborations on projects like abstract debugging tools (GobPie) and static analysis frameworks (Soot). He maintains an open-source repository on GitHub, contributing to educational materials and research tools.

Ivano Bilenchiمشاهده پروفایل

پژوهشگر

• Artificial Intelligence
• Semantic Web
• Internet of Things (IoT)
• +۴ مورد دیگر

Ivano Bilenchi is a postdoctoral researcher at the Polytechnic University of Bari's Information Systems Laboratory (SisInf Lab). He holds a Master's in Computer Science Engineering (2020) and a Ph.D. in Electrical and Information Engineering (2024) from the same institution. His research focuses on AI, Semantic Web technologies, edge computing, and IoT applications, with notable contributions to embedded OWL reasoners and cloud-edge intelligence frameworks. He teaches courses such as Formal Languages and Compilers, Secure Programming, and Information Systems Security. His work bridges academic research with practical applications, including iCleaner (iOS system cleaner), Tiny-ME (Semantic Web reasoner), and AI-LMD (fleet optimization tool). He actively participates in conferences like ICWE and I-CiTies, and has contributed to initiatives like the sustainable development project HowtUyoga. His awards include a First Prize at the Sustainable Development Festival (2018). Research highlights include developing Cowl (lightweight OWL library for edge devices) and proposing innovative architectures for cloud-edge AI in sensor networks. Collaborations span semantic blockchain marketplaces (RideMATCHain) and UAV autonomy using knowledge representation.

Ralph Detersمشاهده پروفایل

استاد

• Multi-Agent Systems
• Scalability & Dependability of Distributed Systems
• Mobile & Ubiquitous Computing
• +۴ مورد دیگر

Ralph Deters is a Professor in the Department of Computer Science at the University of Saskatchewan , where he co-leads the MADMUC (Multi-Agent Distributed Mobile and Ubiquitous Computing) Lab . He has taught courses including CMPT 298, CMPT 350, CMPT 436, CMPT 842, and CMPT 898, and served as co-coordinator for CMPT 400/CMPT 405. Education Ph.D. in Computer Science, Federal Armed Forces University Munich (1998) MS (Diploma) in Computer Science, Technical University Berlin (1992) BS in Computer Science, Technical University Berlin (1988) Research Interests focus on multi-agent systems , scalable distributed systems , mobile/ubiquitous computing , and privacy-preserving technologies . Current lab projects include: Middleware infrastructures for decentralized systems (cloud/fog/mobile) Social software for sustainable user collaboration Decentralized trust-based data storage Persuasive technologies for health, physical activity, and learning Ethical AI and dark patterns in UI design Blockchain applications in IoT and access control Publications highlight trends in digital twins , blockchain integration , synthetic data for privacy , and machine learning for social impact , with recent work spanning health analytics, agricultural AI, and smart city applications. Lab Impact : The MADMUC Lab, established in 2000 with a $895,687 CFI grant, has graduated 120 researchers (17 PhD, 103 MSc), including two Vanier Scholars. The lab emphasizes awards, scholarships, and interdisciplinary collaboration with 152 total alumni.

Shravan Ravi Narayanمشاهده پروفایل

استادیار

• Secure Systems
• Program Verification
• Hardware-Based Security
• +۳ مورد دیگر

Dr. Shravan Ravi Narayan is an Assistant Professor in the Computer Science department at The University of Texas at Austin. His research focuses on secure systems, program verification, and hardware-based security, with groundbreaking work in Software Fault Isolation (SFI), WebAssembly security, and Spectre attack mitigation. He teaches courses like CS361S (Network Security and Privacy) and CS380S (Theory and Practice of Secure Systems). 2023 - Distinguished paper award at ASPLOS 2022 - Mozilla research award 2022 - IEEE Cybersecurity Award for Practice 2022 - NSA Best Scientific Cybersecurity Paper Honorable Mention 2021 - Google V8 research award His publications highlight innovations in hardware-assisted isolation (HFI), sandboxing runtime design (WaVe), and browser security frameworks like RLBox. His work bridges systems security, programming languages, and hardware architecture to create practical, verifiable security solutions. He actively recruits exceptional PhD candidates with expertise in security, programming languages, or computer architecture and collaborates with industry leaders like Firefox and Fastly.

• 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.

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.

• Edge Computing
• Distributed Systems
• Container Networking
• +۹ مورد دیگر

Tom Goethals is an FWO Junior Postdoctoral Fellow affiliated with the Department of Information Technology at Ghent University , where he conducts research in edge computing, container networking, and decentralized systems. Current role: IMEC Postdoctoral Researcher Research focus: Secure and intelligent edge service management for decentralized IoT applications His work explores edge intelligence , orchestration frameworks , and AI-driven network optimization , with trends in lightweight virtualization (e.g., Feather), Kubernetes adaptation for edge environments, and intent-based decentralized orchestration. Publications emphasize scalability, security, and energy efficiency in fog-native workflows. Scientific Awards : FWO Junior Postdoctoral Fellowship He collaborates with researchers like Bruno Volckaert and Filip De Turck on projects funded by the Research Foundation - Flanders (FWO) , including grants for edge container networking and decentralized learning frameworks. His projects align with Ghent University’s focus on smart city infrastructure and edge-to-cloud systems.

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.