Simon Peyton-Jones (Microsoft Research Cambridge), one of the key people behind the development of Haskell, talks about seeing functional programming go from intellectual revolution to practical reality and the importance of investing in computing education.
Hongseok Yang is a Professor in the School of Computing at KAIST, South Korea. We talk about his work on separation logic, his current interests in probabilistic programming, the connections between PL theory and continuous mathematics, and the meeting that transformed his research.
Thomas Reps, J. Barkley Rosser Professor and Rajiv and Ritu Batra Chair in the Computer Sciences Department at the University of Wisconsin, Madison, is one of the most cited authors in our field and President and Co-Founder of GrammaTech. We talk about his path to research and how success sometimes takes a good deal of patience.
Last Updated: Jul 31, 2019 11:34 AM