https://you.stonybrook.edu/campusannouncements/2026/06/22/june-22-2026/
https://you.stonybrook.edu/campusannouncements/2026/06/22/june-22-2026/
From instant question generation to automated data summaries, learn how to leverage Gemini to simplify your entire Google Forms workflow.
Discover how Gemini can now work in Google Forms. Start by creating a whole Google Form from a prompt. Then, watch the real magic after the data is in: We'll dive into Gemini's ability to analyze and summarize open-ended responses, turning a mountain of feedback into a concise, actionable information. Whether you're gathering student feedback or organizing departmental requests, this session will show you how to let AI do the busy work so you can focus on the results.
In this session, you will:
Learn about a new feature in Gemini that can interact with Google Workspace
Learn how to use Gemini for Google Workspace. We'll move past basic prompts and show you how to use Gemini as an assistant that works with the other parts of Google Workspace from Gmail, Docs, and Calendar.
Register here.Abstract: Formal verification methods in Computer Science strive to prove properties about all possible executions of a system, and are an alternative development approach to testing when correctness is paramount. Traditionally these have been applied to hardware circuits, state-machine protocols, or software source code. Prof. Stanley Bak will discuss his research on extending formal verification approaches to more complex areas including cyber-physical systems and neural networks.
Speaker Bio: Stanley Bak is an assistant professor in the Department of Computer Science at Stony Brook University investigating the verification of autonomy, cyber-physical systems, and neural networks. He received a PhD from the University of Illinois at Urbana-Champaign (UIUC) in 2013, and worked for four years in the Verification and Validation (V&V) group in the Aerospace Systems Directorate at the Air Force Research Laboratory (AFRL). He received the AFOSR Young Investigator Research Program (YIP) award in 2020.