## Computer Science Talks and Events

#### Monday, December 2, 2019

#### Postponed until Spring semester New date TBA

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Rik Sengupta, University of Massachusetts Amherst

#### Formal Languages, Binary Trees and Graph Coloring

Abstract: For well over a century, the Four Color Theorem -- the simple statement that any map can be colored with at most four colors without adjacent regions sharing a color -- was one of the most famous unsolved problems in mathematics. Its proof in the last fifty years has been a source of immense contention in the mathematical community, since even the most elegant version of the proof is largely computer-assisted and in essence a reduction of an intractable problem to a very large but finite number of computer-checkable cases. In particular, for an elegantly formulated problem, it has so far resisted all efforts to find an equally elegant proof, one that theorists believe *should* exist. In recent years there has been a concerted effort to find such a combinatorial proof of the Four Color Theorem using an incredible equivalence proved by Kauffman in 1990 between the theorem and a language theoretic problem about labeling binary trees. In this talk, I will summarize the equivalence and show some recent results about a powerful technique that comes out of the approach, involving rotations on binary trees. If time permits, I will also show an interesting implication this technique has towards solving a class of information-theoretic puzzles about prisoners and colored hats. Much of this is joint Work with Alex Csar and Warut Suksompong.

Bio: Rik Sengupta is a Ph.D. student in theoretical computer science at UMass-Amherst, working under Neil Immerman. He has an AB in Mathematics from Princeton University, and an MS in Mathematics from MIT, where he worked on structure theoretic problems on graphs. His current interests lie at the intersection of descriptive complexity and graph theory.

### Monday, November 18, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Conrad Kuklinsky ‘21 & Matteo Riondato

*Learning intersections of halfspaces: novel VC-dimension bounds *

Abstract: A key question in machine learning research is understanding the trade-off between the size of the training set and the accuracy of the classification function learned by the algorithm. This trade-off can be fully characterized by a single quantity: the VC-dimension of the family of functions that the algorithm may learn. Beautifully combinatorial in nature, the VC-dimension is elusive to compute exactly, but upper bounds to it are sufficient to understand the trade-off. In this talk, we report on our recent results on improved upper bounds to the VC-dimension of intersections of half-spaces in high dimensions, a very popular class of functions. We show a novel connection with convex polytopes and with planar graphs. All the terms and results will be explained without assuming any specific background in the audience.

### Monday, November 4, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Lee Spector, Amherst College

*Evolutionary Computation *

In the same 1950 article in which Alan Turing described his "imitation game" test for artificial intelligence, he also described ways in which ideas from evolutionary biology might help us to develop AI. It took time for these ideas to be refined, and it took advances in computing infrastructure for them to bear fruit, but now "evolutionary computation" methods are solving scientific and engineering problems that are beyond the reach of other forms of AI.

In this talk, I will introduce the general concepts of evolutionary computation and illustrate some of its applications. I will also describe a contribution to the field that my students and I have recently made, demonstrating that the speed and success of adaptation can be boosted by using random sequences of challenges, rather than overall performance, as the basis for parent selection in evolving populations. This approach increases the problem-solving power of evolutionary computation, and it also raises broader questions about the role of specialists in communities and in evolution.

Bio: Lee Spector is a Visiting Professor of Computer Science at Amherst College, a Professor of Computer Science at Hampshire College, and an Adjunct Professor in the College of Information and Computer Sciences at the University of Massachusetts, Amherst. He received a B.A. in Philosophy from Oberlin College, a Ph.D. in Computer Science from the University of Maryland, College Park, and the highest honor bestowed by the National Science Foundation for excellence in both teaching and research, the NSF Director's Award for Distinguished Teaching Scholars. His areas of teaching and research include evolutionary computation, quantum computation, and intersections of computer science, cognitive science, and the arts. He is the Editor-in-Chief of the journal Genetic Programming and Evolvable Machines (published by Springer).

### Monday, October 28, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Deby Katz, Carnegie Mellon University

*Ensuring Software Quality in Complex Settings *

Abstract: Software runs many things in our lives and our society. It's important that software running vital systems works as intended, but ensuring that software works as intended can be a surprisingly difficult task. In this talk, I'll introduce some of the techniques that software researchers and professionals use to ensure software quality. I'll also examine some well-known software failures: why they happened and how they were missed. I'll discuss some of my work, including work with finding bugs in robotics and autonomous vehicle software.

Bio: Deby Katz is a senior Ph.D. student in Carnegie Mellon University's Computer Science Department working with Professor Claire Le Goues on the applications of low-level analysis in software engineering. I also collaborate with Professor Philip Koopman and roboticists on robotics applications for software quality techniques. My research interests include applying dynamic binary instrumentation to software testing and automated bug repair; using low-level software engineering techniques in the domains of robotics and autonomous vehicles; and new approaches to decompilation.

I graduated from Amherst College in 2004, majoring in Computer Science. I graduated from New York University School of Law in 2007, with a J.D. I worked for several years as an intellectual property litigator in New York before returning to computer science.

I am a world traveler, having visited all seven continents. I enjoy theater, knitting, and cooking.

### Monday, October 21, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Emily Griffen, Loeb Center for Career Exploration and Planning, Amherst College

*Preparing for Careers in Technology with the Loeb Center*

Abstract: The field of technology is growing and changing every day, meaning career opportunities are plentiful, but sometimes hard to navigate. How do you translate your academic computer science work into a resume that tech recruiters will respond to? What are the best sources for internships and jobs? How do you prepare for a coding interview? What kind of roles are there beyond software engineering? Emily Griffen, director of the Loeb Center for Career Exploration and Planning, will answer these questions and more and give you concrete action items and resources to help you tackle the career development process in this field. This talk will be especially helpful for interested first-year students and newly declared CS majors.

### Monday, September 30, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Daniela Hurtado Lange, Georgia Tech

*Optimal resource allocation in data center networks: Drift method and transform techniques*

**Abstract**: Several queueing networks arise from cloud computing, such as load balancing systems, ad hoc wireless networks, input-queued switches, etc. However, analyzing them in a general setting can be intractable. Therefore, we analyze queueing asymptotics to get insights about their behavior. In this talk, I present heavy-traffic analysis in the context of different queueing systems using the Drift method. In particular, I will show how it can be used to compute the distribution of queue lengths in systems that satisfy the Complete Resource Pooling condition and its limitations to analyze queueing systems that do not satisfy such conditions.

**Bio**: Daniela is a 3rd year Ph.D. student at Georgia Tech, working with Prof. Siva Theja Maguluri. Her interests are in queueing theory and applied probability.

### Monday, September 23, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Tina Eliassi-Rad, Network Science Institute, Northeastern University

*Just Machine Learning*

### Monday, September 16, 2019

3:30 pm in Science Center A131 with refreshments in C209 at 3:00 pm

#### Scott Alfeld

#### Amherst College

*Undergraduate Research in Adversarial Learning*

**Abstract: **With the growing use of data in decision-making systems, new security vulnerabilities have arisen. Attacks (whether propaganda campaigns orchestrated through social model, corporations “cooking the books” to manipulate prices, or glasses frames that trick facial recognition software) are having an ever-increasing effect on our world. In this talk, I’ll present a broad introduction to the field of Adversarial Learning — the study of using machine learning when the input data may be corrupted by an attacker. We’ll get our hands dirty constructing various data manipulation attacks against simplified models. I’ll then cover some of my recent work with students ranging from detecting and classifying fake news online to preventing the manipulation of stock prices to injecting Trojan horses into the computer chip design process.

**Bio: **Scott Alfeld is an Assistant Professor of Computer Science at Amherst College. His research is at the intersection of machine learning and security, centered on using data analysis techniques in the presence of intelligent adversaries. More broadly, his work focuses on performing statistical inference when the source of data is a diverse set of (potentially adversarial) agents or sensors with unknown relationships to one another. Outside of academia, Scott is a wildlife and astronomy enthusiast and volunteers as a locksport instructor.

Computer Science department events are added to this space as they are scheduled.

*Check back often! *

Attachment | Size |
---|---|

Preparing for Careers in Technology with the Loeb Center | 43.33 KB |