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

Ruzica Piskacمشاهده پروفایل

استاد

• Software Verification
• Security
• Applied Cryptography
• +۳ مورد دیگر

Ruzica Piskac is a Professor of Computer Science at Yale University, where she joined the Department of Computer Science in 2013 and leads the Rigorous Software Engineering (ROSE) research group. Her work focuses on formal techniques to improve software reliability and trustworthiness through verification, security, and synthesis approaches. Education: PhD in Computer Science from the Swiss Federal Institute of Technology (EPFL) in 2011 Thesis title: Decision Procedures for Program Synthesis and Verification Previously led an independent research group at the Max Planck Institute for Software Systems in Germany (2012-2013) Research Interests: Piskac's research spans software verification, security and applied cryptography, automated reasoning, and code synthesis. Her work combines formal methods with practical applications in programming languages, particularly focusing on making software systems more reliable and trustworthy. She has developed tools for symbolic execution in Haskell, privacy-preserving formal methods, and verification techniques for configuration files and software updates. Publication Trends: Her recent work shows a strong focus on applying formal verification techniques to emerging challenges including large language models, zero-knowledge proofs, quantum computing security, and legal accountability for AI systems. There's a clear trajectory toward bridging formal methods with practical security and verification challenges across diverse domains. Awards: Multiple Amazon Research Awards Yale University's Ackerman Award for Teaching and Mentoring Facebook Communications and Networking Award Microsoft Research Award for the Software Engineering Innovation Foundation Patrick Denantes Prize for her doctoral dissertation Advising and Service: Piskac has graduated five PhD students, four of whom are now assistant professors of computer science. She has served as Program Chair of the 37th International Conference on Computer Aided Verification and is on the Steering Committee of the Formal Methods in Computer-Aided Design conference. Her service includes numerous program committee roles across major programming languages and verification conferences. Research Group: She leads the Rigorous Software Engineering (ROSE) group at Yale, which focuses on developing formal techniques for software reliability and trustworthiness, with projects spanning symbolic execution, privacy-preserving verification, reactive synthesis, and configuration file verification.

Samira Khanمشاهده پروفایل

دانشیار

• Computer Architecture
• Grid/Cloud/High-performance Computing
• Programming Languages and Compilers
• +۴ مورد دیگر

Samira Khan is an Associate Professor in the Department of Computer Science at the University of Virginia (UVA), leading the ShiftLab research group. Her research focuses on computer architecture, high-performance computing, persistent memory systems, and processing-in-memory (PIM) technologies. Prior to UVA, she completed a postdoctoral fellowship at Carnegie Mellon University, supported by Intel Labs and an NSF GOALI award. She earned her Ph.D. in Computer Science from the University of Texas at San Antonio. Her work addresses challenges in memory and storage systems, including optimizing persistent memory reliability, enhancing PIM architectures, and mitigating security vulnerabilities in modern hardware. Notable projects include CRISP (a $29.7M initiative to tackle the 'memory wall'), and the development of tools like PiMulator and PIMProf for PIM emulation and profiling. Research trends in her articles emphasize advancing PIM efficiency, persistent memory security, and cloud-scale system optimization. She has pioneered techniques like NearPM for storage-class applications and EdgeRAG for edge device computing. Her work frequently intersects with real-world applications, such as improving data persistence in networks and enhancing fault tolerance in memory systems. Grants include NSF GOALI funding and Intel Labs support. She collaborates on multi-institutional projects and maintains an active open-source infrastructure (e.g., SoftMC for DRAM studies). Her lab focuses on bridging hardware-software gaps to deliver scalable, energy-efficient computing solutions.

Junfeng Yangمشاهده پروفایل

استاد

• Reliable Systems
• Computer Security
• Software Engineering
• +۳ مورد دیگر

Junfeng Yang is a Professor in the Department of Computer Science at Columbia University and co-director of the Software Systems Lab. His research focuses on reliable and secure systems, including tools for software protection, cloud programming systems, and machine learning robustness. He earned his BS from Tsinghua University and PhD from Stanford University, where he developed eXplode, a system for detecting storage system errors. Yang has held roles at Microsoft Research and co-founded NimbleDroid, a Columbia spin-off focused on app performance analysis. Key awards include the Sloan Research Fellowship (2012), AFOSR YIP Award (2012), and NSF CAREER Award (2011). His work has been featured in venues like ACM Tech News and Linux Weekly News. He advises numerous PhD students and has contributed to projects such as DeepXplore (best paper at SOSP '17) and Chablis (best paper at CIDR '24). His teaching includes courses on software engineering, blockchain systems, and reliable software design. Yang’s contributions span academic grants from NSF, ONR, and DARPA, alongside industry collaborations with Google, Facebook, and Amazon. His lab develops systems for concurrency, security, and AI-driven software tools, reflecting a commitment to bridging theory and practical system implementation.

Christian Dietrichمشاهده پروفایل

استاد

• Operating Systems
• Real-Time Systems
• Embedded Systems
• +۳ مورد دیگر

Christian Dietrich is a Professor at the Technische Universität Hamburg (TUHH) in the Operating System Group (OSG) . His research focuses on Operating Systems , Real-Time Systems , and Embedded Systems , with specific interests in Software Fault Tolerance , Memory Management , and Software Variability . Projects: ParPerOS (Parallel Persistency OS), ATLAS (Adaptable Thread-Level Address Spaces), CLASSY-FI (Cross-Layer Fault Injection), AHA (Automated Hardware Abstraction), CADOS (Configurability-Aware OS) Supervised Theses: 10+ completed theses on topics like io_uring Integration , Heterogeneous Multi-Core , Virtual Memory Primitives , and Fault Injection His recent publications (2022-2024) address Heterogeneous Computing , Virtual Memory Interfaces , and Crash-Consistent Systems . He received awards including USENIX ATC 2017 Best Paper , RTAS 2015 Best Paper , and ISORC 2022 Outstanding Paper .

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

استادیار

• Cybersecurity
• Nuclear Engineering
• Data Analytics
• +۹ مورد دیگر

Fan Zhang is an Assistant Professor at the Woodruff School of Mechanical Engineering at the Georgia Institute of Technology , specializing in cybersecurity of nuclear facilities , data analytics for fault detection , and nuclear systems modeling . She leads the iFAN Lab and collaborates internationally with organizations like the IAEA and DOE Office of International Nuclear Security . Education : Ph.D. in Nuclear Engineering (University of Tennessee, Knoxville, 2019), M.S. in Statistics (University of Tennessee, Knoxville, 2019), M.S. in Nuclear Engineering (North China Electric Power University, 2016), B.S. in Nuclear Engineering (North China Electric Power University, 2013). Her research focuses on cybersecurity , instrumentation & control , autonomous systems , and AI-driven nuclear diagnostics . She develops testbeds combining simulators and physical components for cybersecurity and process health management studies. Recent publications highlight her work on robot-assisted nuclear monitoring , radiation localization , and digital twin security , reflecting cross-disciplinary expertise in cyber-physical systems , ML robustness , and industrial threat mitigation . Scientific Awards : Ted Quinn Early Career Award (2021), Smoky Mountain Data Challenge Best Paper (2019), ANS Graduate Scholarships (2018-2020), UT Extraordinary Professional Promise Award (2018), Alpha Nu Sigma Honor Society (2017). Contact: fan.zhang@me.gatech.edu | Office: Boggs 371, Georgia Tech

Dongyan Xuمشاهده پروفایل

استاد

• Cybersecurity
• Cyber-Physical Security
• Cloud Computing
• +۵ مورد دیگر

Roles and Affiliations: Dongyan Xu is the Samuel D. Conte Professor of Computer Science at Purdue University and Director of CERIAS (Cybersecurity Center). He leads the Purdue System Security Lab (PurSec) and focuses on cyber and cyber-physical security research. His work extends to cloud computing and embedded systems security. Education: BS in Computer Science from Zhongshan University (1994), PhD in Computer Science from University of Illinois at Urbana-Champaign (2001). Research Interests: Cybersecurity, cyber-physical systems security, embedded systems security, malware analysis, reverse engineering, and cloud infrastructure optimization. Key projects include virtualization-based malware defense, Bluetooth protocol vulnerability analysis, and secure UAV control systems. Grants and Funding: Principal Investigator of over $36 million in grants, with total research funding exceeding $132 million from sponsors like AFOSR, DARPA, NSA, NSF, and industry partners. Projects address automotive cybersecurity, IoT security, and critical infrastructure protection. Awards and Recognition: NSF CAREER Award (2006), multiple Best Paper Awards at RAID, SoCC, ASE, and USENIX Security. Named University Faculty Scholar (2012). Honored with College of Science awards for advising and leadership. Labs and Teams: Directs CERIAS and leads PurSec, collaborating with interdisciplinary teams on cyber-physical security, embedded systems, and cloud computing innovations. Active in policy-guided vulnerability discovery and automated patching for robotic vehicles.

• Control Engineering
• Power Systems
• Renewable Energy
• +۳ مورد دیگر

Dr. Li Li is an Associate Professor in the School of Electrical and Data Engineering at the University of Technology Sydney (UTS). She holds a Ph.D. from the University of California, Los Angeles (UCLA), with prior research roles at the University of New South Wales and National ICT Australia. Her expertise spans control theory, power system control, and renewable energy integration. Dr. Li’s research focuses on advancing smart grid technologies, electric vehicle infrastructure, cybersecurity in microgrids, and sustainable energy systems. Education: B.S., Huazhong University of Science and Technology M.S., Tsinghua University Ph.D., University of California, Los Angeles Research Interests: Dr. Li’s work addresses challenges in power system stability, renewable energy deployment, and grid resilience. Key themes include optimizing EV charging infrastructure, integrating hydrogen storage, and developing advanced control frameworks for microgrids. Her recent contributions highlight predictive maintenance using deep learning, cybersecurity mitigation strategies, and stochastic scheduling in multi-microgrid systems. Publications: Over 300 peer-reviewed articles, with a focus on high-impact journals like Applied Energy and Energies . Key trends include EV charging optimization, microgrid cybersecurity, and renewable integration strategies. Grants & Supervision: Actively supervising Masters and PhD students. Available for collaborative projects, industry partnerships, and academic leadership roles. Specializes in guiding research on sustainable energy systems and grid technologies. Labs/Teams: Core member of UTS’s Electrical Engineering research groups, contributing to interdisciplinary projects on smart grids and energy resilience.

• Cyber-physical system security
• Smart Grid security
• Networked systems algorithms
• +۳ مورد دیگر

Binbin Chen is an Associate Professor in Information Systems Technology and Design at Singapore University of Technology and Design (SUTD). His research focuses on enhancing the security and efficiency of interconnected systems like cyber-physical systems and IoT networks. Prior to his current position, he earned a PhD from National University of Singapore (NUS) and a Bachelor's from Peking University, both in Computer Science. Key research areas include smart grid security, networked systems algorithms, and safety-security co-analysis. Notable contributions include work on RFID protocols, fault-tolerant distributed systems, and secure substation control mechanisms. His research has been funded by Singapore's Energy Market Authority (EMA), A*STAR, and the Singapore Cybersecurity Consortium. Publications highlight advancements in secure substation command delaying, privacy-preserving electricity data sharing, and fault-tolerant aggregate function computation. He leads development of tools like CyberSAGE for cyber-physical system security assessment and SoftGrid for substation cybersecurity testing. Received Best Paper Award at ACM SIGCOMM 2010 Contributed to over 30 peer-reviewed journal/conference publications Active in professional service including journal reviewing and conference organization Current research emphasizes integrating security and safety engineering principles in critical infrastructure systems, with particular focus on railway and smart grid resilience.

Robert Rinkerمشاهده پروفایل

دانشیار

• Computer Architecture
• Reconfigurable Computing
• Embedded Systems Security
• +۳ مورد دیگر

Robert Rinker, Ph.D., is an Associate Professor and Associate Chair in the Department of Computer Science at the University of Idaho, part of the College of Engineering. His office is located in Hedlund Building 202D, and he can be reached at rinker@uidaho.edu. Rinker holds a Ph.D. in Computer Science from Colorado State University, and both Master's and Bachelor's degrees in Electrical Engineering from the University of Idaho. His teaching responsibilities include courses such as Computer Science I (CS 120), Computer Organization and Architecture (CS 150), System Software (CS 270), Advanced Computer Architecture (CS 451/551), and Real-Time Operating Systems (CS 452/552). His research focuses on reconfigurable computing, embedded systems security, computational biology pipelines, and hardware compilation techniques. Specific contributions include work on FPGA-based systems, resilient multi-core architectures, and formal verification methodologies. Rinker’s research trends emphasize the intersection of hardware-software co-design and cybersecurity, with notable contributions to VANET security and computational density optimization in embedded systems. His publications span topics from workflow automation in bioinformatics to compiler-driven FPGA optimization strategies. While no formal awards or grants are listed, his extensive academic service as Associate Chair highlights his leadership in departmental operations. He advises courses but no listed students or active lab teams are mentioned in the provided materials.

Afef Fekihمشاهده پروفایل

دانشیار

• Control Systems
• Fault-Tolerant Control
• Nonlinear Control
• +۵ مورد دیگر

Afef Fekih is an Associate Professor of Electrical and Computer Engineering at the University of Louisiana at Lafayette, where she founded and directs the Advanced Control Systems Laboratory (since 2005). Her research spans control theory applications in aircraft systems, automotive control, renewable energy, and communications with emphases on fault tolerance, nonlinear dynamics, and robust design. She has received significant honors including: Harold Callais Memorial/BORSF Professorship (2013-2016) Chevron/BORSF Professorship (2011-2014) Outstanding Academic Advisor Award (2007) Favorite Teacher Award (2007) Recent publications (2019-2025) demonstrate strong focus on renewable energy control, neural networks in robotics, power electronics, and cybersecurity for medical systems. Trends include AI-driven optimization, sustainable energy solutions, and adaptive control frameworks. She maintains affiliations as a Senior IEEE member and visiting professor at the University of Valenciennes, France.

• Robust Control Design
• Model Predictive Control
• Fault Detection and Isolation
• +۷ مورد دیگر

Dr. Imad Jaimoukha is a Senior Lecturer in the Department of Electrical and Electronic Engineering at Imperial College London, part of the Faculty of Engineering. He is affiliated with the Control and Power Research Group. His research focuses on robust control design, fault detection/isolation, model reduction, and applications in power systems and vehicle control. He holds a primary appointment at Imperial College’s South Kensington Campus. Dr. Jaimoukha’s work bridges theoretical advancements in control systems with practical applications. His research interests include robust model predictive control, fault-tolerant systems, and H-infinity optimization techniques. He has contributed to energy management strategies for electric vehicles, cybersecurity in power grids, and suspension control for improved vehicle dynamics. His recent publications emphasize robust control methodologies, resilient power systems, and autonomous vehicle systems. Key themes include integrating data-driven approaches with physical models to enhance system security and efficiency. Dr. Jaimoukha’s research frequently employs linear matrix inequalities (LMIs) and numerical optimization techniques to address complex control challenges. He collaborates widely on projects involving automotive control systems, power grid stabilization, and fault detection algorithms. His work is supported by Imperial College’s engineering infrastructure and the Control and Power Research Group’s experimental capabilities.

Matt Spencerمشاهده پروفایل

دانشیار

• Cyber Security
• Science & Technology Studies
• Digital Technologies
• +۳ مورد دیگر

Matt Spencer is an Associate Professor at the Centre for Interdisciplinary Methodologies (CIM) within the Faculty of Social Sciences, University of Warwick. His research bridges Science & Technology Studies (STS) and Cyber Security, focusing on sociocultural dimensions of digital technologies and knowledge practices. Spencer holds fellowships including UKRI Future Leaders Fellow and Senior Fellow at the Research Institute for Sociotechnical Cyber Security. He earned a PhD in Cultural Studies from Goldsmiths, University of London (2013) and a Social Anthropology degree from the University of Cambridge. Prior academic roles include IT/digital technology delivery across sectors like media and transport. Research interests include cybersecurity assurance policy, de-perimeterised security models, vulnerability analysis, and computational science methodologies. His work integrates anthropological fieldwork, contributing to frameworks like the Trust Mapping workshop methodology. Key publications explore Zero Trust architectures, security modelling (e.g., MORS grid), and computational science practices. He advises doctoral students on topics like inclusive AI security and software threat modeling, with a focus on securing funding through scholarships. Awards include EPSRC SPRITE+ Expert Fellowship and recognition for advancing sociotechnical cybersecurity. Active in interdisciplinary research, Spencer leads initiatives in computational science ethics and cyber resilience strategies.

Chris Brzuskaمشاهده پروفایل

دانشیار

• Cryptography
• Security Protocols
• Key Exchange
• +۵ مورد دیگر

Chris Brzuska is an Associate Professor at Aalto University's Department of Mathematics and Systems Analysis, part of the School of Science. His research focuses on cryptography, security protocols, and formal verification of cryptographic systems. He has contributed to key areas including post-quantum cryptography, white-box security, obfuscation, and game-based security models. His work often involves rigorous analysis of cryptographic primitives and protocols, emphasizing practical security and formal proofs. Brzuska's recent research includes studies on LWE assumptions, garbling schemes, TLS security, and resistance against side-channel attacks. He has authored or co-authored over 30 publications in top-tier conferences and journals, such as CRYPTO, EUROCRYPT, and ASIACRYPT. His work bridges theoretical foundations and applied cryptography, addressing real-world security challenges in protocols like TLS and messaging frameworks.

Koksal Musمشاهده پروفایل

استادیار

• Cybersecurity
• Cryptography
• Quantum Computer Resistant Security
• +۴ مورد دیگر

Koksal Mus is an Assistant Professor of Teaching in the Department of Electrical & Computer Engineering at Worcester Polytechnic Institute (WPI). He holds a PhD in Cryptography from Middle East Technical University (2016) and specializes in cybersecurity, cryptography, and hardware security. His teaching philosophy emphasizes student-centered learning through hands-on projects and deep pedagogy. Research interests include quantum-resistant security standards, side-channel attacks, homomorphic encryption, and internet voting systems. He has published in top-tier conferences like CCS and Euro S&P, and holds a patent for verifiable internet voting mechanisms. His work aligns with UN Sustainable Development Goals 4 (Quality Education) and 16 (Peace, Justice, and Strong Institutions). Notable professional milestones include being part of WPI's growing cohort of teaching-focused faculty pursuing tenure, and his role in welcoming new faculty members in 2017 and 2023. He contributes to advancing AI integration in project-based learning as highlighted in recent university announcements.

Zane Weissmanمشاهده پروفایل

استاد آموزشی

• Microarchitectural Security
• FPGA-CPU Systems
• Cloud System Security
• +۳ مورد دیگر

Zane Weissman is an Assistant Teaching Professor in the Department of Electrical and Computer Engineering at Worcester Polytechnic Institute (WPI). She holds a Ph.D. in Electrical and Computer Engineering from WPI (2024), following B.S. (2019) and M.S. (2019) degrees in the same field. Her teaching focuses on computer engineering with an emphasis on hands-on laboratory work and collaborative project-based learning. Her research explores microarchitectural security vulnerabilities in FPGA-CPU systems and cloud infrastructure, with publications in peer-reviewed journals and a book chapter. She also contributed to environmental studies on sound pollution in national parks. Education Ph.D., Electrical and Computer Engineering, WPI (2024) M.S., Electrical and Computer Engineering, WPI (2019) B.S., Electrical and Computer Engineering, WPI (2019) Research Interests Her research bridges hardware security and cloud computing, investigating vulnerabilities in FPGA-CPU co-designs and serverless platforms. She explores mitigations for microarchitectural attacks like rowhammer and IOTLB-SC leaks, while maintaining a secondary interest in environmental acoustics. Her work emphasizes practical defenses for modern computing systems. Publications Recent work includes analysis of high-frequency bit flip impacts (2025), Firecracker VMM security (2024), and FPGA-driven rowhammer attacks (2019). Earlier environmental studies on sound pollution (2017) reflect a multidisciplinary approach to research. Labs/Teams No specific lab affiliations listed, though her teaching emphasizes collaborative project work in WPI's lab facilities.