Thursday Extra 10/12: Improving software reliability and security

Thursday, October 12, 2017
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817)

Improving the reliability and security of software with formal methods and automated reasoning is presented by Cesare Tinelli from The University of Iowa.

Producing robust, reliable software, which performs its intended function and is less prone to errors and security vulnerabilities, is becoming more and more important as software comes to control increasingly large and critical aspects of modern society. This talk makes a case for using mathematically rigorous approaches based on formal logic to specify the behavior of safety-critical software and verify its correctness. These methods can reduce automatically large classes of program analysis problems to constraint satisfaction problems in some formal logic, and then solve them with the aid of automatic reasoners for that logic. The talk will give a brief overview of this approach and discuss its recent successes and applications in industry, focusing on research done at the University of Iowa in this area.

TUESDAY Extra 10/10: Chat with CS Alumni

TUESDAY, October 10, 2017
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817)

Come meet with Wes Beary '05, Cassie Koomjian '05, Terian Koscik '12, Alex Leach '06, and Ian Young '08, the alumni mentors for CSC 321. They will discuss issues they have encountered as computing professionals and answer questions you have about life after Grinnell.

CS Table 10/10: Debrief from Grace Hopper Celebration

This week’s CS Table will feature a panel of students that attended the Grace Hopper Celebration (GHC) of Women in Computing last week. They will share their experiences at the conference as well as give advice on how to get the most out of your conference experience if you attend such a conference in the future.

View the GHC website for more information on the conference

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00–1:00pm in JRC 224A (inside the Marketplace). Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department (sign in at the JRC front desk).

CS Table 10/3: Tapia 2017 Debrief

This week in CS Table we’ll hear from several Grinnell students who attended the ACM Richard Tapia Celebration of Diversity in Computing two weeks ago in Atlanta. They will be discussing their experiences at the conference and share advice on how to get the most of your time at a computing conference like Tapia. We will also have a broader discussion about why we have a conference like Tapia and its importance for computing.

Brief readings to give you context for the discussion

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00–1:00pm in JRC 224A (inside the Marketplace). Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department (sign in at the JRC front desk).

Thursday Extra 10/5: Graduate study in CS

Thursday, October 5, 2017
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817)

Graduate School in Computer Science

Professors Anya Vostinar, Charlie Curtsinger, Peter-Michael Osera and Titus Klinge will discuss what graduate school in computer science is like, why you might consider it, and how to choose and apply to graduate programs. The panel discussion will include ample time for questions, so come prepared with your own questions.

Thursday Extra 9/21: Off-Campus Study

Thursday, September 21, 2017
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817)

Off-Campus Study for CS Majors: Why, how, and where?

Professor Weinman will lead a discussion about study abroad and how it fits into a CS major and what it can mean for your liberal education. Staff from the Off-Campus Study Office will also be on hand to to help answer your questions. Second-year students should plan to attend if possible, and first-year students are strongly encouraged to attend. All CS students who have studied abroad are also encouraged to attend.

Thursday Extra on 9/14

Thursday, September 14, 2017
4:15 p.m. in Science 3821
Refreshments at 4:00 p.m. in the Computer Science Commons (Science 3817).
Everyone is welcome to attend!

Cauldron: An IDE for modular development of chemical reaction networks will be presented by Prof. Klinge's summer research group: Jong Hoon Bae, Theo Kalfas, Nick Roberson, and Otabek Nazarov.

The chemical reaction network (CRN) model is a prominent molecular programming paradigm. In 2016, Klinge, Lathrop, and Lutz introduced three ways to modularly develop CRNs: I/O CRNs, extension operators, and closed sub-CRNs. I/O CRNs extend the CRN model to allow time-varying input concentrations. Extension operators are used to automatically add functionality to a CRN without affecting the original behavior. A closed sub-CRN encapsulates a behavior within an existing CRN that is self-contained. These new methods naturally support modular CRN design; however, existing tools do not support them. In this talk we introduce Cauldron, an integrated development environment (IDE) for modular CRN development. Cauldron supports I/O CRNs, extension operators, and closed sub-CRNs in addition to common features found in existing CRN tools. For example, users can divide a CRN into independent sub-CRNs, test them separately, and reuse them in other CRNs. Furthermore, users can mark species as inputs and specify them with common elementary functions, by drawing a function, or by connecting them to another CRN. Many commonly used CRNs and extension operators are also included as libraries in Cauldron. (This is joint work with James Lathrop at Iowa State University.)

CS Table 9/12: Machine Ethics

We will discuss the ethical decisions that machines have to make as automation plays a larger role in society, and we will examine some of the ways that machines are already making ethical decisions. We have two readings for the upcoming discussion:

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00–1:00pm in JRC 224A (inside the Marketplace). Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department (sign in at the JRC front desk).

CS Table 9/5: Doxing

Note: we return to our usual conference room in the 2nd floor of the JRC dining hall starting this week (JRC224B)

This week in CS table we’ll be exploring doxing, the public broadcasting of someone's personally identifiable information (PII) publicly, usually through the internet.  Doxing is frequently associated (negatively) with Internet vigilantism and hacktivism, i.e., using PII to harass or extort an individual en mass.  Why do people dox others?  How easy is it to dox someone?  Is there ever a time or place where doxing is an acceptable action?  Think about these questions as you read these selected articles on doxing and protecting your PII on the internet.

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00–1:00pm in JRC 224B (inside the Marketplace). Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department (sign in at the JRC front desk).

CS Table 8/29: Welcome Back!

We begin CS Table with our standard meet-and-greet and discussion of current events in technology and society; there is no reading for this initial meeting. As a reminder, CS Table is the CS department’s lunch discussion group for issues at the intersection technology and society. You don’t need to be a CS major to join the discussion!

The first CS Table of the year will meet at 12:00-1:00pm on August 29 in the Whale Room in the JRC Marketplace. (The Whale Room is the big room in the back of the dining hall.)

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00-1:00pm in the JRC Marketplace. Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department (sign in at the JRC front desk).

Syndicate content