Courses

Watch a 26-minute conference presentation from POPL 2018 exploring the development of Optician, an innovative tool for synthesizing bidirectional string transformers. Learn how the researchers tackle the challenge of automatically generating bijective lenses between different data formats using type-directed synthesis and concrete examples. Discover how the team revolutionized the synthesis process by creating a specialized lens language that maintains computational power while dramatically improving efficiency. Follow along as the speakers demonstrate Optician's practical applications through 39 benchmark examples, including real-world scenarios from Flash Fill and Augeas. Understand the technical breakthrough of navigating complex program search spaces involving regular expression theory and type systems to generate well-typed Boomerang programs that handle serialization, parsing, database views, and data conversion tasks.

How do we see the world? How do we see details at different viewing distances? How do we see in three dimensions? How do we see colour? How can we avoid getting cataracts or prevent short-sightedness? This course will help you develop your understanding of vision, how visual functions relate to your daily life, and how you can better take care of your eyes. Spanning six modules, the course begins with a detailed look at the structures and functions of the eye. It then moves on to explore critical issues such as the limits of the eye’s resolution, depth perception and colour vision, before examining the impact of common eye problems on daily life and outlining strategies for improving eye health. Engage with content and fellow learners through videos, animations, hands-on experiments and forum discussions, and check your understanding through quizzes and a short assignment at the end of each module. Learners who pursue the verified track gain access to a complete 3D eye model , virtual labs , live online sessions and personalised instructor feedback on each assignment. This course is designed for anyone in the general public with an interest in eye care or ocular health. It is a perfect introduction for aspiring eye care professionals, including optometrists, ophthalmologists, ophthalmic technicians and opticians.