by John Wickerson on Jun 13, 2022 | Tags: community, mentoring
SIGPLAN-M is SIGPLAN’s international long-term mentoring program. Initiated in late 2020 by Talia Ringer, it now has over 200 mentors and over 300 mentees. Everybody in the community — from aspiring undergraduate to experienced faculty — is welcome to take part either as a mentor or as a mentee (or both). For this edition of People of PL, John Wickerson met three of SIGPLAN-M’s mentors to find out about their experiences.
Read more...
by Talia Ringer on Jan 5, 2021 | Tags: mentoring, SIGPLAN-M
SIGPLAN-M is a new international long-term mentoring program for aspiring and current PL researchers. Get a sense of what it’s about through the stories of one of our fantastic mentors.
Read more...
by John Wickerson on Aug 19, 2020 | Tags: formal verification, functional programming, rust language, separation logic, type systems
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Derek Dreyer, who is Faculty at the Max Planck Institute for Software Systems (MPI-SWS), and Honorarprofessor of Computer Science, Saarland University.
Read more...
by John Wickerson on Jun 18, 2020 | Tags: diversity, functional programming, gradual typing, type systems
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Ron Garcia, who is an Associate Professor at the University of British Columbia.
Read more...
by John Wickerson on Jun 3, 2020 | Tags: computer security, formal verification, quantum computing
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Mike Hicks, who is a Professor in the Department of Computer Science at the University of Maryland, and was former Chair of ACM SIGPLAN.
Read more...
by John Wickerson on May 26, 2020 | Tags: algebra, concurrency, diversity, formal reasoning, NetKAT
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Alexandra Silva, who is a Professor in the Department of Computer Science at UCL.
Read more...