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

Feng Chengمشاهده پروفایل

پژوهشگر

• Data-Driven Security Engineering
• Security Analytics
• Network Security
• +۱۹ مورد دیگر

Dr. Feng Cheng is a Senior Researcher and head of the IT Security Engineering (Sec-Eng) Team at the Hasso Plattner Institute (HPI), Germany, and serves as the Representative of the Chair "Internet Technologies and Systems" at the Digital Engineering Faculty, University of Potsdam. He holds a PhD from the University of Potsdam, an MEng from Beijing University of Technology, and a BEng from Beijing University of Aeronautics and Astronautics. His research is centered on data-driven security engineering, security analytics, network security, cloud security, firewall, IDS/IPS, attack modeling, and penetration testing. Dr. Cheng's research interests span a broad range of cybersecurity domains, with a strong emphasis on security analytics , data-driven threat detection , cloud and network security , and authentication . His work integrates advanced data engineering and machine learning techniques to enhance security operations, including intrusion detection, threat intelligence, and security information and event management (SIEM). Key application areas include IoT security, mobile security, and web security. The recent publications of Dr. Cheng and his team reflect a significant trend towards leveraging big data analytics , machine learning , and graph-based methods for cybersecurity. Their work focuses on developing frameworks for blockchain-based public key infrastructures, advanced SIEM analytics, malware detection using NLP, and chaos engineering for cloud security. This demonstrates a strong commitment to creating practical, scalable, and intelligent solutions for modern security challenges in complex, distributed environments. Dr. Cheng is actively involved in the academic community as a member of ACM and IEEE, a program committee member for numerous international conferences, and an organizer of workshops on cloud computing and cybersecurity. He has also served on editorial boards for international journals. He supervises a large group of PhD, master's, and bachelor's students, guiding research on topics such as security analytics, cyber threat intelligence, digital credentials, and behavioral authentication. He leads the Sec-Eng team, which conducts research on a diverse portfolio including the Security Analytics Lab, HPI-VDB (vulnerability database), Lock-Keeper (physical separation technology), and the Security Lab Generator for scenario-driven security training.

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.

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.

• Artificial Intelligence
• Computer Security
• Multi-Agent Systems
• +۳ مورد دیگر

Dr. Chunyan Mu serves as a Senior Lecturer in the School of Natural and Computing Sciences at the University of Aberdeen, actively contributing to both academic instruction and cutting-edge research in computing science while currently accepting new PhD students. Her research program centers on Trustworthy AI and Safe Autonomy, with specialized expertise in formal verification of responsibility, accountability, and privacy mechanisms within multi-agent systems. She investigates resilience frameworks for autonomous intelligent systems and develops advanced methodologies for information flow security analysis, bridging theoretical computer science with practical security implementations. Analysis of her publication trajectory (2014-2025) reveals consistent innovation in applying formal methods to security-critical systems. Key thematic developments include probabilistic strategy logic for observability analysis, quantitative verification of opacity properties, and game-theoretic approaches to security verification, demonstrating increasing sophistication in handling multi-agent accountability and system resilience challenges. Dr. Mu currently supervises PhD candidates and offers a fully funded doctoral position focused on formal verification of safety properties in autonomous systems, providing comprehensive financial support including tuition coverage, £20,780 annual stipend, and dedicated research funding for candidates with strong backgrounds in formal methods and artificial intelligence.

Sushmita Rujمشاهده پروفایل

دانشیار

• Cryptography
• Blockchains
• Data Privacy
• +۶ مورد دیگر

Sushmita Ruj is an Associate Professor in the School of Computer Science and Engineering at the University of New South Wales (UNSW), Sydney. She serves as the Faculty of Engineering Lead for the UNSW Institute for Cybersecurity (IfCyber) and as the Taste of Research (ToR) Coordinator within the School of Computer Science and Engineering. Her academic journey includes previous positions as a Senior Research Scientist at CSIRO's Data61 (2019-2022), Associate Professor at the Indian Statistical Institute, Kolkata, and Assistant Professor at the Indian Institute of Technology (IIT), Indore. Dr. Ruj's primary research interests focus on applied cryptography, post-quantum cryptography, cybersecurity, blockchains, and data privacy. She designs practical, efficient, and provably secure protocols for real-life applications, with particular emphasis on critical infrastructure including smart grids, cloud computing, ad hoc networks, and data sharing frameworks. As quantum technology advances, her work increasingly focuses on developing quantum-safe algorithms to ensure a more secure Internet infrastructure. Her research spans multiple domains including cryptographic key management, proofs of storage, verifiable computation, vector commitments, and privacy-enhancing technologies for cloud and IoT environments. Her recent publications demonstrate a strong trend toward post-quantum cryptography solutions, with particular emphasis on blockchain applications, DNS security, and privacy-preserving protocols for industrial IoT. The research shows increasing focus on practical implementations of theoretical cryptographic concepts, with applications across multiple sectors including finance, healthcare, and critical infrastructure. Her work bridges the gap between theoretical cryptography and real-world security challenges, with growing emphasis on the transition from classical to quantum-resistant systems. Best Paper Award at ACISP 2024 JNCA Best Survey Award (2023) NSW Innovation Award (iAward) Merit Winner (2022) Women in Science Award from CSIRO (2020) ACM Senior Member (2016) IEEE Senior Member (2015) Samsung GRO award (2014) Dr. Ruj has successfully mentored numerous PhD and Master's students, with many of her former students now holding academic positions at institutions like IIT Indore, TU Wien, and CISPA Helmholtz Center. She has secured significant competitive funding including multiple Australian Research Council (ARC) grants, Samsung GRO Award, NetApp Faculty Fellowship, Cisco Academic Grant, and IBM Research grant. Her current research portfolio includes projects on blockchain-based quantum-safe digital medical passports, embedding trust in digital IDs, and resilience of supply chain unstructured data. As Faculty of Engineering Lead for IfCyber, Dr. Ruj plays a key role in UNSW's cybersecurity research initiatives. She has served on editorial boards for prestigious journals including IEEE Transactions on Information Forensics and Security and has held leadership positions in major conferences such as ACISP 2021 and Indocrypt 2020. She was also a member of the working group on "Blockchain For Cybersecurity" for the National Blockchain Roadmap of Australia and the first Blockchain Working group set up by the Reserve Bank of India.

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.

Mirjana Stojilovicمشاهده پروفایل

پژوهشگر

• Field-programmable technology
• Electronic design automation (EDA)
• Hardware security
• +۵ مورد دیگر

Mirjana Stojilovic is a Researcher at École Polytechnique Fédérale de Lausanne (EPFL) in the School of Computer and Communication Sciences (IC), specifically within the Institute of Computer Engineering (IINFCOM) and the Parallel Systems Architecture Laboratory (PARSA). She also serves as a Lecturer in the SSC - Teaching department at EPFL. Her office is located at INJ 235, Station 14, 1015 Lausanne, Switzerland. Mirjana Stojilović received her Dipl. Ing. and Ph.D. degrees from the School of Electrical Engineering, University of Belgrade, in 2006 and 2013, respectively. Her academic journey includes collaborating with the Processor Architecture Laboratory at EPFL as a Guest Researcher from 2010 to 2013, working at the University of Applied Sciences Western Switzerland as a senior researcher from 2013 to 2016, and joining the Parallel Systems Architecture Lab at EPFL in October 2016. Dr. Stojilovic's research spans field-programmable technology, electronic design automation (EDA), and electrical-level attacks and countermeasures for reconfigurable hardware. Her work bridges the gap between hardware design and security, with a particular focus on vulnerability analysis and protection mechanisms for FPGA-based systems in cloud environments. She has made significant contributions to understanding side-channel attacks, fault injection techniques, and secure multi-tenancy solutions for shared hardware resources. Her extensive publication record reveals a clear research trajectory from traditional FPGA design and EDA topics toward increasingly security-focused investigations. Recent work demonstrates deep expertise in power analysis attacks, hardware trojans, and countermeasures for cloud-based FPGA systems, reflecting the growing importance of hardware security in distributed computing environments. Scientific Awards and Recognitions: Best Paper Award at 2016 International Symposium on Electromagnetic Compatibility (EMC Europe 2016) Young Scientist Award at 33rd International Conference on Lightning Protection (ICLP2016) Young Author Best Paper Award at the 20th Telecommunication Forum in Belgrade (TELFOR 2012) EPFL School of Computer and Communication Sciences (IC) Teaching Award (2015) Nominated for Best Paper Award at the International Conference on Field-Programmable Technology (FPT) (2020) Dr. Stojilovic has advised numerous PhD students including Coulon Louis, Pirayadi Rouzbeh, and Shrivastava Shashwat, along with past EPFL PhD students Glamocanin Ognjen and Mahmoud Dina. She has supervised dozens of semester and diploma projects focusing on hardware security, FPGAs, design automation, side-channel attacks, and cloud computing. Her service to the academic community includes serving on program committees for FPGA, FCCM, FPL, and DATE conferences, reviewing for multiple IEEE and ACM journals, and acting as associate editor for IEEE ESL and ACM TRETS. As a member of the Parallel Systems Architecture Laboratory at EPFL, Dr. Stojilovic leads research projects investigating security aspects of reconfigurable hardware systems. Her team works at the intersection of computer architecture, electronic design automation, and hardware security, with particular emphasis on vulnerabilities and protections for shared FPGA resources in cloud environments.

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

Rogério de Lemosمشاهده پروفایل

مدرس ارشد

• Resilient AI
• Self-adaptive software systems
• Authorisation infrastructures
• +۷ مورد دیگر

Rogério de Lemos is a Senior Lecturer in Computing Science and Director of Postgraduate Research (PGR) at the School of Computing, University of Kent. He previously served as an invited assistant professor at the University of Coimbra, Portugal, and as a Senior Research Associate at the Centre for Software Reliability (CSR) at the University of Newcastle upon Tyne, UK. Dr. de Lemos' research focuses on architecting resilient systems, particularly in resilient AI, self-adaptive software systems, and authorization infrastructures. He belongs to both the Programming Languages and Systems Group and the Cyber Security Group at the University of Kent. His specific research interests include: Software engineering for self-adaptive systems assurances and resilience evaluation Dynamic generation of processes Handling insider threats using self-adaptive authorization Architectural abstractions for fault tolerance Verification and validation of dependable software architectures Software development for safety-critical systems Dependability and bioinspired computing His publication trends show increasing emphasis on practical applications of self-adaptive systems in cyber security contexts, with recent work spanning network traffic analysis, cryptographic function detection, and cloud-edge security architectures. His research bridges theoretical foundations with practical implementations, particularly in cyber security and resilient systems architecture. Dr. de Lemos currently leads the "Collaborative and Confidential Information Sharing and Analysis for Cyber Protection" project funded by the European Union's Horizon 2020 Programme. His past projects include "ADAAS: Assuring Dependability in Architecture-based Adaptive Systems" and multiple collaborations with NCR on sensor fusion and fault tolerance. As Director of Postgraduate Research, he oversees the School of Computing's research degree programs and likely supervises PhD students in resilient systems and cyber security, though specific student names are not listed in the available information.

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

استاد

• Computer Systems Security
• Trusted Execution Environments
• Mobile Platform Security
• +۷ مورد دیگر

David Lie is a Professor at the University of Toronto, jointly appointed in the Edward S. Rogers Department of Electrical and Computer Engineering, Department of Computer Science, and Faculty of Law. He directs the Schwartz Reisman Institute for Technology and Society, co-founded the IT3 Lab, and serves as Associate Director at the Data Sciences Institute. His research focuses on securing computer systems through operating systems, architecture, and formal verification approaches. B.A.Sc (University of Toronto, 1998) M.S. (Stanford, 2001) Ph.D. (Stanford, 2004) His research emphasizes building secure systems for mobile platforms and cloud computing, with significant contributions to trusted execution environments (XOM architecture precursor to Intel SGX/ARM TrustZone) and Android permission mapping (PScout tool). Recent work spans cryptographic side-channels, web tracking detection, and AI safety. Key honors include SOSP 2003 Best Paper, Ontario MRI Early Researcher Award (2008), Connaught Global Challenge Award (2017), and Canada Research Chairs (Tier 2 2013-2018, Tier 1 current). He has secured over $30M in research funding and served as General Chair for CCS 2018. Lie leads the IT3 Lab (Technology and Policy Integration), collaborates with industry leaders (Google, VMware, Telus), and mentors graduate students working on practical security implementations. He co-teaches ECE1724: Privacy Problems with Lisa Austin from the Faculty of Law, reflecting his technology-policy interests.

Miroslav Pajicمشاهده پروفایل

استاد

• Cyber-Physical Systems
• Embedded Systems
• Artificial Intelligence
• +۶ مورد دیگر

Miroslav Pajic serves as a Professor in the Department of Electrical and Computer Engineering at Duke University's Pratt School of Engineering. He also holds joint appointments as Associate Professor in the Thomas Lord Department of Mechanical Engineering and Materials Science and Associate Professor of Computer Science. As Director of Master's Studies, he oversees the graduate program in Electrical and Computer Engineering and teaches numerous courses spanning embedded systems, cyber-physical systems design, and robotics. Education: Ph.D. in Electrical and Computer Engineering from University of Pennsylvania (2012) Miroslav Pajic's research focuses on the design and analysis of cyber-physical systems (CPS) with varying levels of autonomy and human interaction. His work spans the intersection of embedded systems, artificial intelligence, machine learning, control theory, formal methods, and robotics. He specializes in developing high-assurance autonomous systems with applications in robotics, automotive systems, and medical devices, with particular emphasis on CPS security and resilient autonomy. His research addresses fundamental challenges in creating systems that can operate reliably in uncertain environments while maintaining security against potential cyber attacks. Analysis of Pajic's recent publications reveals a strong interdisciplinary research program bridging theoretical foundations with practical applications. His work spans secure sensor fusion for distributed autonomy, medical applications of CPS (particularly deep brain stimulation for neurological disorders), and innovative sensing technologies for autonomous vehicles. A significant portion of his research addresses security challenges in cyber-physical systems, including stealthy GPS attacks on UAVs and methods for attack-resilient state estimation. His publications increasingly integrate machine learning techniques with traditional control theory to create more adaptive and robust autonomous systems. Pajic actively mentors graduate students and leads research groups focused on cyber-physical systems security and high-assurance autonomy. His research is supported by multiple grants, including the NSF AI Institute for Edge Computing (Athena), which he co-leads. He has received funding from various sources to support his work on secure and resilient cyber-physical systems, medical device security, and autonomous vehicle technologies. Pajic collaborates extensively with medical researchers on applications of cyber-physical systems in healthcare, particularly in deep brain stimulation for neurological disorders. His work bridges the gap between theoretical control systems and practical implementations in safety-critical domains, with a growing emphasis on translating research into real-world applications that improve system security and reliability.

Jia Zhangمشاهده پروفایل

استاد

• Machine Learning
• Natural Language Processing
• Information Retrieval
• +۱۰ مورد دیگر

Dr. Jia Zhang is the Inaugural Robert H. Dedman Jr. Endowed Department Chair and Professor of Computer Science at Southern Methodist University (SMU Lyle School of Engineering). She holds the Cruse C. and Marjorie F. Calahan Centennial Chair in Engineering and has a courtesy appointment in the Department of Operations Research and Engineering Management. Her research focuses on applying machine learning, natural language processing, and information retrieval to data science infrastructure, particularly scientific workflows, provenance mining, software discovery, knowledge graphs, cloud computing, immune AI, and applications in earth science and healthcare. Education: Ph.D. in Computer Science, University of Illinois at Chicago M.S. in Computer Science, Nanjing University B.S. in Computer Science, Nanjing University Dr. Zhang's work emphasizes data science infrastructure and machine learning for scientific workflows and knowledge graphs. Her recent publications highlight deep learning , graph neural networks , and optimization algorithms in cloud computing, cybersecurity, and environmental applications. Key trends include spatiotemporal modeling , hybrid neural architectures , and AI-driven service ecosystems . Scientific Awards: Best Paper Awards IEEE SCC (2011, 2017) Best Student Paper Awards IEEE ICWS (2014, 2018), IEEE ICCC (2018) Distinguished Paper Award ICSOC (2023) First Outstanding Service Award IEEE Technical Committee on Services Computing (2016) She has secured over $5 million in federal grants (as PI) and $11 million as PI/Co-PI from NSF, NASA, NIH, UTSW, Ericsson, SAP, and Google. Her lab (Caruth Hall 308) actively recruits research assistants. She previously served as a faculty member at Carnegie Mellon University, Northern Illinois University, and Nanjing University, and worked in industry as a software architect.

• Computer Science
• Software Engineering
• Artificial Intelligence
• +۵ مورد دیگر

Dongwoo Kim is a researcher affiliated with Hanyang University, ERICA Campus (Department of Electronics and Communication Engineering) and has previously collaborated with institutions like POSTECH , Chungnam National University , and Microsoft . His work spans interdisciplinary domains in Computer Science and Engineering . Hanyang University, ERICA Campus - Department of Electronics and Communication Engineering POSTECH - Power Analog Electronics & Semiconductor Devices Lab Microsoft Chungnam National University Kim's research focuses on formal verification of automotive control software, deep learning applications in environmental monitoring, 3D modeling for indoor positioning, and machine learning for signal processing. His recent publications highlight advancements in graph neural networks (GNNs), including analyzing oversmoothing and gradient dynamics, as well as developing geometric vision-language models with domain-agnostic encoders. His 15 most recent articles (2023-2025) address topics like: Optimizing hybrid electric vehicle engine performance 3D modeling for indoor localization GNN training stability UAV-based environmental monitoring Algorithm difficulty prediction for programming problems Millimeter-wave antenna design Kim collaborates with researchers in software engineering , signal processing , and environmental science domains. His work intersects formal methods , applied machine learning , and embedded systems research.

Vishal Sharmaمشاهده پروفایل

مدرس ارشد

• Cyber-Physical Systems (CPS)
• 5G and Beyond Security
• Internet of Things (IoT)
• +۴ مورد دیگر

Dr. Vishal Sharma is a Senior Lecturer in the School of Electronics, Electrical Engineering and Computer Science at Queen's University Belfast. His research focuses on Cyber-Physical Systems (CPS), 5G/6G Security, Unmanned Aerial Vehicles (UAVs), Blockchain, and Digital Twins. He has held roles at institutions like Singapore University of Technology and Design (SUTD) and Soonchunhyang University, South Korea. Notable achievements include Best Paper Awards at ICCMIT 2017, IEEE SITE 2024, and HUCAPP/VISIGRAPP 2025. He leads the Innovation-by-Design Lab and is a Fellow of the Higher Education Academy (FHEA). Research Interests: Cyber Defence, UAV Security, Secure Computing, Network Security, and Sustainable Edge Computing. He has collaborated on projects like RapidRANDefender (QRICSec) and Traceable Procurement for Net-Zero Processes. Awards include the Royal Society International Exchanges Committee appointment (2025) and QUB's Individual Performance Award (2024). Grants and Projects: Principal Investigator for projects such as Exploring Operational Capabilities of Arm Morello for UAV Security (2023) and TUDOR: Ubiquitous 3D Open Resilient Network (2023). Active in editorial roles for IEEE Communications Magazine and IET Networks. His work aligns with UN Sustainable Development Goals (SDGs) related to climate action and innovation. Publications span 150+ articles in top journals/conferences, with a focus on secure communication, edge computing, and UAV networks. Supervises PhD students in cyber defence, AI security, and distributed ledger technologies.

Emmett Witchelمشاهده پروفایل

استاد

• Computer Architecture
• Systems and Networking
• Security and Privacy
• +۲ مورد دیگر

Emmett Witchel is a Professor of Computer Science at the University of Texas at Austin , with research spanning computer architecture, systems, networking, security, and privacy . His work focuses on low-level systems optimization and secure concurrent execution. Research Interests: Concurrent systems, secure execution environments, GPU integration, distributed systems. Teaching: CS 380L (Advanced Operating Systems), CS 371M (Mobile Computing). Scientific Awards: Runner-up Best Paper, ASPLOS 2013 Runner-up Award for Outstanding Research, USENIX Symposium 2012 IEEE Micro Top Pick Award 2007 ACM Honorable Mention 2004 George M. Sprowls Award, MIT EECS 2004 Recent Publications demonstrate leadership in CXL pod databases ( Tigon ), stateful serverless computing ( Boki ), SmartNIC-accelerated file systems ( LineFS ), and GPU security ( Telekine ). His work bridges hardware-software co-design and practical systems implementation.