Department of Computer Science
We are committed to fostering a safe environment while upholding the principles of academic freedom and free expression of our community.
Upcoming Events
| 29 Jul 2026; - 10:00AM - 12:00PM Extending established memory recall theories and findings beyond the laboratory |
| 29 Jul 2026; - 10:30AM - 12:00PM Practical Formal Methods for the Linux eBPF Verifier: Scalable Verification and Witness Generation |
| 12 Aug 2026; - 01:00PM - 03:00PM Learning to See, Generate, and Act for Scalable Robotic Manipulation |







