Thursday Extras

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.

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 8/31

Thursday, August 31, 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!

Non-Compete and Non-Disclosure Agreements: What Students Need to Know Before Signing Employment Agreements

Many companies, particularly in technology fields, require student interns and new full-time employees to sign employment agreements. While these agreements typically cover items such as start date, salary, title, and benefits, they also may include clauses that could have long-range serious impacts on the employee's future career choices. Julie Foster will introduce students to these clauses, what they should be aware of, and questions they should ask prior to signing such agreements. Ms. Foster is Assistant Dean and Executive Director of Career Communities at Grinnell College's Center for Careers, Life, and Service.

Thursday Extra: "Exploring Algorithms with Design and Analysis Techniques"

On Thursday, May 11, students from this semester's “Analysis of Algorithms” will describe and analyze two algorithms with real-world applications.

Two problems will be addressed: “Worst Case Performance Analysis of Machine Learning Robustness” (Anna Blinderman and Reilly Grant), and “Formalizing Mimble-Wimble: Scaling Bitcoin” (three presenters who wish to remain anonymous). Both of these problems pose interesting design questions when considered from a theoretical rather than implementation standpoint. The presenters will describe their work in progress and encourage formative assessment from the audience.

At 4:00 p.m., refreshments will be served in the Computer Science Commons, Noyce 3817. The presentation, “Exploring Algorithms with Design and Analysis Techniques,” will follow at 4:15 p.m. in Noyce 3821. Everyone is welcome to attend!

Thursday Extra 5/4: Inclusion in CS

Who: CS students, CS faculty, and guest speakers
What: Discussion of inclusion in CS
Where: Science 2022
When: 4:15 p.m., Thursday, May 4, 2017 (Refreshments served beforehand in the same room)
Why: To address important issues
Direct questions or comments to Professor Rebelsky.

Thursday Extra 4/27: Project Gadfly

Thursday, April 27, 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!

Project Gadfly: Students and Alums Coding for Social Good

Over spring break, six mentors and eight Grinnell students created Project Gadfly, a system designed to help U.S. residents contact their elected representatives. With Gadfly, users can create sample call scripts and share them with friends using QR codes. Anyone who sees these codes can scan them with the app and have the script and a button to call their representatives at their fingertips. The students created a web client, two native app clients, a database, a server, an API, and an Iowa non-profit in 12 days, balancing security and design decisions with rapid development. Students who worked on Project Gadfly will discuss both the design of the system and what it was like to work with mentors on a rapid-learning, rapid-development project.

Thursday Extra 4/20: Résumé Review Session

Thursday, April 20, 2017
4:15 p.m. in Science 3821

  • Do you want to know how to talk about your 151 final project on your résumé?
  • Do you want to know how to write about your upcoming summer experience on your résumé?
  • Does your 3-year-old résumé need some pizzazz?
This Thursday Extra will be a résumé peer-review session. Students of all years are welcome to share feedback with one another about their résumés. We have also asked some CS professors and alumni to join in and share their wisdom during the session. Please bring 5 copies of your résumé to share if you want respectful and meaningful feedback from other participants.

One of the alums who will be joining us wrote a great article targeted at seniors and recent grads that might be helpful to some of you: Your Career is a Startup: What every recent grad needs to know.

Thursday Extra 4/13: CS Outreach in Grinnell and Central Iowa

Thursday, April 13, 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!

Computer Science Outreach in Grinnell and Central Iowa
Ursula Wolz, Noyce Visiting Professor

Please come and learn how YOU can volunteer to bring computer science into the K-12 curriculum during the remainder of the semester and in the coming years. Through the Noyce Professorship, the College has established good relations with Grinnell's public library, middle school, and high school, for both the curriculum and after school activities. Community leaders and Grinnell College students have encouraged collaboration for years, but developing and sustaining this relationship has been challenging. Come and learn how you can contribute to both short-term needs and long-term goals.

Syndicate content