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

Linyi Liمشاهده پروفایل

استادیار

• Deep learning
• Trustworthy machine learning
• Computer security
• +۴ مورد دیگر

Linyi Li is an Assistant Professor in the School of Computing Science at Simon Fraser University (SFU), leading the Trustworthy Artificial Intelligence (TAI) Lab. His research focuses on certifiably trustworthy deep learning systems, combining machine learning and computer security. He holds a PhD from the University of Illinois Urbana-Champaign (UIUC) and a B.Eng. from Tsinghua University. Affiliations: Simon Fraser University, TAI Lab Education: PhD in Computer Science, UIUC, 2023 B.Eng (Cum Laude), Tsinghua University, 2018 His research interests include deep learning , trustworthy machine learning , large language models , and software engineering . He emphasizes rigorous certification of robustness, fairness, and numerical reliability in AI systems. Recent work includes the InfiBench benchmark for evaluating code LLMs and advancements in neural network verification. Recent Research Trends: His publications span certified robustness, fairness guarantees, and scalable verification techniques for deep learning models. He also explores scientific evaluation of foundation models and adversarial defense mechanisms. Awards: Rising Stars in Data Science AdvML Rising Star Award Wing Kai Cheng Fellowship Finalist: Qualcomm Innovation Fellowship (2022) Winner: VNN-COMP'23 Competition (Team α, β-CROWN) Advising & Grants: As a PI, he oversees the TAI Lab's research. Though no specific grants are listed, his work is funded through competitive awards and university resources. Labs/Teams: Leads the TAI Lab at SFU, focusing on foundational and applied research in trustworthy AI.

• Computer Architecture
• Machine Learning
• Cloud Computing
• +۴ مورد دیگر

Chita R. Das is a Professor at Pennsylvania State University, known for extensive contributions in computer architecture, machine learning, and high-performance computing. Their research focuses on optimizing hardware-software co-design for edge computing, cloud infrastructure, and energy-efficient systems. Key areas include FPGA acceleration, GPU optimization, and serverless computing frameworks. Das collaborates frequently with institutions like AMD and Intel, addressing challenges in parallel computing and distributed systems. Their work bridges theoretical advancements with practical applications in recommendation systems, bioinformatics, and real-time video processing. Research interests span across hardware acceleration techniques, cloud resource management, and sustainable computing. Notable projects include adaptive training frameworks for intermittent power environments and neural-augmented game streaming for mobile platforms. Das's publications often address performance bottlenecks in modern architectures and propose novel solutions for latency and energy efficiency. Recent articles highlight innovations in serverless computing cost optimization, low-bandwidth VR streaming, and FPGA-based bioinformatics tools. Their contributions are characterized by interdisciplinary approaches combining computer architecture with machine learning and embedded systems.

• Computer Science
• Networking
• Telecommunications
• +۴ مورد دیگر

Prof. Liam Murphy is a Full Professor of Computer Science & Informatics at University College Dublin (UCD) and Director of the Performance Engineering Laboratory. He holds a B.E. from UCD, M.Sc. and Ph.D. from UC Berkeley. His research focuses on performance engineering of networks, software systems, and multimedia transmissions. He has published over 150 peer-reviewed papers and is an IEEE member and Fellow of the Irish Computer Society. Education: B.E. in Electrical Engineering, UCD (1985) M.Sc. & Ph.D. in Electrical Engineering & Computer Sciences, UC Berkeley (1988, 1992) Research Interests: Dynamic resource allocation in networks Cloud computing efficiency Software performance engineering Wireless multimedia systems Quality of Service (QoS) optimization Recent work emphasizes energy-efficient cloud workflows, multi-objective data center optimization, and decentralized traffic simulation. Grants & Awards: Fellow of the Irish Computer Society (2007) Conference Paper Awards (2004, 2002, 2001) Principal Investigator in multiple funded projects (e.g., EU-funded traffic simulation, cloud resource allocation) Advising & Labs: Directed 24 Ph.D. and 8 M.Sc. students. Leads the Performance Engineering Laboratory (PEL), focusing on distributed systems, cloud efficiency, and network performance. Collaborates on industry-relevant projects like crovan (UCD/DCU campus company). Teaching: Coordinates courses on computer science fundamentals, distributed systems performance, and software engineering at UCD.

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

دانشیار مدعو

• Cyber-physical Systems
• Cybersecurity
• Software Verification
• +۳ مورد دیگر

Daniel Balasubramanian is an Adjunct Associate Professor of Computer Science and Research Scientist at Vanderbilt University's School of Engineering. His research focuses on cybersecurity, software verification, and cyber-physical systems, with expertise in symbolic execution, code analysis, and formal methods. He contributes to advancing secure systems through frameworks like RAMPART for adversarial defense and Syntheto for formal verification. His work intersects edge computing, hardware security, and autonomous systems resilience. Research Interests: Cybersecurity (including ethical hacking, network defense), formal methods (verification, theorem proving), edge computing (tinyML, cloud integration), and cyber-physical systems (emulation, testbeds). His recent work emphasizes assurance provenance in software documentation and adversarially robust autonomous systems. Publications since 2019 highlight contributions to cybersecurity testbeds, reinforcement learning for penetration resistance, and hardware security against rowhammer attacks. He has explored domain-specific languages (Syntheto), incremental modeling techniques (differential-formula), and cloud-edge service resilience against adversarial perturbations. Labs/Teams: Affiliated with the Institute for Software-Integrated Systems (ISIS), focusing on integrating software with physical systems through model-driven approaches and cybersecurity innovations.

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

استاد

• Model-Based Systems Engineering
• Cyber-Physical Systems
• Software Engineering
• +۱۲ مورد دیگر

Daniel Varro is a Professor affiliated with McGill University (Faculty of Engineering, School of Computer Science), with strong ties to Budapest University of Technology and Economics and Linköping University. He is a leading researcher in model-driven engineering, cyber-physical systems, and software engineering, actively contributing to top-tier conferences such as MODELS, ICSE, and ASE. His research focuses on model-based systems engineering (MBSE) , automated model generation , model transformations , and constraint-based consistency checking . Recently, his work has expanded into integrating large language models (LLMs) and machine learning into modeling workflows, including model querying, domain modeling, and bug detection. The recent publications reveal a strong trend toward AI-augmented modeling, logic-based solvers (e.g., Refinery), and safety assurance of autonomous systems (e.g., COLREGs compliance). His work bridges formal methods with practical software engineering challenges in industrial and safety-critical domains. Scientific Awards: No specific awards mentioned in the text. Advising and Grants: While no explicit list of students or grants is provided, his mentorship in the Doctoral Symposium and repeated leadership roles suggest active supervision and likely grant funding. He has led projects on automated model generation, model quality, and AI integration in modeling. Labs and Teams: Daniel Varro is associated with research groups focused on model-driven engineering and software evolution, likely leading or co-leading teams working on the VIATRA and Refinery frameworks for model transformation and solving.

Peter Druschelمشاهده پروفایل

استاد

• Distributed Systems
• Operating Systems
• Network Security
• +۳ مورد دیگر

Peter Druschel is a Professor and founding Director of the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. He holds adjunct professorships at Saarland University and the University of Maryland. His research focuses on distributed systems, operating systems, and privacy-preserving technologies. He earned his Ph.D. from the University of Arizona in 1994 and has held roles at Rice University since 1994, including Professor of Computer Science (2002–2005). Education: Ph.D. in Computer Science, University of Arizona (1994) Research Interests: Distributed systems, operating systems, network security, accountable computing, and privacy technologies. Current projects include privacy compliance in data systems (Thoth), secure communication (EbN), and privacy-aware image capture (I-Pic). Awards: SIGOPS Mark Weiser Award (2008) NSF CAREER Award (1995) Member of Academia Europaea and German Academy of Sciences Leopoldina Grants & Leadership: Leads the ERC Synergy Project imPACT, chairs the Max Planck Society’s Chemistry, Physics, and Technology Section, and collaborates with institutions like Cornell and Google. Advises on policy issues related to technology and privacy. Labs/Teams: Distributed Systems Group at MPI-SWS, collaborations with Microsoft Research and MIT. Current team includes students and postdocs working on privacy, security, and distributed systems.

• Network Security
• Android Security
• Malware Analysis
• +۶ مورد دیگر

Vijay Laxmi is a Professor in the Department of Computer Science and Engineering at Malaviya National Institute of Technology (MNIT) Jaipur, India. With over a decade of active research publication from 2014-2024, Dr. Laxmi has established themselves as a prominent researcher in network security, Android security systems, and Network-on-Chip architectures. Their work demonstrates consistent collaboration with Manoj Singh Gaur and numerous doctoral students at MNIT Jaipur. Dr. Laxmi's research interests span Network Security, Android Security, Malware Analysis, Network-on-Chip Architectures, Routing Protocols, Side-Channel Attacks, Wireless Networks, and Mobile Security. Their work bridges theoretical security frameworks with practical implementations, particularly in mobile and embedded systems. Recent publications indicate a growing focus on AI-based security approaches including GAN applications for fuzzing and deep learning for image dehazing. The research trajectory shows increasing sophistication in security analysis techniques, evolving from basic malware detection to advanced side-channel attack analysis and sophisticated network security protocols. Recent publications demonstrate expertise in both theoretical frameworks and practical implementations with applications in real-world security challenges. Dr. Laxmi has mentored numerous graduate students including Vineeta Jain, Anugrah Jain, Sonal Yadav, Mohit Singh, and Gaurav Singal, who appear as co-authors across multiple publications. Their collaborative network extends to researchers at international institutions, indicating strong academic connections beyond their home institution.

Michael Feeleyمشاهده پروفایل

دانشیار

• Operating Systems
• Distributed Systems
• File Systems
• +۷ مورد دیگر

Michael Feeley is an Associate Professor in the Department of Computer Science at the University of British Columbia (UBC), affiliated with the Institute for Computing, Information and Cognitive Systems (ICICS). His research focuses on operating systems, distributed systems, and their applications in scalable file systems, cloud storage, and mobile computing. He leads projects such as the Unico file system, Parallax storage system, and Remus virtual machine replication framework. His research interests include peer-to-peer file systems, mobile ad hoc networks, interference mitigation in wireless networks, and system software for workstation clusters. He has supervised numerous graduate students, contributing to advancements in distributed systems and networking. His work often addresses challenges in resource management, fault tolerance, and performance optimization. Publications span topics like interference detection in WiFi networks, dynamic program analysis (Tralfamadore), and distributed storage solutions. Feeley teaches courses such as CPSC 213, emphasizing operating systems fundamentals. His office is located in CISR 393, with contact details available via email and phone.

Justine Sherryمشاهده پروفایل

استادیار

• Computer Networking
• Networked Systems
• Middleboxes
• +۵ مورد دیگر

Justine Sherry is the A. Nico Habermann Associate Professor of Computer Science at Carnegie Mellon University, affiliated with the College of Engineering. She holds a PhD (2016) and MS (2012) from UC Berkeley and a BS/BA (2010) from the University of Washington. Her research focuses on networked systems, including middleboxes, cloud computing, congestion control, and hardware acceleration (e.g., SmartNICs/FPGAs). Notable projects include Pigasus (open-source 100Gbps IDS), APLOMB (cloud-based middlebox scaling), and BlindBox (encrypted traffic scanning). Her academic roles include serving on the SIGCOMM CARES Committee, DARPA ISAT Study Group, and ACM CoNEXT Steering Committee. Awards include the Alfred P. Sloan Fellowship, VMware Systems Award, and IETF Applied Networking Prize. She advises over 15 students and collaborates with industry partners like Intel and VMware. Research highlights include radical shifts in datacenter architectures (SmartNIC compute control), fairness in congestion algorithms (BBR analysis), and database-proxy innovations (Tigger with eBPF). Her teaching emphasizes systems as science labs, integrating experimental design and hypothesis testing into projects. Education: PhD UC Berkeley (2016), MS UC Berkeley (2012), BS/BA University of Washington (2010) Labs/Teams: CyLab, SNAP Research Group, CMU Portugal Collaboration Grants: NSF, Intel, Google Faculty Awards

• Computer Architecture
• Computer Hardware
• Energy Efficiency
• +۴ مورد دیگر

Nam Sung Kim is the W. J. "Jerry" Sanders III-Advanced Micro Devices Inc. Endowed Chair and holds a Professorship in Electrical and Computer Engineering at the University of Illinois. He is also affiliated with the Siebel School of Computing and Data Science, Coordinated Science Lab, and National Center for Supercomputing Applications (NCSA). His research focuses on computer architecture, memory systems, chiplet integration, and hardware security. Key areas include energy-efficient computing, processing-in-memory (PIM), and mitigating hardware vulnerabilities like rowhammer attacks. Kim has received prestigious awards including IEEE Fellow (2016), MICRO Hall of Fame (2018), NAI Fellow (2023), and NSF CAREER Award (2015). His work spans publications in top venues like ASPLOS and IEEE journals, addressing topics such as CXL-based memory systems, DRAM module optimization, and GPU architecture improvements. Collaborations emphasize interdisciplinary research in hardware-software co-design and emerging technologies. His labs and teams at Coordinated Science Lab and NCSA drive innovations in scalable computing, near-memory processing, and cloud infrastructure for AI workloads. Ongoing projects include developing resilient memory hierarchies and accelerating large-scale machine learning models through novel architecture designs.

Ozcan Ozturkمشاهده پروفایل

استاد

• Heterogeneous Computing
• Hardware Accelerators
• GPU Computing
• +۷ مورد دیگر

Ozcan Ozturk is a Professor in the Computer Science and Engineering and Electronics Engineering programs at Sabancı University's Faculty of Engineering and Natural Sciences. Previously, he held professorships at Bilkent University and adjunct roles at North Carolina State University. His expertise spans heterogeneous computing, parallel systems, processor architecture, and compiler optimization. He earned his Ph.D. from Penn State University, with prior academic roles at the University of Florida and internships at Intel and Marvell. Education: Ph.D. in Computer Science and Engineering (2007), Pennsylvania State University M.S. in Computer Engineering (2002), University of Florida B.Sc. in Computer Engineering (2000), Bogazici University Research interests include accelerator technologies, GPU-based systems, multicore processors, and compiler optimizations. His work focuses on improving parallelization efficiency, energy optimization, and reliability in heterogeneous architectures. He leads funded projects like 'Machine Learning for Compiler Flags' and 'Graph Accelerator Design'. Notable awards include the Bilkent Teaching Award (2019), BAGEP (2018), and HiPEAC Paper Award (2016). He serves on editorial boards of IEEE and ACM journals and chairs major conferences like ASPLOS and ICS. Grants and collaborations include partnerships with Huawei, Intel, NVIDIA, and TÜBİTAK. He advises over 20 students and has supervised projects in safety-critical systems, FPGA accelerators, and compiler-directed optimizations. His lab develops domain-specific architectures, including RISC-V extensions for graph processing.

Anders Rantzerمشاهده پروفایل

استاد

• Control Systems Theory
• Scalable Control
• Adaptive Control
• +۷ مورد دیگر

Anders Rantzer is a Professor of Automatic Control at the Department of Control Engineering, Faculty of Engineering, Lund University, Sweden. He has held visiting positions at Caltech (2004–2005) and the University of Minnesota (2015–2016) as the Taylor Family Distinguished Visiting Professor. His academic journey began with a PhD from KTH Stockholm in 1991, followed by a postdoc at the Institute for Mathematics and its Applications (IMA), University of Minnesota. His research interests center on modeling, analysis, and synthesis of control systems , with a strong focus on scalability, adaptation, and applications in energy networks . He is particularly known for foundational work in positive systems and integral quadratic constraints (IQCs) . These theoretical frameworks are critical in analyzing stability and robustness of large-scale interconnected systems. His work bridges mathematical rigor with practical engineering applications, especially in sustainable energy and networked systems. The recent publications and lecture materials reflect a consistent trajectory in scalable and robust control, optimization, and distributed systems. Themes such as large-scale convex optimization , nonlinear and stochastic control , and network dynamics dominate his scholarly output, indicating a sustained commitment to advancing control theory for complex, real-world systems. Scientific honors include: Fellow of IEEE Member of the Royal Swedish Academy of Engineering Sciences (IVA) Chairman of the Swedish Scientific Council for Natural and Engineering Sciences Chairman of the Royal Physiographic Society of Lund Rantzer has supervised numerous students and contributed extensively to academic leadership and education. He has been involved in major national and international research initiatives such as WASP (Wallenberg AI, Autonomous Systems and Software Program) and ELLIIT. His work includes developing educational tools and courses in control, optimization, and machine learning. He leads and contributes to research projects on autonomous systems, cloud control, and smart energy networks. He is affiliated with the Control Lab at LTH and participates in collaborative efforts such as the Nordic University Hub on Industrial Internet of Things (HI2OT). His work integrates theoretical advances with practical implementations in robotics, biomedical systems, and industrial automation.

Michael J. Freedmanمشاهده پروفایل

استاد

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

Michael J. Freedman is the Robert E. Kahn Professor of Computer Science at Princeton University and co-founder/CTO of Timescale. He received his Ph.D. from NYU’s Courant Institute and degrees from MIT. Current roles: Professor, Co-founder & CTO Affiliations: Princeton University, SNS Group, CITP Associate Education: Ph.D. (NYU), S.B./M.Eng. (MIT) His research spans distributed systems, networking, and security, with innovations like CoralCDN, DONAR, and Ethane. His work impacts decentralized content delivery, software-defined networking, and privacy-enhancing technologies. His recent publications address scalable fusion algorithms, GPU acceleration for data systems, and distributed GPU resource management. These works intersect with cloud infrastructure, network optimization, and security. Scientific honors include: Presidential Early Career Award for Scientists and Engineers (PECASE) Sloan Fellowship NSF CAREER Award Office of Naval Research Young Investigator Award Test of Time Award (Theory of Crypto Conference) ACM SIGOPS Mark Weiser Award He advises graduate students like Sam Ginzburg and Ashwini Raina, who joined Meta AI and Timescale post-PhD. His projects have secured substantial grants, including $110M Series C funding for Timescale. Key labs/teams: Princeton SNS Group Co-founder, Timescale (enterprise data platform) Co-founder, iobeam (IoT analytics, acquired by Timescale) Collaboration with FCC on Consumer Broadband Test Contributions to OpenFlow/SDN standardization

Anil Madhavapeddyمشاهده پروفایل

استاد

• Environmental Computing
• Climate Change Informatics
• Distributed Systems
• +۵ مورد دیگر

Anil Madhavapeddy serves as Professor of Planetary Computing at the University of Cambridge's Department of Computer Science and Technology and directs the Cambridge Centre for Carbon Credits (4C). A Fellow of Pembroke College, he integrates systems research with environmental conservation through the Computer Laboratory's Environment and Energy Group. His career spans industry leadership (NetApp, Citrix, Intel), academic appointments (Cambridge, Imperial, UCLA), and entrepreneurial ventures (XenSource, Unikernel Systems, Docker). Madhavapeddy earned his PhD at Cambridge's Computer Laboratory in 2006. His research bridges computational systems and planetary-scale environmental challenges, with deep expertise in open-source development (OCaml, Xen, Docker, OpenBSD) and technology strategy advising for organizations including Zededa, Tezos Foundation, and Tarides. His work centers on environmental computing and climate informatics, leveraging distributed systems and functional programming to develop sensing infrastructure for conservation. Recent projects focus on carbon credit systems, AI-driven biodiversity monitoring, and sustainable computing architectures that minimize ecological footprints while maximizing analytical capability. Analysis of his 2025 publications reveals a concentrated effort on AI-integrated conservation tools, privacy-preserving carbon accounting, and energy-efficient computing. Key themes include spatial networking for ecological data, LLM-enhanced evidence retrieval in conservation science, and novel metrics for extinction risk assessment—demonstrating computational innovation applied to urgent planetary boundaries. No scientific awards were documented in the source material. Madhavapeddy advises multiple technology firms on strategic development while leading the Cambridge Centre for Carbon Credits, though specific grant funding details remain unreported. He actively contributes to the Environment and Energy Group at Cambridge's Computer Laboratory and directs the interdisciplinary Cambridge Centre for Carbon Credits (4C). His open-source leadership spans critical infrastructure projects including OCaml, Xen, and Docker, fostering collaborative development communities that underpin modern cloud and container technologies.

Cesar Dario Cadena Lermaمشاهده پروفایل

مدرس

• Robotics
• Computer Vision
• SLAM (Simultaneous Localization and Mapping)
• +۳ مورد دیگر

Dr. Cesar Dario Cadena Lerma is a Lecturer at the Department of Mechanical and Process Engineering and a tenured Senior Scientist at the Institute of Robotics and Intelligent Systems (IRIS) at ETH Zurich. He leads the Perception, Mapping and Navigation team within the Robotics Systems Lab (RSL), co-founded and directs the ETH RobotX initiative focusing on educational robotics, and previously held roles at ETH Zurich's Autonomous Systems Lab, University of Adelaide, and George Mason University. His research focuses on robotics perception, particularly in SLAM (Simultaneous Localization and Mapping), semantic scene understanding, and robust perception systems for dynamic environments. Education: PhD in Computer Science and System Engineering from the University of Zaragoza, followed by postdoctoral research at George Mason University and The University of Adelaide. Professional roles include managing director of ETH RobotX and leadership in multi-modal mapping frameworks like maplab 2.0. Research interests emphasize integrating perception and learning in robotics, with a focus on semantic mapping, data association, place recognition, and navigation in unstructured environments. His work bridges traditional SLAM techniques with modern deep learning approaches to create robust, modular systems. Key contributions include the PHASER registration algorithm, SCIM obstacle avoidance framework, and C-Blox dense mapping system. Awards include the Best Paper Award at the 2017 IEEE International Symposium on Safety, Security, and Rescue Robotics. His articles span topics like semantic pointcloud filtering, volumetric mapping, and embodied domain adaptation. He collaborates widely, with over 50 peer-reviewed publications in top venues such as IEEE Robotics and Automation Letters and International Journal of Robotics Research.