On Wednesday, October 30, Bush House hosted “Tech-Talk,” an event organized to connect informatics students with industry insights and career opportunities in the field of Formal Verification. Featuring presentations by Apple experts, the event aimed to bridge the gap between academia and industry, offering students hands-on knowledge that aligns with real-world demands.  Event Highlights  The… More Apple & KCL Tech-Talk at Bush House: Empowering Informatics Students with Career-Boosting Insights on Formal Verification