Delves into the concept of architectural references, emphasizing the importance of drawing inspiration from existing works to create innovative designs.
Explores bug-finding, verification, and the use of learning-aided approaches in program reasoning, showcasing examples like the Heartbleed bug and differential Bayesian reasoning.
Covers fundamental concepts in computer graphics, including rendering, modeling, and animation, aiming to develop practical skills and stimulate interest in the interdisciplinary field.
Covers the basics of parallel programming, including concurrency, forms of parallelism, synchronization, and programming models like PThreads and OpenMP.
