Study group for Computer Science

Please RSVP ahead of time and bring a government-issued ID for check-in.

Study group for Computer Science.

To develop a group to study some aspect of computer science in depth so that we can help each other learn the topic more deeply. This should be a reoccurring meeting.

I am suggesting the initial format to be along the lines of a standup where we go around and state where we are with our personal study and what we are having problems with. A second round where we can answer any questions from others and or present other useful suggestions or topics we explored. We will see what works for us.
To start with I am suggesting Benjamine Pierce's Software Foundations set of books (https://softwarefoundations.cis.upenn.edu/) for a few reasons. They are freely available, they cover material that is useful to know and is not generally encountered during self study, and, I have take Pierce's software foundations course using a previous edition of these books. Finally, I believe the topics of these books, such as programming languages, type theory, formal specifications and verification to currently be useful as well as being rather future proof.

About the Speaker
Robert Baron: https://www.linkedin.com/in/robert-baron-692379b/
Venue Sponsor:
CIC Cambridge
https://cic.com/about/