Alex Lew is an Assistant Professor of Computer Science at Yale. His research aims to automate and scale up principled probabilistic reasoning, drawing on techniques from programming languages, machine ...

Abstract: Several essential services, such as cellular phones, the Internet, television, navigation, weather prediction, and remote sensing, rely on satellites in low-Earth orbits, the technology for ...