Dean’s Welcome To Our Community Join us in making a shared vision of computer science for everyone a powerful reality.
NDIF at Northeastern: $9 million NSF grant to launch groundbreaking project Khoury College professor David Bau is the lead PI of the groundbreaking National Deep Inference Fabric (NDIF), a revolutionary project aimed at unraveling the mysteries of large-scale AI systems
Northeastern at ACM CHI 2024 In 2024, Khoury researchers showcased a record 28 works at the world's most prestigious human-computer interaction conference. Learn more about their findings and honors.
Published: July 8th, 2024 A Nominal Approach to Probabilistic Separation Logic Citation: John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed , Steven Holtzen. (2024). A Nominal Approach to Probabilistic Separation Logic LICS, 55:1-55:14. https://doi.org/10.1145/3661814.3662135