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

Benjamin Carrison-Schaferمشاهده پروفایل

دانشیار

• Reconfigurable Computing
• FPGAs
• Electronic Design Automation
• +۷ مورد دیگر

Benjamin Carrison-Schafer is an Associate Professor and Assistant Dean for Graduate Student Success at the Department of Electrical and Computer Engineering, Erik Jonsson School of Engineering and Computer Science, University of Texas at Dallas. He leads the Design Automation and Reconfigurable Computing Laboratory (DARClab), focusing on systems, high-level design, and programming methodologies for VLSI computing systems and FPGAs. Education: MBA from McGill University, Canada (2012) PhD in Electrical and Electronic Engineering from University of Birmingham, UK (2003) Research Interests: His work spans modeling, analysis, synthesis, optimization, and implementation of VLSI systems. Current projects include: Approximate Computing, High-Level Synthesis Design Space Exploration, Hardware Security, Behavioral MPSoC Optimization, and Automatic Fault-Tolerant System Generation. His research blends theory and practice, using analytical and experimental techniques to solve real-world problems. Publication Trends: Recent publications demonstrate strong focus on hardware security, FPGA optimization, and automated design methodologies. Key themes include High-Level Synthesis innovations, hardware acceleration techniques, and cross-disciplinary applications of reconfigurable computing. His work frequently addresses challenges in hardware trustworthiness, energy efficiency, and design automation scalability. Professional Activities: Associate Editor: IEEE Transactions on Sustainable Computing (2022-present) Conference Chair: ICCD 2024, DCAS 2024 Program Committee: ASP-DAC, DATE, FCCM, GLSVLSI Advising & Labs: Supervises multiple PhD and Master's students at DARClab. Current research includes domain-specific architecture design, hardware security, sustainable computing, and ML for VLSI design. The lab collaborates with industry partners like Renesas Electronics and develops commercial tools through spin-off company highX Technologies.

Shiri Azenkotمشاهده پروفایل

دانشیار

• Accessibility
• Human-Computer Interaction
• Assistive Technology
• +۵ مورد دیگر

Shiri Azenkot is an Associate Professor at the Jacobs Technion-Cornell Institute at Cornell Tech and Cornell University, affiliated with the Information Science Department and Technion’s Computer Science Department. Her research focuses on accessibility innovations in emerging technologies, particularly addressing needs of people with vision impairments and neurodiverse populations. She holds a PhD from the University of Washington, advised by Richard Ladner and Jacob Wobbrock, and has been recognized with prestigious awards including the NSF Graduate Research Fellowship. Education: PhD in Computer Science & Engineering from University of Washington (advisors: Richard Ladner, Jacob Wobbrock). Research interests include VR/AR accessibility, assistive technology design, inclusive education tools, and ethical AI applications. Current projects explore social VR avatars for invisible disabilities, AR navigation aids, and AI moderation systems against ableist hate speech. Her work is funded by NSF, AOL, Verizon, and Facebook. Recent publications address video accessibility for ADHD users, AI-driven scene descriptions for blind users, and tactile learning materials co-designed with educators. She leads the XR Access initiative promoting inclusive virtual/augmented reality. Awards include the UW Graduate Medal (2020), NSF CRII Award (2017), and AT&T Labs Fellowship (2014). Her research bridges academic innovation with industry impact through collaborations with tech companies and disability advocacy groups.

Ardalan Amiri Saniمشاهده پروفایل

دانشیار

• Mobile Systems
• Operating Systems
• Security
• +۵ مورد دیگر

Ardalan Amiri Sani is an Associate Professor in the Computer Science Department at the University of California, Irvine (UCI), affiliated with the Donald Bren School of Information & Computer Sciences. He leads the Trustworthy Systems Lab (TrussLab), focusing on secure and reliable mobile systems, operating systems, and virtualization. His research bridges mobile computing, security, and OS design, addressing challenges in I/O devices, kernel hardening, and verifiable provenance. Education: Ph.D. and M.Sc. from Rice University (ECE), B.Sc. from Sharif University of Technology. Awards include the NSF CAREER Award, Google ASPIRE Award, and UCI Dean's Mid-Career Research Award. He has advised numerous graduate and undergraduate students, many of whom now work in academia and industry. Research highlights include Tabellion (secure legal contracts on mobile devices), ProvCam (verifiable video provenance), and work on minimizing smartphone TCBs via hardware isolation. His grants include NSF funding for OS kernel security and NSA support for provenance systems. Education: Ph.D., Electrical and Computer Engineering, Rice University, 2014 B.Sc., Electrical Engineering, Sharif University of Technology Grants: $500K NSF Award (with UCR) for OS kernel security (2020) NSF SaTC Award for GPU security in browsers Google ASPIRE Award for Android system call filtering Labs/Teams: Trustworthy Systems Lab (TrussLab), collaborating with industry partners like Intel and Broadcom.

Daniel Großeمشاهده پروفایل

استاد

• Formal Verification
• Hardware Verification
• Electronic Design Automation
• +۳ مورد دیگر

Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.

Brendan Dolan-Gavittمشاهده پروفایل

دانشیار

• Cybersecurity
• Program Analysis
• Virtualization Security
• +۵ مورد دیگر

Brendan Dolan-Gavitt is an Associate Professor in the Computer Science and Engineering Department at NYU Tandon School of Engineering and part of the NYU Center for Cybersecurity (CCS). He holds a Ph.D. in Computer Science from Georgia Tech (2014) and a BA in Math and Computer Science from Wesleyan University (2006). His research spans cybersecurity, program analysis, virtualization security, memory forensics, and embedded/cyber-physical systems, focusing on automating the understanding of large software systems to develop novel defenses. Research interests include developing techniques for static and dynamic analyses of real-world software to reveal hidden design assumptions. His work has been presented at top security conferences like USENIX Security, ACM CCS, and IEEE Security & Privacy. He led the development of the open-source PANDA platform for dynamic analysis. His publications primarily focus on AI-driven security solutions, vulnerability discovery, and automated testing tools. Recent work explores LLMs in offensive security, fuzzing enhancements, and secure code generation, emphasizing practical applications in cybersecurity. Scientific Awards: NSF CAREER Award for improving software vulnerability testing and education He leads the OSIRIS Lab, a student-run cybersecurity group, and collaborates on interdisciplinary projects addressing emerging security challenges through grants and industry partnerships.

Mark D Grossمشاهده پروفایل

استاد

• Modular Robotics
• Tangible Interaction Design
• Digital Fabrication
• +۶ مورد دیگر

Mark D. Gross is a Professor of Computer Science and Director of the ATLAS Institute at the University of Colorado Boulder. His research focuses on modular robotics, tangible interaction design, digital fabrication, and computational design. He co-founded Modular Robotics and Blank Slate Systems, leveraging his expertise in educational technology and maker culture. Education: PhD in Design Theory & Methods from MIT. Academic history includes roles at Carnegie Mellon University and University of Washington Seattle. His work spans architecture, robotics, and human-computer interaction. Research Interests: Modular robotics and computationally enhanced construction kits Tangible interaction and e-textiles Shape-changing interfaces and swarm robotics Sketch-based interaction and digital fabrication Publications highlight advancements in collaborative AR systems, shape-changing interfaces (e.g., LiftTiles, ShapeBots), and accessible technologies like FluxMarker. His work bridges computational tools and creative design processes. Advising: Guided students such as Ryo Suzuki (PhD '20). Entrepreneurial ventures include companies spun off from research. Labs/Teams: Leads projects at the ATLAS Institute, emphasizing interdisciplinary collaboration in robotics, design, and human-centered computing.

Tengfei Maمشاهده پروفایل

استادیار

• Machine Learning
• Natural Language Processing
• Biomedical Informatics
• +۶ مورد دیگر

Tengfei Ma is an Assistant Professor in the Department of Biomedical Informatics at Stony Brook University, with affiliations to Computer Science and Applied Mathematics & Statistics. He holds a Ph.D. from The University of Tokyo, M.S. from Peking University, and B.E. from Tsinghua University. Previously, he was a Research Scientist at IBM T.J. Watson Research Center. His research focuses on machine learning, natural language processing (NLP), and biomedical informatics, particularly deep graph learning, scalable graph methods, and healthcare applications. He has contributed to frameworks like EvolveGCN for dynamic graphs and IGB datasets for graph benchmarks. Key awards include ISWC 2021 Best Paper (Research Track) and IBM Outstanding Research Accomplishments (2019, 2022). His work bridges theory and practice, addressing challenges like over-dilution in GNNs and interpretable time series analysis. Collaborations span interdisciplinary areas, such as AI for wound monitoring and code summarization. He teaches BMI530: Software Development for Biomedical Informatics and is open to graduate students from CS, BMI, and AMS departments. Research highlights include: Deep Graph Learning: Scalability (FastGCN, IGB), dynamic graphs (EvolveGCN), and topology-enhanced GNNs. Healthcare: Models for EHR analysis, medication recommendation (GAMENet), and wearable wound monitoring. NLP: Document summarization, code summarization (CP-BCS), and commonsense generation via knowledge graph compression. Recent projects include AI tools like Influencer for promotional content creation and neural-symbolic models for interpretable time series analysis. His lab explores foundational AI for healthcare, code analysis, and graph systems.

Lisa Wu Willsمشاهده پروفایل

استادیار

• Computer Architecture
• Hardware-Software Co-design
• Hardware Accelerators
• +۶ مورد دیگر

Lisa Wu Wills is an Assistant Professor in the Department of Computer Science and Electrical and Computer Engineering at Duke University, leading the APEX Lab (Application-driven Programmable Efficient Accelerated Systems Lab). Her research focuses on hardware acceleration for big data analytics in genomics, graphs, and databases to advance healthcare and natural sciences. Education: Ph.D. in Computer Science, Columbia University, 2014 Research Interests: Dr. Wills pioneers computer architecture and hardware-software co-design to create efficient accelerators for emerging applications. Her work targets genomics , graph analytics , and database systems , emphasizing simplified hardware deployment and energy efficiency for scientific breakthroughs in healthcare and AI. Publication Trends: Her 2022-2025 publications reveal a strong focus on open-source frameworks (Beethoven, PyTFHE) for accelerator development, hardware acceleration in privacy-preserving computing, and optimization for large language models. Key themes include transfer learning for EDA, domain-specific architectures for genomics, and energy-efficient image processing. Scientific Awards: Google ML and Systems Junior Faculty Award (2025) Advising and Grants: Dr. Wills mentors three PhD students: Chris Kjellqvist (Beethoven framework architect), Mason Ma (PyTFHE lead for FHE applications), and Mansi Choudhary (COCOSSim simulator creator). Her 2025 Google award funds research on accelerating vector databases and retrieval-augmented generation for LLMs. Labs and Teams: She directs the APEX Lab at Duke, developing tools like Beethoven (open-source accelerator composer) and PyTFHE for hardware-software integration, enabling domain scientists to leverage custom acceleration with minimal hardware expertise.

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

استاد

• Big data software engineering
• Intelligent software testing and analysis
• Adaptive and autonomous software systems
• +۳ مورد دیگر

Chang Xu is a Professor and Ph.D. supervisor at Nanjing University, affiliated with the State Key Laboratory for Novel Software Technology, School of Computer Science, and Institute of Computer Software (ICS). He has been a full-time faculty member since 2010, when he joined as an associate professor and was later promoted to full professor in 2015. Education: Ph.D. from The Hong Kong University of Science and Technology (HKUST) in 2008 (advisor: Prof. S.C. Cheung) M.Eng. from Institute of Software, Chinese Academy of Sciences (ISCAS) in 2003 B.Eng. from University of Science and Technology of China (USTC) in 2000 Research Interests: Professor Xu's research focuses on big data software engineering, intelligent software testing and analysis, and adaptive and autonomous software systems. His recent work centers on constructing and providing runtime support for intelligent software in open environments, with emphasis on inconsistency detection and resolution for environments, and quality assurance for adaptive, concurrent, learning-based, smartphone-based, and spreadsheet-based applications. His work bridges theoretical foundations with practical applications in software engineering, particularly in program analysis, software testing, and self-adaptive systems. Scientific Awards: ACM SIGSOFT Distinguished Paper Award from ICSE 2025 Best Student Paper Award from EUROSYS 2025 ACM Distinguished Member in 2024 Best Paper Award from SOSP 2023 Best Paper Candidate from ISSRE 2022 Yangtze River Scholar by the Ministry of Education in 2021 Multiple ACM SIGSOFT Distinguished Paper Awards from conferences including ASE, ICSE National Science and Technology Progress Award (Second Class) in 2011 Academic Service and Advising: Professor Xu has served on numerous program committees for top software engineering conferences including ICSE, ASE, ESEC/FSE, and ISSTA. He is an editorial board member for several journals including Journal of Computer Science and Technology and Frontiers of Computer Science. He has supervised numerous Ph.D. and MSc students, with research topics spanning program analysis, software testing, self-adaptive systems, and more. His students have gone on to successful careers in both academia and industry. Research Groups: Professor Xu is associated with the SPAR research group at Nanjing University and the CASTLE research group at HKUST, focusing on software analysis, reliability, and testing.

Kimia Zamiri Azarمشاهده پروفایل

استادیار

• Hardware Security
• Verification Formal Methods
• Advanced VLSI Testing
• +۳ مورد دیگر

Kimia Zamiri Azar serves as an Assistant Professor in the Department of Electrical and Computer Engineering at the University of Central Florida, focusing on hardware security and verification methodologies. Her research bridges theoretical formal methods with practical security implementations in semiconductor design and testing. Her educational background includes: Ph.D. in Electrical and Computer Engineering, George Mason University (2021) Postdoctoral Research, University of Florida Dr. Azar's research spans hardware security with emphasis on system-level verification, VLSI design-for-trust, and advanced IC testing. She pioneers techniques in logic locking, secure heterogeneous integration, and IC supply chain security, developing frameworks for authenticated encryption in Systems-in-Package and runtime security monitoring. Her work integrates formal verification with innovative testing methodologies to address hardware trust challenges across the semiconductor lifecycle. Analysis of her recent publications reveals two dominant trends: (1) Application of large language models (LLMs) to hardware design tasks including high-level synthesis code generation and RTL optimization, and (2) Advancement of secure heterogeneous integration techniques for System-in-Package architectures with focus on counterfeit prevention and split-test security protocols. These directions address critical gaps in hardware trustworthiness amid increasingly complex semiconductor supply chains. Her scientific contributions have earned significant recognition: Best Paper Award at ICCAD 2019 Best Paper Award at ISVLSI 2020 Best Paper Award at ICCAD 2020 Best Paper Award at IEEE DCAS 2020 Best Paper Award at HOST 2022 Best Paper Award at DATE 2023 Dr. Azar secures substantial research funding from premier agencies including NSF, SRC, DARPA, AFRL, DoD (NG), and Microsemi. Her grants support projects spanning hardware security validation frameworks, secure heterogeneous integration, and AI-augmented verification methodologies. She actively mentors students in her research group, guiding publications in top venues like IEEE D&T, IEEE TC, and DAC while fostering industry-academic collaborations. Her work directly impacts semiconductor security standards through patented innovations and open-source verification tools. As an active IEEE and ACM member, she contributes to community advancement through conference organization (HOST, DATE), journal editorial roles, and workshop leadership on hardware security standards. Her research group collaborates with semiconductor industry leaders to translate theoretical security frameworks into practical design-for-trust methodologies for next-generation integrated circuits.

Rajendran Jeyavijayanمشاهده پروفایل

دانشیار

• Hardware Security
• Computer Security
• Hardware Fuzzing
• +۴ مورد دیگر

Jeyavijayan 'JV' Rajendran is an Associate Professor in the Department of Electrical and Computer Engineering at Texas A&M University, part of the College of Engineering. He is an ASCEND Fellow and leads the Secure and Trustworthy Hardware (SETH) Lab. His research focuses on hardware security, computer security, and novel applications of AI in secure hardware design. Education: PhD in Electrical Engineering (NYU 2015), MS in Computer Engineering (NYU Tandon 2010), BE in Electronics and Communication Engineering (Anna University 2008). Research Interests: Hardware Security, Computer Security, Logic Locking, Hardware IP Protection, and Reinforcement Learning for Security. He explores AI-driven approaches to detect vulnerabilities, protect intellectual property, and enhance secure hardware design through fuzzing, obfuscation, and formal verification. Notable Awards: 2022 Office of Naval Research Young Investigator Award, 2021 IEEE CEDA Ernest Kuh Early Career Award, 2017 NSF CAREER Award. Lab and Teams: The SETH Lab focuses on trustworthy hardware design, developing techniques to secure integrated circuits against reverse engineering and IP theft. Current projects include LLM-based hardware code generation, formal approaches for hardware fuzzing, and AI-driven vulnerability detection.

Andreas Lööwمشاهده پروفایل

مدرس

• Hardware Verification
• Software Verification
• Symbolic Execution
• +۵ مورد دیگر

Andreas Lööw is a Lecturer at Royal Holloway, University of London , focusing on hardware and software verification. Previously, he was a postdoctoral researcher at Imperial College London under Philippa Gardner , contributing to the Gillian Platform . He completed his PhD at Chalmers University of Technology under Magnus Myreen , specializing in interactive theorem proving and hardware verification. His research explores symbolic execution, separation logic, and formal verification of hardware/software systems. Key projects include Betterlog (Verilog semantics reformulation) and foundational work on the Gillian Platform . 2025 : Compositional Symbolic Execution for Memory Models 2025 : Simulation Semantics of Synthesisable Verilog 2024 : Compositional Symbolic Execution for Correctness/Incorrectness 2023 : Exact Separation Logic (Distinguished Paper at ECOOP'24) 2023 : Hardware Verification of Pipelined Processors 2022 : Verilog Concurrency Analysis 2021 : Verified Verilog Compiler (Lutsig) Scientific Awards : Distinguished Paper at ECOOP 2024 He maintains the vv Verilog visualization tool and collaborates on the Gillian Platform . Contact: andreas.loow@rhul.ac.uk

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

مدرس ارشد

• Formal Verification
• Operating Systems
• Hardware-Software Co-Design
• +۳ مورد دیگر

Dr. David Cock is a Senior Lecturer and Senior Researcher at ETH Zürich's Department of Computer Science, affiliated with the Systems Group. He holds a PhD from UNSW (2014) and a B.Sc. (hons) from UNSW (2004). His research focuses on formal verification, trustworthy systems, and hardware-software co-design, with notable contributions to projects like Enzian (a CPU/FPGA platform) and seL4 (formally verified kernel). He teaches Advanced Operating Systems and Informal Methods courses. Key achievements include the ACM Software System Award (2022) for seL4 and leadership in projects addressing hardware complexity and security. Research interests include formal methods for hardware modeling (Sockeye project), runtime verification, and mitigating timing channels. His work bridges theoretical foundations with practical systems, emphasizing secure and reliable computing platforms. Projects like Trustworthy BMC aim to enhance baseboard management systems' assurance. Collaborations span academia and industry, with open-source contributions to hardware designs and formal tools. Publications span formal verification, hardware modeling, and secure systems, with recent focus on heterogeneous computing and declarative hardware specifications. Teaching emphasizes practical formal techniques and OS design, leveraging real-world hardware (e.g., Barrelfish). His lab, the Systems Group, explores cutting-edge challenges in systems software and architecture.

Yu Huangمشاهده پروفایل

استادیار

• Software Engineering
• Human-Centered AI
• Human Factors in Programming
• +۵ مورد دیگر

Yu Huang is an Assistant Professor of Computer Science at Vanderbilt University with a secondary appointment in the Department of Teaching and Learning at the Peabody School of Education. She is affiliated with the Institute for Software Integrated Systems, the Frist Center for Autism and Innovation, the Vanderbilt Lab for Immersive AI Translation (VALIANT), and the Vanderbilt LIVE Learning Innovation Incubator. Her research focuses on human-centered AI for software engineering, combining human cognition with machine intelligence to enhance software development processes. Educated at the University of Michigan (PhD, 2021), University of Virginia (MS, 2015), and Harbin Institute of Technology (BS, 2011), her work spans software engineering, human factors, AI, and medical imaging. Key projects include the MIND Lab, studying programmer expertise and cognitive processes, and the HumanAISE workshop on Human-Centered AI for Software Engineering. Huang has received significant recognition, including the 2025 ICPC Vaclav Rajlich Early Career Achievement Award and three ACM SIGSOFT Distinguished Paper Awards. Her research is supported by NSF, GitHub, and Vanderbilt initiatives. She advises numerous graduate and undergraduate students, emphasizing diversity and innovation in programming education.

Siddharth Gargمشاهده پروفایل

دانشیار

• Machine Learning
• Cybersecurity
• Computer Hardware Design
• +۴ مورد دیگر

Siddharth Garg is the Institute Associate Professor of Electrical and Computer Engineering at NYU Tandon School of Engineering, leading the EnSuRe Research Group. He holds a Ph.D. from Carnegie Mellon University (2009) and a B.Tech. from IIT Madras. His research focuses on secure and energy-efficient computing systems, integrating machine learning, cybersecurity, and hardware design. He previously held roles as Assistant Professor at NYU Tandon (2014-2020) and the University of Waterloo (2010-2014). Key affiliations include NYU Center for Cybersecurity (CCS), NYU Wireless, and the Center for Advanced Technology in Telecommunications. His work has been recognized with prestigious awards like the NSF CAREER Award (2015) and inclusion in Popular Science’s 'Brilliant 10' (2016). Notable research includes private inference optimization, secure hardware IP protection, and adversarial machine learning defenses. Publications highlight advancements in zero-knowledge proofs, AI-driven chip design, and mitigating backdoor attacks in neural networks. His grants include funding from NYU Wireless and NSF initiatives like the Chips4All project. The EnSuRe group emphasizes bridging software and hardware design gaps using AI and fostering cybersecurity education.