Special Topics Course

This course is a graduate-level introduction to automated reasoning techniques and their application in tools for the design, analysis, and construction of software. In the first half of the course, we will survey the logical foundations and algorithms behind SAT solvers and SMT solvers. In the second half of the course, we will apply these techniques to automatic bug finding, program verification, and program synthesis. As a student in this course, you will learn how solvers work, and how to use them to build cool programming tools. 

The course covers all aspects of blockchains and cryptocurrencies with a slight focus on security, including distributed consensus, smart contracts, economics, scalability, and applications. We will focus on the Ethereum ecosystem as the case study.

We will cover cutting-edge research topics in quantum information and modern quantum cryptography, including unclonable cryptography, notions of quantum pseudorandomness, post-quantum cryptography, and protocols. Background in quantum information and cryptography will be assumed. 

The course is about cutting edge techniques in machine learning and cybersecurity. We will introduce various deep learning methods that are widely used in security applications, including multilayer perceptron, recurrent neural networks, and transformers. We will also discuss the trustworthiness issue of these methods, including explainability and adversarial robustness. 
 

After over 30 years of research and engineering in controllable quantum devices, we are at the cusp of discovering the first real-world applications for quantum computing systems. A critical element that connects high-level applications to low-level quantum system designs is quantum control and metrology.

Real world tasks such as assembly, repair, or surgery, often require the simultaneous use of both hands. In these scenarios, one hand is used to grasp a tool like a screwdriver or a scalpel, while the other hand is engaged in manipulating the object being worked on. Creating one-handed interfaces for users engaged in physical tasks that involve tools or objects presents several challenges. Learning how do to these tasks with an AI-based task assistant in AR/VR requires the ability to not only perform the task but engage with the AR/VR interface simultaneously.

This course provides an introduction to digital audio through the lens of the software used by the Allosphere Research Group at UC Santa Barbara. We will learn the basics of music synthesis (e.g.

This course will cover topics in two areas under privacy-preserving computing: a) federated or privacy-preserving

(no description available) 

This is a graduate-level research course on Conversational AI.  Over the duration of this course, we will delve into the latest publications within the expansive domain of Large Language Models (LLMs) and Conversational AI.