Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.
Delves into Dr. Sani Nassif's transition from circuit design to cancer research, highlighting challenges in radiation therapy and the future of treatment.
Presents the Master's program in Sustainable Management and Technology, focusing on training leaders to address global sustainability challenges through interdisciplinary education and practical experiences.