Top Mathematics discussions

NishMath

@quantumcomputingreport.com //
Universities worldwide are engaging in a diverse range of mathematics-related activities, from exploring quantum communication to using origami for hands-on learning. Heriot-Watt University in Edinburgh recently inaugurated a £2.5 million ($3.3 million USD) Optical Ground Station (HOGS) to foster advancements in satellite-based quantum-secure communication. This facility, equipped with a 70-cm precision telescope, aims to conduct quantum key distribution (QKD) experiments with satellites, monitor space debris, and test high-speed optical communications for next-generation networks. The project is a significant step in the UK's ambition to establish a quantum-secure internet, offering a unique platform for industry and academia to collaborate on secure communications across various sectors.

HOGS is connected to Heriot-Watt’s quantum labs via dark fibre, enabling real-time simulation and validation of optical quantum networks. This infrastructure will serve as a valuable R&D platform for secure communications in financial services, healthcare, and critical infrastructure, aiming to mitigate the UK's estimated £27 billion annual cost of cybercrime. The university also intends to expand Scotland’s space economy and workforce through partnerships and STEM programs, emphasizing the educational outreach aspect of the new facility. The Integrated Quantum Networks (IQN) Hub also considers the station part of Heriot-Watt's role as a leader in the development of quantum-secure communications.

Meanwhile, ETH Zürich is promoting practical mathematics through its goMATH funding program, exemplified by the Origami Challenge. ETH students visited schools to introduce origami mathematics in a fun and engaging way, encouraging pupils to create geometric origami artworks from paper without using glue. This initiative aims to make mathematics more accessible and enjoyable for young students. At the TLA+ Community Event in Hamilton, Ontario, discussions revolved around integrating TLA+ into tooling for fuzzers, trace validators, and compilers, emphasizing its evolving role beyond just specifications. Attendees observed that TLA+ is increasingly being used to build bridges from models to real-world applications.

Share: bluesky twitterx--v2 facebook--v1 threads


References :
  • Metadata: Notes from the TLA+ Community Event
  • Quantum Computing Report: Heriot-Watt University Opens £2.5M ($3.3M USD) Quantum Optical Ground Station to Advance Secure Satellite Communications
Classification: