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

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

استادیار

• Programming Systems
• Approximate Computing
• Probabilistic Programming
• +۴ مورد دیگر

Michael Carbin is the Jamieson Career Development Assistant Professor of Electrical Engineering and Computer Science at the Massachusetts Institute of Technology (MIT) and leads the MIT Programming Systems Group. His research focuses on programming systems that address system uncertainty to enhance performance, energy efficiency, and resilience, particularly in environments involving neural networks , approximate computing , and unreliable hardware . His work spans probabilistic programming , quantum computing , and machine learning systems . Articles highlight contributions in pruning neural networks , quantum data structures , and compiler optimization , reflecting trends in deep learning , formal verification , and language-driven systems . Scientific Awards : MIT Frank E. Perkins Award (2020) Sloan Research Fellowship (2020) Facebook Research Award (2019) NSF CAREER Award (2018) Best Paper Awards at OOPSLA (2013, 2014) He has advised numerous graduate students and postdocs including Eric Atkinson, Cambridge Yang, and Charles Yuan, and served on program committees for conferences like POPL, OOPSLA, and ICLR. His group collaborates with institutions such as MIT CSAIL and explores applications in quantum algorithms and probabilistic inference .

• Machine Learning Security
• AI Safety
• Privacy in Machine Learning
• +۴ مورد دیگر

Florian Tramèr is an Assistant Professor in the Department of Computer Science at ETH Zurich, Switzerland, leading research at the intersection of machine learning security, privacy, and AI safety. His work focuses on identifying and mitigating security vulnerabilities in machine learning systems, particularly in large language models and other AI systems. Tramèr's primary research interests include adversarial machine learning, membership inference attacks, privacy-preserving AI, and the security implications of large language models. His work has significantly advanced our understanding of how machine learning models memorize training data, how this memorization creates privacy risks, and how to evaluate the robustness of machine learning systems against various attacks. His recent publications demonstrate a strong focus on practical security challenges in deployed AI systems, including data extraction from language models, adversarial attacks against generative AI, and developing more rigorous evaluation methodologies for machine learning security. Tramèr's research has been published in top venues including ICLR, NeurIPS, ICML, and IEEE Security & Privacy. Tramèr is actively collaborating with leading researchers in the field including Nicholas Carlini, Matthew Jagielski, and Javier Rando, contributing to important initiatives like the International AI Safety Report. His work bridges theoretical security concepts with practical implications for real-world AI deployment.

Nate Fosterمشاهده پروفایل

استاد

• Programming Languages
• Networking
• Databases
• +۵ مورد دیگر

Nate Foster is a Professor of Computer Science at Cornell University and currently serves as the Associate Dean for Research in the Ann S. Bowers College of Computing and Information Science. He is also a Visiting Researcher at Jane Street and served as a Visiting Professor at École Polytechnique Fédérale de Lausanne during the 2023-24 academic year. His research uses ideas from programming languages to solve problems in networking, databases, and security. BA in Computer Science, Williams College (2001) MPhil in History and Philosophy of Science, University of Cambridge (2008, all work completed in 2003) PhD in Computer and Information Science, University of Pennsylvania (2009) Foster's research focuses on developing languages and tools that make it easy for programmers to build secure and reliable systems. His current work centers on the design and implementation of languages and tools for programmable networks, particularly using the P4 language. His past work includes bidirectional languages (also known as 'lenses'), database query languages, data provenance, type systems, mechanized proof, and formal semantics. His research group at Cornell has made significant contributions to network verification, software-defined networking, and formal foundations for programmable data planes. Analysis of Foster's recent publications reveals a strong focus on network verification and programming language foundations for networking. His work consistently applies formal methods to practical networking problems, with a particular emphasis on the NetKAT and P4 languages. Over the past five years, his research has evolved toward more complex network verification techniques, including infinite state verification, active learning of network models, and dependently-typed approaches to network programming. His work bridges theoretical computer science with practical networking systems, making formal methods accessible to network engineers. ACM Fellow (2025) ACM SIGPLAN Robin Milner Award (2023) ACM SIGCOMM Rising Star Award (2018) NSF CAREER Award (2013) Alfred P. Sloan Fellowship (2012) Multiple distinguished paper awards across top conferences including POPL, PLDI, and SIGCOMM Foster has advised numerous PhD and Master's students who have gone on to prominent positions in both industry and academia, with many continuing work in programming languages and networking. He has led multiple significant research grants including an NSF CAREER Award and has been involved in the P4 Language Consortium, serving as Chair of the P4 Language Governing Board. His work has been supported by various organizations including NSF, DARPA, and industry partners like Intel and Jane Street. Foster is also active in the programming languages research community, serving on numerous program committees and as Vice Chair of DARPA's Information Science and Technology (ISAT) study group. Foster leads a vibrant research group at Cornell focused on programming languages for networks, with collaborators from academia and industry. His group has developed several influential tools and frameworks including NetKAT, Petr4, and KATch. They maintain strong connections with the P4 community and work closely with industry partners to ensure their research has practical impact on real-world networking systems.

Jan von Delftمشاهده پروفایل

استاد

• Correlated electron systems
• Quantum impurity models
• Quantum criticality
• +۷ مورد دیگر

Jan von Delft is a Professor (chair) at Ludwig-Maximilians-University (LMU) Munich, working in the Faculty of Physics within the Chair of Theoretical Solid State Physics. His research group consists of postdocs, PhD students, and master's students working on various aspects of strongly correlated electron systems, with physical space located at Theresienstr. 37 (Room A420) in Munich. von Delft's research focuses on correlated electron and spin systems, with particular interest in dynamical and transport properties, quantum impurity models, Hund metals, unconventional superconductors, quantum magnets, and quantum criticality. His methodological expertise includes many-body field theory, parquet formalism (FRG), DMFT, and tensor networks (NRG, DMRG, PEPS, XTRG, etc.). His work bridges theoretical concepts with computational approaches to understand complex quantum phenomena in condensed matter systems. He has developed a distinctive emphasis on real-frequency calculations and numerical methods for studying quantum critical phenomena. Analysis of von Delft's recent publications reveals a strong focus on developing and applying advanced computational methods to study strongly correlated electron systems. His group has made significant contributions to numerical renormalization group techniques, tensor network methods, and the parquet formalism for calculating real-frequency correlation functions. His research shows increasing sophistication in handling quantum criticality, particularly in heavy-fermion systems, and exploring unconventional superconductivity mechanisms. Notably, his group has developed specialized computational libraries like KeldyshQFT to make these advanced methods more accessible to the broader physics community. von Delft actively mentors a substantial research group consisting of one postdoc (Markus Scheb), eleven PhD students (Anxiang Ge, Sasha Kovalska, Mathias Pelz, Marc Ritter, Nepomuk Ritz, Changkai Zhang, Markus Frankenbacher, Felipe Picoli, Simone Fodera, Ming Huang), and two master's students (Ester Pages, Gianluca Grosso). His detailed Style Guide for scientific communication demonstrates his commitment to high-quality research presentation. The group appears well-funded with ongoing research activities spanning theoretical development, computational implementation, and physical interpretation of complex quantum phenomena.

Amadeus Gebauerمشاهده پروفایل

پژوهشگر

• Cardiac mechanics
• Cardiac growth and remodeling
• Computational mechanics
• +۳ مورد دیگر

Amadeus Gebauer is a Researcher at the Chair of Computational Mechanics within the Institute for Computational Mechanics at the Technical University of Munich (TUM), serving as a Research Associate since 2019. His work specializes in computational biomechanics with emphasis on cardiac mechanics modeling, growth and remodeling processes, and multi-physics simulation frameworks. Education: Master of Science (M.Sc.) in Mechanical Engineering, Technical University of Munich, 2019 Research Interests: Gebauer's research centers on cardiac mechanics modeling, including growth and remodeling of cardiac tissue, cardiac active tissue mechanics, and medical image processing. He develops advanced computational methods for parallel and high performance computing, particularly through the 4C multi-physics simulation framework. His work integrates constrained mixture models to simulate organ-scale biological processes, bridging computational mechanics with clinical cardiology applications and focusing on mechanobiological stability in cardiac systems. Publication Trends: Gebauer's publications (2018-2025) demonstrate consistent innovation in computational cardiology, primarily using constrained mixture models to address cardiac growth and remodeling. His recent work introduces adaptive integration techniques for history variables and homogenized modeling approaches, while expanding into software benchmarking for cardiac elastodynamics and gastric motility simulations. These contributions highlight his expertise in developing robust numerical methods for multi-physics biomedical problems, with increasing focus on patient-specific applications and high-performance computing solutions. Teaching and Advising: Gebauer teaches core computational mechanics courses including Finite Elemente and Numerische Festkörpermechanik across multiple semesters. He has supervised diverse student projects ranging from term papers to Master's theses, with notable collaborations including Maximilian Grill's shoulder biomechanics research (2020) and Janina Datz's artery geometry framework development (2021). His advising consistently focuses on cardiac mechanics, computational modeling, and medical device simulation. Research Environment: As part of Professor Wolfgang A. Wall's Institute for Computational Mechanics (LNM) at TUM, Gebauer contributes to a leading research group in computational solid/fluid mechanics. The LNM develops the 4C simulation framework for complex engineering and biomedical challenges, with current emphasis on cardiac growth modeling, multi-physics integration, and high-performance computing applications in personalized medicine.

Hakan Kayalمشاهده پروفایل

استاد

• Nanosatellites
• Space Systems
• Extraterrestrial Missions
• +۳ مورد دیگر

Prof. Dr.-Ing. Hakan Kayal serves as University Professor for Aerospace Engineering at the University of Würzburg, holding the Chair of Computer Science VIII (Space Technology) and chairing the Interdisciplinary Research Center for Extraterrestrial Studies (IFEX). His leadership bridges computer science and space systems engineering within the university's Institute of Computer Science. Research focuses on three synergistic domains: nanosatellite development for extraterrestrial missions (including the SONATE-2 6U platform demonstrating AI-driven onboard processing), scientific investigation of Unidentified Anomalous Phenomena (UAP) through the university's collaboration with the Federal Aviation Office, and spacecraft autonomy systems enabling higher mission independence. Current projects include the NEAlight mission (extended to develop the Apophis Interceptor concept for the 2029 asteroid flyby), VaMEx3-MarsSymphony for Mars exploration, and JMU Space Observatory initiatives. Publication trends reveal strong emphasis on asteroid defense strategies (particularly for Apophis), CubeSat-based UAP detection methodologies, and real-time AI processing in constrained space environments. His team actively engages students through ADS-B tracking, Meteosat App development, and Moon Base 2030 projects, while recent recognition includes co-authoring a landmark UAP review in Progress in Aerospace Sciences with 33 international scientists.

Bernhard J. Bergerمشاهده پروفایل

مدرس

• Software Security
• Static Code Analysis
• Machine Learning
• +۴ مورد دیگر

Bernhard J. Berger is a Lecturer in the Department of Computer Engineering at the Institute of Embedded Systems, Hamburg University of Technology (TUHH). His research focuses on software security, static code analysis, machine learning, optimization, and research data management. He has held significant roles such as Program Committee member for ICPC 2025 and MSR 2025, and has received awards including the Best Reviewer Award (ICPC 2023) and Best Engineering Paper Award (SCAM 2019). His work spans interdisciplinary applications including maritime systems security, GPU-accelerated AI, and evolutionary algorithms. Recent studies emphasize AI-driven security tools (e.g., ML-SAST) and domain-specific language approaches to optimization (EvoAl). He has contributed to over 30 peer-reviewed publications, with notable work in IEEE Transactions on Software Engineering and Science of Computer Programming. Berger collaborates closely with industry through DAAD review committees and serves on artifact evaluation boards for ISSTA and ARES conferences. Education: Doctoral Thesis (2022), Diploma in Computer Science (2007) Key Projects: ArchSec tool suite, Threat Modeling Frameworks, Bauhaus static analysis methodology Lab Affiliation: Embedded Systems Design Group His advisory roles include Deputy of TUHH's Election Verification Committee and Session Chair at IEEE Congress on Evolutionary Computation 2023. Current research trends integrate machine learning with static analysis for automated vulnerability detection, while also exploring explainable AI techniques for neural network optimization.

Alessandro Golkarمشاهده پروفایل

استاد

• Space Systems Engineering
• CubeSat and Nanosatellite Technology
• Satellite Constellations
• +۵ مورد دیگر

Prof. Alessandro Golkar is a Professor at the Technical University of Munich (TUM), leading the Chair of Picosatellites, Nanosatellites, and Satellite Constellations. He joined TUM in September 2022 and previously served as one of the founding faculty members at Skoltech, a Moscow-based graduate research university. His research focuses on advanced space mission concepts, systems engineering for picosatellites, and federated satellite systems. Prior to academia, he held roles at Airbus CTO, contributing to technology roadmapping and planning. His academic background includes expertise in aerospace engineering, systems design, and agile development methodologies for space hardware. Key research areas include CubeSat constellations, distributed satellite systems, and the integration of AI tools like Large Language Models (LLMs) into spacecraft design processes. He has pioneered projects such as the FSSCat mission, winner of the ESA Sentinel Small Satellite Challenge, and has explored applications of additive manufacturing for lunar missions. Prof. Golkar’s awards include the 2021 Karman Fellowship and IEEE Senior Membership (2018). His recent work emphasizes optimizing satellite networks, digital twin implementation, and orbital maneuvering for collision avoidance. He actively contributes to technology roadmapping, focusing on future human landing systems and lunar infrastructure development. Education: Ph.D. in Aerospace Engineering (details not explicitly stated). Grants & Funding: Extensive grants for CubeSat projects, federated systems research, and space technology innovation. Labs/Teams: Leads the Chair’s research group at TUM and collaborates with industry partners like Airbus on advanced mission concepts. His publications span over two decades, addressing topics like constellation design, machine learning in space, and agile processes for hardware development. He advocates for hybrid agile methodologies to bridge traditional systems engineering and modern product development.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Stefanie Muellerمشاهده پروفایل

دانشیار

• Human-Computer Interaction
• Computational Fabrication
• 3D Printing
• +۷ مورد دیگر

Stefanie Mueller is the TIBCO Career Development Associate Professor at MIT's Electrical Engineering and Computer Science Department, with joint affiliation in Mechanical Engineering. She leads the HCI Engineering Group at the Computer Science and Artificial Intelligence Laboratory (CSAIL), focusing on advancing fabrication techniques through hardware/software innovations that enable novel object interactions. Develops computational fabrication methods combining photochromic dyes, lenticular lenses, birefringent materials, and optical illusions Co-chaired ACM CHI 2023 and ACM UIST 2020 program committees Recipients of 9 MIT EECS Best Undergraduate Researcher Awards among mentees Her research spans four key directions: Appearance-changing Objects: Photo-Chromeleon (ACM UIST 2019), Lenticular Objects (ACM UIST 2021), and Polagons (ACM CHI 2023) demonstrate reprogrammable surfaces through advanced materials and optical engineering. Tracking Systems: InfraredTags (ACM CHI 2022) and G-ID (ACM CHI 2020) enable passive object tracking via infrared markers and slicing artifacts. Embedded Sensing: MechSense (ACM CHI 2023) and Sprayable User Interfaces (ACM CHI 2020) integrate sensing capabilities into complex geometries. Curved Surface Prototyping: FlexBoard (ACM CHI 2023) and CurveBoard (ACM CHI 2020) develop specialized tools for non-planar electronics. Her recent publications focus on functionality segmentation (UIST 2023), fluorescent markers (UIST 2023), and machine-knitted haptics (UIST 2023). These works combine machine learning, material science, and interactive design principles to push fabrication boundaries. Scientific recognition includes: 2022 MIT Technology Review Innovators Under 35 2020 Microsoft Research Faculty Fellowship 2020 Alfred P. Sloan Research Fellowship 2019 ACM UIST Best Paper Award 2019 NSF CAREER Award 2018 MIT EECS Outstanding Educator Award 2017 Forbes 30 Under 30 in Science Mentoring 9 PhD students and over 20 master's students, her lab has produced 20+ publications at top HCI conferences. She redesigned MIT's 6.810 Engineering Interactive Technologies course during the pandemic, maintaining hands-on learning through home electronics kits and Slack-based collaboration.

Knut Reinertمشاهده پروفایل

استاد

• Algorithmic Bioinformatics
• Genomic Sequence Analysis
• Proteomics
• +۷ مورد دیگر

Professor Knut Reinert is a leading figure in algorithmic bioinformatics at the Free University of Berlin, where he holds a professorship in the Department of Mathematics and Computer Science. He also maintains a significant affiliation with the Max Planck Institute for Molecular Genetics in Berlin, where he leads the Efficient Algorithms for Omics Data group. His research spans both institutions through the Reinert Lab, which focuses on developing novel computational approaches for biological data analysis. Reinert's educational background includes a Diploma in Computer Science (1994) and a Doctorate (Dr. Ing./Ph.D., 1999, with honors) from the Max-Planck-Institut for Computer Science and Universität des Saarlandes in Saarbrücken. Prior to his professorship, he worked as a computer scientist under Prof. Gene Myers at Celera Genomics in Rockville, USA (1999-2002). His primary research interests center on algorithmic bioinformatics with specific focus on developing novel algorithms and data structures for biomedical mass data analysis. This includes creating mathematical models for genomic sequence analysis and algorithms for mass spectrometry data to detect differential protein expression between normal and diseased samples. His work bridges the gap between computational tool development and practical biological applications, with particular emphasis on NGS and proteomics data. The publications and projects led by Prof. Reinert demonstrate a consistent focus on advancing computational methods in bioinformatics. His research spans genomic sequence analysis, RNA research (particularly long non-coding RNAs), parallel computing applications, and GPU acceleration for biological data processing. The work shows increasing sophistication in handling large-scale biological datasets through innovative algorithmic approaches. Intel® Parallel Computing Center designation for his lab CUDA Research Center status DFG funding of 530 thousand Euros for RNA research de.NBI funding of 2 million Euros BMBF funded projects 'LIVE-DREAM' and 'EssBar' Prof. Reinert leads multiple significant research projects and has established strong collaborations with international partners including Texas A&M, Kings College London, Eberhardt-Karls Universität Tübingen, Robert-Koch-Institute, and various Turkish institutions. His lab receives funding from major organizations including DFG, BMBF, and Intel. The Reinert Lab maintains active teaching responsibilities at FU Berlin, offering courses at BSc, MSc, and PhD levels using both traditional and innovative learning concepts like e-learning and inverted classrooms. The Reinert Lab consists of two interconnected research groups that work closely with experimental biologists and medical researchers to develop practical computational solutions for real-world biological problems. The lab has established itself as a key player in the German and international bioinformatics community through its development of the widely-used SeqAn library and participation in national infrastructure initiatives.

Veronika Eyringمشاهده پروفایل

استاد

• Climate science
• Climate modelling
• Machine learning for climate models
• +۷ مورد دیگر

Veronika Eyring serves as Head of the Earth System Model Evaluation and Analysis Department at the German Aerospace Center (DLR) Institute of Atmospheric Physics and Professor of Climate Modelling at the University of Bremen. She holds dual appointments at these leading institutions, directing cutting-edge research at the intersection of climate science and artificial intelligence. Education: 2008: Habilitation in Environmental Physics at the University of Bremen 1999: PhD in Physics from the University of Bremen 1994: Diploma in Physics from the University of Erlangen Professor Eyring's research program focuses on improving climate models and projections through innovative integration of machine learning techniques and spaceborne Earth observations. Her work spans process-oriented modeling, development of observationally-based performance metrics, and understanding systematic biases in climate models. She has pioneered approaches to weighting model projections based on their performance using machine learning, significantly advancing the field of climate model evaluation. Her research has critical applications across multiple sectors including aeronautics, space research, transportation, and energy systems. Analysis of her recent publications reveals a clear trajectory toward deeper integration of machine learning with traditional climate modeling approaches. Her work has increasingly focused on developing community tools like the Earth System Model Evaluation Tool (ESMValTool) and leading major international initiatives such as the USMILE project (Understanding and Modelling the Earth System with Machine Learning). The publications span climate science, machine learning, Earth system modeling, and remote sensing, with specific emphasis on climate model evaluation, parameterization techniques, and improved climate projections. Scientific Awards: AGU Ambassador Award (2024) TUM Distinguished Affiliated Professor (2024) Gottfried Wilhelm Leibniz Prize (2021) ERC Synergy Grant (2019) Thomson Reuters Highly Cited Researcher (2016-2021) Top female researchers award, Helmholtz-Society (2015) Professor Eyring actively supervises a large research group comprising PhD students working on ML-based sea ice parameterizations, causal model evaluation for air-sea interactions, and machine learning-based detection of droughts in climate projections. She leads the prestigious ERC Synergy Grant USMILE and secured significant funding through the DFG Gottfried Wilhelm Leibniz Prize. Her research group at DLR includes multiple postdocs, research scientists, and software engineers working collaboratively on climate informatics projects. Professor Eyring leads the Earth System Model Evaluation and Analysis Department at DLR, which encompasses research groups focused on CMIP model evaluation, ESMValTool development, and machine learning applications in climate science. She founded and supervises the 'Climate Informatics' Group at the DLR Institute for Data Science in Jena. Her department maintains strong international collaborations, particularly with the National Center for Atmospheric Research (NCAR) in Boulder, Colorado, where she serves as an Affiliate Scientist.

• Recommender Systems
• Machine Learning
• Natural Language Processing
• +۴ مورد دیگر

Julian McAuley is a Professor in the Department of Computer Science and Engineering at the University of California, San Diego's Jacobs School of Engineering. His research spans recommender systems, machine learning, natural language processing, music information retrieval, and multimodal learning. He maintains an active research group with numerous PhD students and postdocs working on cutting-edge AI problems. His research interests focus on developing advanced algorithms for personalized recommendation systems, with particular emphasis on sequential recommendation, multimodal learning, and integrating large language models with traditional recommendation approaches. His work bridges the gap between theoretical machine learning and practical applications across multiple domains including e-commerce, music, and healthcare. McAuley has published extensively in top-tier conferences including NeurIPS, ICML, KDD, SIGIR, and ACL, with his most recent work exploring the intersection of large language models and recommendation systems. His publications reveal a strong trend toward multimodal approaches that combine text, vision, and audio for more comprehensive understanding and recommendation. He has received significant research funding from major technology companies including Google, Amazon, Facebook, Adobe, and Samsung, as well as government agencies like the National Science Foundation and Department of Defense. His work has practical applications across multiple industries, with a focus on improving user experience through better personalization. McAuley advises numerous PhD students who have gone on to successful careers at leading technology companies and academic institutions. His former students include Wang-Cheng Kang and Jianmo Ni at Google DeepMind, Chris Donahue and Zachary Lipton as assistant professors at CMU, and Ruining He at Google Deepmind.

Toby Jia-Jun Liمشاهده پروفایل

استادیار

• Human-Computer Interaction
• Artificial Intelligence
• Machine Learning
• +۶ مورد دیگر

Toby Jia-Jun Li is an Assistant Professor in the Department of Computer Science and Engineering at the University of Notre Dame, where he leads the SaNDwich Lab. He also serves as the Director of the Human-Centered Responsible AI Lab in the Lucy Family Institute for Data & Society and is a Faculty Fellow at the Institute for Educational Initiatives (IEI). Previously, he was affiliated with Carnegie Mellon University's Human-Computer Interaction Institute (HCII) and GroupLens Research. Dr. Li's research spans the intersection of Human-Computer Interaction (HCI), End-User Software Engineering, Machine Learning (ML), and Natural Language Processing (NLP), with recent work focusing on addressing societal challenges in the future of work through human-AI collaborative approaches. His work has resulted in over 40 publications at premier venues including CHI, UIST, CSCW, ACL, and ICSE, with 8 papers winning Best Paper or Honorable Mention awards. His recent publications demonstrate a strong focus on human-AI collaboration across various domains, including code understanding, privacy, accessibility, and creative tools. The work shows a trajectory toward increasingly sophisticated integration of human-centered design with AI capabilities, particularly using large language models to enhance human productivity and address societal challenges. Google Research Scholar Award recipient Recipient of Yahoo! Fellowship ($100,000/year) Best Paper Award at UIST 2020 Best Paper Honorable Mention Award at CHI 2021 Best Paper Award at CSCW 2024 Best Paper Award at CHI 2025 Dr. Li actively mentors Ph.D. students and has established collaborations with Google, Microsoft Research, IBM Research, Adobe, Verizon, and J.P. Morgan. His research has been supported by NSF, Google Research Scholar Program, AnalytiXIN Initiative, Yahoo! InMind project, and J.P. Morgan. He is currently recruiting Ph.D. students and undergraduate researchers for his SaNDwich Lab, which focuses on developing interactive systems to empower individuals to create, configure, and extend AI-powered computing systems.

• Embedded Security
• Cryptography
• Hardware Security
• +۵ مورد دیگر

Christof Paar is a Professor of Embedded Security at Ruhr University Bochum's Faculty of Computer Science. His work focuses on hardware security, cryptography, and embedded systems security. He leads the Embedded Security Group within the CASE Cluster of Excellence (Cyber Security in the Age of Large-Scale Attacks), addressing cutting-edge challenges in hardware Trojans, side-channel attacks, and cryptographic engineering. His research spans FPGA and IoT security, with contributions to physical-layer security, wireless jamming defenses, and tamper-resistant systems. Research Interests: Paar's expertise lies in hardware-software co-design for security, with a focus on embedded systems. His work includes analyzing vulnerabilities in FPGAs, developing countermeasures against side-channel attacks, and exploring physical-layer security mechanisms. He also investigates the human factors in hardware reverse engineering and the implications of adversarial machine learning on security systems. Notable Work: Recent publications highlight breakthroughs in detecting hardware Trojans across CMOS generations, breaking industry-standard IP protection mechanisms (IEEE 1735), and proposing novel defenses like IRShield against adversarial wireless sensing. His group actively contributes to standards for secure embedded systems and IoT devices, emphasizing practical implementations.