Past events

The Inventing Tomorrow Tour Series is your golden ticket to a behind-the-scenes peek into the University of Minnesota College of Science and Engineering's most prestigious labs. Join us to experience how CSE’s unique intersection of science and engineering is creating the possibilities of tomorrow every day here on campus.

This immersive tour of the Gemini-Huntley Robotics Research Laboratory, a state-of-the-art research lab at the forefront of robotics discoveries, will showcase cutting-edge projects hosted by the faculty and students who are designing them. Experience what’s possible when science and engineering combine with innovation and imagination to design and create our future.
 

The computer science colloquium takes place on Mondays from 11:15 a.m. - 12:15 p.m.

This week's talk is a part of the Cray Distinguished Speaker Series. This series was established in 1981 by an endowment from Cray Research and brings distinguished visitors to the Department of Computer Science & Engineering every year.

This week's speaker, Elisa Bertino (Purdue University), will be giving a talk titled "Security of Cellular networks".

Abstract

As the world moves to 5G cellular networks and next-generation is being envisioned , security and privacy are of paramount importance and new tools are needed to ensure them. In the talk, after discussing motivating trends in wireless communications, we present LTEInspector a model-based testing approach for cellular network protocols. LTEInspector combines a symbolic model checker and a cryptographic protocol verifier in the symbolic attacker model. Using it, we have uncovered 10 new attacks along with 9 prior attacks, categorized into three abstract classes (i.e., security, user privacy, and disruption of service), in three procedures of 4G LTE. Notable among the findings is the authentication relay attack that enables an adversary to spoof the location of a legitimate user to the core network without possessing appropriate credentials. To ensure that the exposed attacks pose real threats and are indeed realizable in practice, 8 of the 10 new attacks have been validated and their accompanying adversarial assumptions have been put through a real testbed. We then overview on-going research projects.

Bio

Elisa Bertino is Samuel Conte professor of Computer Science at Purdue University. She serves as Director of the Purdue Cyberspace Security Lab (Cyber2Slab). Prior to joining Purdue, she was a professor and department head at the Department of Computer Science and Communication of the University of Milan. She has been a visiting researcher at the IBM Research Laboratory in San Jose (now Almaden), at Rutgers University, at Telcordia Technologies. She has also held visiting professor positions at the Singapore National University and the Singapore Management University.  Her main research interests include security, privacy, database systems, distributed systems, and sensor networks. Her recent research focuses on cybersecurity and privacy of cellular networks and IoT systems, and on edge analytics for cybersecurity.  Elisa Bertino is a Fellow member of  IEEE, ACM, and AAAS. She received the 2002 IEEE Computer Society Technical Achievement Award for “For outstanding contributions to database systems and database security and advanced data management systems”, the 2005 IEEE Computer Society Tsutomu Kanai Award for “Pioneering and innovative research contributions to secure distributed systems”, and the 2019-2020 ACM Athena Lecturer Award.

The computer science colloquium takes place on Mondays from 11:15 a.m. - 12:15 p.m. 

This week's speaker, Sanjai Rayadurgam (CS&E), will be giving a talk titled "Testing Techniques for Learning Enabled Systems".

Abstract

Machine Learning enabled systems are being increasingly adopted in diverse domains where safety, security and reliability are critical concerns.  The ML techniques enabling these novel applications are typically data-driven and come with inherent risks that make system behavior difficult to predict and reason about. Thus, verification and validation of these systems pose challenges that are not easily addressed by established methods for "traditional" software driven systems. Specifically in the context of systems that require a high degree of assurance, such as autonomous flight, self-driving vehicles and medical devices, new ML specific assurance techniques grounded in well-established V&V principles are needed. In this talk, we will cover some recent and ongoing work on testing techniques for learning enabled systems by our research group.  We will also briefly review an overall assurance framework for such systems and see where the proposed techniques fit. 

Bio

Sanjai Rayadurgam is a Research Project Specialist in the Department of Computer Science and Engineering, and is the Director of the University of Minnesota Software Engineering Center. His research interests are in software testing, formal analysis and requirements engineering, with particular focus on application to high-assurance systems. Prior to his academic career he worked in the medical devices industry, developing systems engineering tools, and performing verification and validation of implantable cardiac devices. As part of his doctoral research at the University of Minnesota he developed techniques to create test cases meeting stringent test coverage criteria automatically from software behavioral models. He has co-authored several research papers and articles in software engineering.
 

The computer science colloquium takes place on Mondays from 11:15 a.m. - 12:15 p.m. More details about the fall 2022 series will be provided at the beginning of the semester. 

RSVP today!.

During each session, the graduate staff will review:

• Requirements (general)
• Applying
• Prerequisite requirements
• What makes a strong applicant
• Funding
• Resources
• Common questions
• Questions from attendees

Students considering the following programs should attend:

• Computer Science M.S.
• Computer Science M.C.S.
• Computer Science Ph.D.
• Data Science M.S.
• Data Science Post-Baccalaureate Certificate
  
   

The University of Minnesota will be closed in observance of Memorial Day.

View the full schedule of University holidays.
 

The application deadline for the computer science and data science majors is May 25.

Students typically apply to a major while enrolled in fall semester courses during their sophomore year (third semester).

Submit your application at the appropriate link below:

• CSE student application (Computer Science B.S. & Data Science B.S. programs)
• CLA student application (Computer Science B.A. programs)

All applicants will be notified of their admission decision via email within three weeks of the application deadline.
 

Visit CSE Undergraduate Commencement Ceremony for more information!

RSVP Link

In addition to celebrating you at the 2022 commencements in CLA and CSE, our department will be hosting a department-specific graduation event to celebrate our graduating students, and you are invited! This event will be held on Thursday, May 12th, from 9:00 am -  11:00 am (remarks from the department will begin at 10:00) at the University of Minnesota Recreation and Wellness Center in the Beacon Room on the second floor.

Please RSVP for this event if you graduated recently, or you will graduate soon. Even if you are not able or planning to attend the event, you are still welcome to submit the RSVP form as a graduating student.

Caps and gowns are optional for our departmental event. However, we recommend dressing professionally if you plan on attending without a cap and gown. Masking is strongly recommended for the event but is no longer required. Light food and refreshments will be provided.

Other helpful links:

CLA Commencement Information

CSE Commencement Information

UMN Bookstore Graduation Link

International Student: Inviting Family

The last day of the spring 2022 semester is Wednesday, May 11.

View the full academic schedule on One Stop.