- Видео 173
- Просмотров 4 869
Newton Gateway to Mathematics
Великобритания
Добавлен 23 окт 2023
The Newton Gateway to Mathematics acts as a knowledge intermediary for the mathematical sciences. It is the impact initiative of the Isaac Newton Institute for Mathematical Sciences (INI). Supported by INI and the University of Cambridge, the Newton Gateway to Mathematics reaches out to and engages with the users of mathematics - in industry, business, public sector and other scientific disciplines. It helps to bridge the gap between those engaged in frontier mathematical research and those working in more applied areas, by stimulating the interchange of knowledge and ideas.
Dr. Alex Moylett | Distributed Quantum Computing
Title: Distributed Quantum Computing
Speaker: Dr Alex Moylett (Nu Quantum)
Date: 12th Nov 2024 - 15:40 to 16:15
Event: (OFBW71) Quantum Computing: Applications and Challenges
🔗 Find out more: gateway.newton.ac.uk/event/ofbw71
-------------------
FOLLOW US
🌐| Website: gateway.newton.ac.uk
🐦| Twitter: NewtonGateway
💬| Facebook: newtongateway
🔗| LinkedIn: www.linkedin.com/company/newton-gateway-to-mathematics
🎥| Isaac Newton Institute: www.youtube.com/@isaacnewtoninstitute
ABOUT
The Newton Gateway to Mathematics acts as a knowledge intermediary for the mathematical sciences. It is the impact initiative of the Isaac Newton Institute for Mathematical Sciences (INI). Suppor...
Speaker: Dr Alex Moylett (Nu Quantum)
Date: 12th Nov 2024 - 15:40 to 16:15
Event: (OFBW71) Quantum Computing: Applications and Challenges
🔗 Find out more: gateway.newton.ac.uk/event/ofbw71
-------------------
FOLLOW US
🌐| Website: gateway.newton.ac.uk
🐦| Twitter: NewtonGateway
💬| Facebook: newtongateway
🔗| LinkedIn: www.linkedin.com/company/newton-gateway-to-mathematics
🎥| Isaac Newton Institute: www.youtube.com/@isaacnewtoninstitute
ABOUT
The Newton Gateway to Mathematics acts as a knowledge intermediary for the mathematical sciences. It is the impact initiative of the Isaac Newton Institute for Mathematical Sciences (INI). Suppor...
Просмотров: 3
Видео
Dr. Petros Wallden | Cyber Security in the Era of Quantum Computing
Просмотров 822 часа назад
Title: Cyber Security in the Era of Quantum Computing Speaker: Dr Petros Wallden (Quantum Software Lab, The University of Edinburgh) Date: 12th Nov 2024 - 14:00 to 14:35 Event: (OFBW71) Quantum Computing: Applications and Challenges 🔗 Find out more: gateway.newton.ac.uk/event/ofbw71 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newton...
Dr. Christoph Sunderhauf | Quantum Algorithms and the Data Loading Challenge
Просмотров 1622 часа назад
Title: Quantum Algorithms and the Data Loading Challenge Speaker: Dr Christoph Sunderhauf (Riverlane) Date: 12th Nov 2024 - 12:25 to 13:00 Event: (OFBW71) Quantum Computing: Applications and Challenges 🔗 Find out more: gateway.newton.ac.uk/event/ofbw71 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.linked...
Dr. Charlie Derby | Representing Fermions on Quantum Computers: From Algebra to Circuits
Просмотров 1422 часа назад
Title: Representing Fermions on Quantum Computers: From Algebra to Circuits Speaker: Dr Charlie Derby (Phasecraft) Date: 12th Nov 2024 - 10:10 to 10:45 Event: (OFBW71) Quantum Computing: Applications and Challenges 🔗 Find out more: gateway.newton.ac.uk/event/ofbw71 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedI...
Mr. Zygmunt Lozinski | Post Quantum Cryptography in Networks
Просмотров 922 часа назад
Title: Post Quantum Cryptography in Networks Speaker: Mr Zygmunt Lozinski (IBM Research) Date: 12th Nov 2024 - 10:45 to 11:20 Event: (OFBW71) Quantum Computing: Applications and Challenges 🔗 Find out more: gateway.newton.ac.uk/event/ofbw71 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.linkedin.com/compan...
Prof. Peter Sewell | Big Specification Organisation and Adoption: Successes, Failures, Risks, and...
Просмотров 1612 часов назад
Title: Big Specification Organisation and Adoption: Successes, Failures, Risks, and Enablers Speaker: Professor Peter Sewell (University of Cambridge) Date: 21st Oct 2024 - 16:00 to 16:30 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Fac...
Dr. Andreas Rossberg | Safety First: WebAssembly as a Formally Specified Universal Compute Platform
Просмотров 1012 часов назад
Title: Safety First: WebAssembly as a Formally Specified Universal Compute Platform Speaker: Dr Andreas Rossberg (None / Other) Date: 22nd Oct 2024 - 11:00 to 11:30 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: new...
Dr. Ralf Jung | Using Formal Methods to keep Unsafe Rust in Check
Просмотров 912 часов назад
Title: Using Formal Methods to keep Unsafe Rust in Check Speaker: Dr Ralf Jung (ETH Zurich) Date: 22nd Oct 2024 - 11:30 to 12:00 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.linkedin...
Dr. Matthew Parkinson | Securing Microsoft's Code
Просмотров 2012 часов назад
Title: Securing Microsoft's Code Speaker: Dr Matthew Parkinson (Microsoft (UK)) Date: 22nd Oct 2024 - 10:00 to 10:30 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.linkedin.com/company...
Dr. Ekaterina Komendantskaya | Neural Network Verification as a Programming Language Challenge
Просмотров 3312 часов назад
Title: Neural Network Verification as a Programming Language Challenge Speaker: Dr Ekaterina Komendantskaya (Heriot-Watt University) Date: 22nd Oct 2024 - 9:30 to 10:00 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: facebook.com...
Prof. Byron Cook | Proof at AWS
Просмотров 21212 часов назад
Title: Proof at AWS Speaker: Professor Byron Cook (Amazon) Date: 21st Oct 2024 - 11:45 to 12:15 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.linkedin.com/company/newton-gateway-to-ma...
Dr. June Andronick | seL4: Formally Verified Software Protects Deployed Critical Systems from...
Просмотров 1412 часов назад
Title: seL4: Formally Verified Software Protects Deployed Critical Systems from Cyber Attacks Speaker: Dr June Andronick (Proofcraft) Date: 21st Oct 2024 - 10:15 to 10:45 Event: (OFBW70) Formal Specification and Validation at Scale 🔗 Find out more: gateway.newton.ac.uk/event/ofbw70/programme FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: facebook.c...
Dr. Leonardo de Moura | From Z3 to Lean, Efficient Verification
Просмотров 1214 часов назад
Speaker: Dr Leonardo de Moura (Microsoft (USA)) Date: 19th Jul 2017 - 15:25 to 16:00 Title: From Z3 to Lean, Efficient Verification Event: (OFBW34) Big Proof - Challenges in Industry and Research 🔗 gateway.newton.ac.uk/event/OFBW34 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.linkedin.com/company/newton...
Mr. Michael Tautschnig | Challenges in Analysing Virtualisation Stacks
Просмотров 714 часов назад
Speaker: Mr Michael Tautschnig (Queen Mary University of London) Date: 19th Jul 2017 - 14:00 to 14:35 Title: Challenges in Analysing Virtualisation Stacks Event: (OFBW34) Big Proof - Challenges in Industry and Research 🔗 gateway.newton.ac.uk/event/OFBW34 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: newtongateway 🔗| LinkedIn: www.link...
Prof. Thomas Hales | New Challenges with Large Proofs in the wake of the Formal Proof
Просмотров 6114 часов назад
Speaker: Professor Thomas Hales (University of Pittsburgh) Date: 19th Jul 2017 - 12:15 to 12:50 Title: New Challenges with Large Proofs in the wake of the Formal Proof of the Kepler Conjecture Event: (OFBW34) Big Proof - Challenges in Industry and Research 🔗 gateway.newton.ac.uk/event/OFBW34 FOLLOW US 🌐| Website: gateway.newton.ac.uk 🐦| Twitter: NewtonGateway 💬| Facebook: facebook.c...
Dr. Tom Melham | At-scale Formal Verification for Industrial Semiconductor Designs
Просмотров 1414 часов назад
Dr. Tom Melham | At-scale Formal Verification for Industrial Semiconductor Designs
Dr. Mateja Jamnik | Can Machines Think Like Humans?
Просмотров 2314 часов назад
Dr. Mateja Jamnik | Can Machines Think Like Humans?
Dr. Sofia Guerra | Precision Under Pressure: The Growing Role of Formal Specifications in Shaping...
Просмотров 816 часов назад
Dr. Sofia Guerra | Precision Under Pressure: The Growing Role of Formal Specifications in Shaping...
Prof. Denis Bartolo | Active Hydraulics
Просмотров 64Месяц назад
Prof. Denis Bartolo | Active Hydraulics
Prof. Daniel Goldman | Life at Low Coasting Number
Просмотров 39Месяц назад
Prof. Daniel Goldman | Life at Low Coasting Number
Prof. Eva Kanso | Spontaneous Transitions in Fish Schools
Просмотров 26Месяц назад
Prof. Eva Kanso | Spontaneous Transitions in Fish Schools
Prof. Benno Liebchen | Active Particles Learning Functionalities
Просмотров 14Месяц назад
Prof. Benno Liebchen | Active Particles Learning Functionalities
Dr. Daniel Hodgson | ECFP: At the Interface of Academia and Industry
Просмотров 3Месяц назад
Dr. Daniel Hodgson | ECFP: At the Interface of Academia and Industry
Prof. David Grier | Take It For a Spin: Emergent Activity and Precision Metrology Powered by Sound
Просмотров 9Месяц назад
Prof. David Grier | Take It For a Spin: Emergent Activity and Precision Metrology Powered by Sound
Mr. Paul Clegg | Pushing the Boundaries of Foams and Emulsions
Просмотров 8Месяц назад
Mr. Paul Clegg | Pushing the Boundaries of Foams and Emulsions
Prof. Daeyeon Lee | Effect of Extreme Nanoconfinement on Polymer Dynamics,Thermodynamics &Mechanics
Просмотров 14Месяц назад
Prof. Daeyeon Lee | Effect of Extreme Nanoconfinement on Polymer Dynamics,Thermodynamics &Mechanics
Dr. Patrick Warren | Non-local Colloidal Diffusiophoresis in Crossed Salt Gradients
Просмотров 16Месяц назад
Dr. Patrick Warren | Non-local Colloidal Diffusiophoresis in Crossed Salt Gradients
Prof. René van Roij | Circuits of Microfluidic Memristors: Computing with Aqueous Electrolytes
Просмотров 20Месяц назад
Prof. René van Roij | Circuits of Microfluidic Memristors: Computing with Aqueous Electrolytes
Prof. Monica Olvera de la Cruz | Dynamics of Ions in Confinement
Просмотров 17Месяц назад
Prof. Monica Olvera de la Cruz | Dynamics of Ions in Confinement
Prof. Lyderic Bocquet | Nanofluidics and Fluid Transport on Excitable Surfaces
Просмотров 8Месяц назад
Prof. Lyderic Bocquet | Nanofluidics and Fluid Transport on Excitable Surfaces