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
| 28 Jul 2026; - 12:00PM - 01:30PM Cognitive Memory Mechanisms for Understanding and Improving Large Language Models |
| 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 |







