Audience: Undergraduate Students
-
CSE Colloquium: Making Systems Secure with Information Flow
Presenter: Andrew Myers, Cornell University Abstract: Modern civilization depends on complex, interconnected software systems that must safeguard trustworthy or private data. We have ever-growing mountains of code yet lack principled ways to build large systems that are secure. What is missing is a way to securely build these systems compositionally: module by module and layer…
-
Job search strategies in a competitive market
Join Dean PK Agarwal for this free, in-person and online event as he provides actionable tips on navigating today’s dynamic job market — from leveraging LinkedIn and digital portfolios to networking effectively and positioning yourself as a must-hire candidate. Ideal for career changers, recent grads, and mid-career professionals. In this session you’ll: Learn proven strategies…
-
CSE Colloquium – Neurosymbolic AI: from research to industry
Presenter: Luis Lamb, Catholic Institute of Technology Abstract: Neurosymbolic AI brings together the statistical nature of machine learning with the formal reasoning capabilities of symbolic AI. It seeks to offer a balanced approach to contemporary AI technologies, by combining the ability to learn from data, with the capacity to reason upon knowledge acquired from an environment.…
-
CSE Colloquium – Flux: Refinement Types for Verified Rust Systems
Presenter: Ranjit Jhala, UCSD Abstract: Rust has risen as a language of choice for new systems code — from OS kernels to hypervisors, firmware and run-times — as it is memory safe and provides the sort of abstractions needed for efficient low-level systems implementation. We present Flux, a refinement type checker for Rust that shows how…
-
When Less is More: Applications of Type-Based Underapproximate Reasoning
Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing, primarily through the development of incorrectness…
-
Top Grad Schools in International Relations
Georgetown SFS, Columbia SIPA, Johns Hopkins SAIS, and Tufts Fletcher will be visiting UCSC! This is a great opportunity for students to hear from all four schools at the same time
-
Stand Out in Your Job Search: Tips from Veeva
Come join Katie Groth, a University Recruiter at Veeva, as she shares valuable insights on how to make your resume, job applications, and interviews stand out. You’ll also have the chance to ask your own questions and get personalized advice on these topics. During the session, Katie will also provide insight into the Engineering Development…
-
Elevator Pitch Competition
Are you ready to showcase your communication and persuasion skills? We’re excited to invite you to our Elevator Pitch Competition! Snacks provided! Deliver a 60-second pitch that wows the judges to compete for amazing prizes! Prizes: $100 Amazon Gift Card and company swag!
-
Celebrate Halloween at the University Center Bistro!
Join us for a special themed menu, served 11:30 a.m. – 2 p.m. Reservations are recommended but not required — save your spot at dining.ucsc.edu/ucen-bistro. You Belong Here: The programs and services described here are open to all, consistent with state and federal law, as well as the University of California’s nondiscrimination policies. Every initiative—whether…
