Project Search Options
Enter one or more search options below then click the Search button.
Click on a project's title to view more details.
Dawn Song - Professor, Electrical Engineering and Computer Science
Status: Current Term Now Closed Weekly Hours: 12 or more hours Location: On Campus
Large Language Model (LLM) agents are increasingly deployed in diverse and critical applications, ranging from customer service to decision support systems. As these agents become more integral to various domains, ensuring their safety and trustworthiness is paramount to prevent misuse, unintended behaviors, and to build user confidence. This project focuses...
Engineering, Design & TechnologiesDawn Song - Professor, Electrical Engineering and Computer Science
Status: Current Term Now Closed Weekly Hours: 12 or more hours Location: On Campus
As AI models become more complex, understanding their internal decision-making processes becomes increasingly challenging. This project aims to advance the interpretability of AI systems, making their operations transparent and their decisions explainable to users and developers alike. Areas of focus include: - Explainable AI Techniques: Developing methods such as attention...
Engineering, Design & TechnologiesDawn Song - Professor, Electrical Engineering and Computer Science
Status: Current Term Now Closed Weekly Hours: 12 or more hours Location: On Campus
The intersection of AI and software security presents unique opportunities and challenges. This project focuses on leveraging artificial intelligence to enhance secure code generation and protect software systems from vulnerabilities. Key objectives include: - Secure Code Generation: Developing AI models that can generate code snippets with built-in security best practices...
Engineering, Design & TechnologiesDawn Song - Professor, Electrical Engineering and Computer Science
Status: Current Term Now Closed Weekly Hours: 12 or more hours Location: On Campus
Artificial Intelligence has the potential to revolutionize the field of mathematics by automating theorem proving and assisting in complex mathematical research. This project explores the application of AI techniques to enhance automated reasoning and support mathematicians in their work. Areas of investigation include: - Automated Theorem Proving: Developing AI models that...
Engineering, Design & Technologies