Put @greenparty.org.uk Trade Union Liaison hat on today to show solidarity with striking workers from @ucu.org.uk @unitetheunion.bsky.social and @unison.org.uk at Imperial College London.
#imperialcollegelondon #Strike
Info - www.ucu.org.uk/article/1421...
#imperialcollegelondon #Strike
Info - www.ucu.org.uk/article/1421...
October 8, 2025 at 3:45 PM
Put @greenparty.org.uk Trade Union Liaison hat on today to show solidarity with striking workers from @ucu.org.uk @unitetheunion.bsky.social and @unison.org.uk at Imperial College London.
#imperialcollegelondon #Strike
Info - www.ucu.org.uk/article/1421...
#imperialcollegelondon #Strike
Info - www.ucu.org.uk/article/1421...
Imperial College London funded a 5 year grant to get Fermat's Last Theorem into the Lean language. It was to go from October 2024-2029.
Anthropic landed it today.
github.com/ImperialColl...
Anthropic landed it today.
github.com/ImperialColl...
September 4, 2026 at 7:56 PM
Imperial College London funded a 5 year grant to get Fermat's Last Theorem into the Lean language. It was to go from October 2024-2029.
Anthropic landed it today.
github.com/ImperialColl...
Anthropic landed it today.
github.com/ImperialColl...
here is a github repository (!) of the ongoing formalization of the proof of Fermat's Last Theorem. it will take many years but eventually this will compile without a `sorry`:
example (a b c n : ℕ) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) := by
sorry
i think that’s cool
example (a b c n : ℕ) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) := by
sorry
i think that’s cool
GitHub - ImperialCollegeLondon/FLT: Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Ongoing Lean formalisation of the proof of Fermat's Last Theorem - ImperialCollegeLondon/FLT
github.com
February 19, 2025 at 11:59 PM
here is a github repository (!) of the ongoing formalization of the proof of Fermat's Last Theorem. it will take many years but eventually this will compile without a `sorry`:
example (a b c n : ℕ) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) := by
sorry
i think that’s cool
example (a b c n : ℕ) : (a + 1) ^ (n + 3) + (b + 1) ^ (n + 3) ≠ (c + 1) ^ (n + 3) := by
sorry
i think that’s cool
Hello, BlueSky!🌟 I'm a PI at #ImperialCollegeLondon, specializing in #cellmimicry. My group works on bottom-up #syntheticbiology, designing #biomimetic systems at the micro and nanoscale to mimic biological properties for insights into life-processes and biotechnological applications.
December 6, 2024 at 8:27 AM
Hello, BlueSky!🌟 I'm a PI at #ImperialCollegeLondon, specializing in #cellmimicry. My group works on bottom-up #syntheticbiology, designing #biomimetic systems at the micro and nanoscale to mimic biological properties for insights into life-processes and biotechnological applications.
Yesterday, I sampled #macroinvertebrates in the ponds in the #NHM gardens with students from #ImperialCollegeLondon We found several Water Scorpions (𝘕𝘦𝘱𝘢 𝘤𝘪𝘯𝘦𝘳𝘦𝘢), this one didn't waste the time & pierced a small damselfly larva 😅 #freshwater #taxonomy
October 7, 2025 at 8:17 AM
Yesterday, I sampled #macroinvertebrates in the ponds in the #NHM gardens with students from #ImperialCollegeLondon We found several Water Scorpions (𝘕𝘦𝘱𝘢 𝘤𝘪𝘯𝘦𝘳𝘦𝘢), this one didn't waste the time & pierced a small damselfly larva 😅 #freshwater #taxonomy
#SpatialBiology #Asthma #MastCells #Transcriptomics #LungImmunology #ImperialCollegeLondon
@britsocimm.bsky.social @natrevimmunol.nature.com @imperialnhli.bsky.social @10xgenomics.bsky.social @brukerspatial.bsky.social @nature.com @societymucosalimm.bsky.social @asthmaandlung.org.uk
@britsocimm.bsky.social @natrevimmunol.nature.com @imperialnhli.bsky.social @10xgenomics.bsky.social @brukerspatial.bsky.social @nature.com @societymucosalimm.bsky.social @asthmaandlung.org.uk
May 21, 2025 at 4:40 PM
Fermat's Last Theorem in Lean – Imperial College London | Discussion
GitHub - ImperialCollegeLondon/FLT: Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Ongoing Lean formalisation of the proof of Fermat's Last Theorem - ImperialCollegeLondon/FLT
github.com
August 3, 2025 at 12:40 AM
Fermat's Last Theorem in Lean – Imperial College London | Discussion
Great episode from the #SocietyforMucosalImmunology podcast feat. Cecilia Johansson (ImperialCollegeLondon) on respiratory infections.
A reminder that often what we observe in the lab is just one moment in a complex & continuous interplay of events.
Check it out 👇
#Mucosal #Immunology
A reminder that often what we observe in the lab is just one moment in a complex & continuous interplay of events.
Check it out 👇
#Mucosal #Immunology
It’s #MucosalMonday and time for our monthly podcast. This episode features @cjohansson-lab.bsky.social, along with hosts @marionbrunck.bsky.social and @ashu-mangalam.bsky.social. Find it on your favorite platform, including spotify: open.spotify.com/episode/4Ng1...
Adding insult to injury during RSV infections
Mucosal Immunology Podcast · Episode
open.spotify.com
April 14, 2025 at 12:18 PM
Great episode from the #SocietyforMucosalImmunology podcast feat. Cecilia Johansson (ImperialCollegeLondon) on respiratory infections.
A reminder that often what we observe in the lab is just one moment in a complex & continuous interplay of events.
Check it out 👇
#Mucosal #Immunology
A reminder that often what we observe in the lab is just one moment in a complex & continuous interplay of events.
Check it out 👇
#Mucosal #Immunology
I had to go look at the git repo itself to understand more: github.com/ImperialColl...
GitHub - ImperialCollegeLondon/FLT: Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Ongoing Lean formalisation of the proof of Fermat's Last Theorem - ImperialCollegeLondon/FLT
github.com
September 4, 2026 at 7:49 PM
I had to go look at the git repo itself to understand more: github.com/ImperialColl...
Project Ventures Wants to Turn Imperial’s Alumni Network Into Deeptech Investment Infrastructure
techlensmedia.com/news/project...
#DeepTech #ArtificialIntelligence #VentureCapital #StartupFunding #ImperialCollegeLondon #UKStartups #TechLensMedia
techlensmedia.com/news/project...
#DeepTech #ArtificialIntelligence #VentureCapital #StartupFunding #ImperialCollegeLondon #UKStartups #TechLensMedia
Project Ventures Wants to Turn Imperial’s Alumni Network Into Deeptech Investment Infrastructure
Project Ventures has launched a £5M alumni-powered fund backing pre-seed and seed deeptech and AI startups connected to Imperial College London.
techlensmedia.com
September 22, 2026 at 7:14 AM
Project Ventures Wants to Turn Imperial’s Alumni Network Into Deeptech Investment Infrastructure
techlensmedia.com/news/project...
#DeepTech #ArtificialIntelligence #VentureCapital #StartupFunding #ImperialCollegeLondon #UKStartups #TechLensMedia
techlensmedia.com/news/project...
#DeepTech #ArtificialIntelligence #VentureCapital #StartupFunding #ImperialCollegeLondon #UKStartups #TechLensMedia
There seem to be recent activity here, but this uses a YAML header like in Markdown, I think comment chars (#) are better: github.com/ImperialColl...
Not much activity in this R library: github.com/leeper/csvy
Not much activity in this R library: github.com/leeper/csvy
GitHub - ImperialCollegeLondon/pycsvy: Python reader/writer for CSV files with YAML header information
Python reader/writer for CSV files with YAML header information - ImperialCollegeLondon/pycsvy
github.com
July 13, 2026 at 8:49 AM
There seem to be recent activity here, but this uses a YAML header like in Markdown, I think comment chars (#) are better: github.com/ImperialColl...
Not much activity in this R library: github.com/leeper/csvy
Not much activity in this R library: github.com/leeper/csvy
#Journals | Journal of the European Optical Society-Rapid Publications "Germanium Fabry-Perot nanoresonators investigated by cathodoluminescence spectroscopy"
✍️ Paolo Biagioni et al.
#PolitecnicoDiMilano
#ImperialCollegeLondon
#UniWürzburg
➡️https://bit.ly/44thA5s
#EuropeanOptics
#OpenAccess
✍️ Paolo Biagioni et al.
#PolitecnicoDiMilano
#ImperialCollegeLondon
#UniWürzburg
➡️https://bit.ly/44thA5s
#EuropeanOptics
#OpenAccess
May 23, 2024 at 11:54 AM
#Journals | Journal of the European Optical Society-Rapid Publications "Germanium Fabry-Perot nanoresonators investigated by cathodoluminescence spectroscopy"
✍️ Paolo Biagioni et al.
#PolitecnicoDiMilano
#ImperialCollegeLondon
#UniWürzburg
➡️https://bit.ly/44thA5s
#EuropeanOptics
#OpenAccess
✍️ Paolo Biagioni et al.
#PolitecnicoDiMilano
#ImperialCollegeLondon
#UniWürzburg
➡️https://bit.ly/44thA5s
#EuropeanOptics
#OpenAccess
Meet our expert in advanced electron microscopy, Dr Shelly Conroy! 🔍✨
Her research is pushing the boundaries of materials science and microscopy! 🚀
Learn more: www.imperial.ac.uk/royce-facilities/our-staff/
📽️ www.youtube.com/watch?v=cY2TjJRxzNg
#MaterialsScience #ImperialCollegeLondon
Her research is pushing the boundaries of materials science and microscopy! 🚀
Learn more: www.imperial.ac.uk/royce-facilities/our-staff/
📽️ www.youtube.com/watch?v=cY2TjJRxzNg
#MaterialsScience #ImperialCollegeLondon
How do Royce facilities support your research?
YouTube video by Royce at Imperial
www.youtube.com
February 19, 2025 at 1:03 PM
Meet our expert in advanced electron microscopy, Dr Shelly Conroy! 🔍✨
Her research is pushing the boundaries of materials science and microscopy! 🚀
Learn more: www.imperial.ac.uk/royce-facilities/our-staff/
📽️ www.youtube.com/watch?v=cY2TjJRxzNg
#MaterialsScience #ImperialCollegeLondon
Her research is pushing the boundaries of materials science and microscopy! 🚀
Learn more: www.imperial.ac.uk/royce-facilities/our-staff/
📽️ www.youtube.com/watch?v=cY2TjJRxzNg
#MaterialsScience #ImperialCollegeLondon
Meet Dr. Reshma Rao, a Lecturer in Nanomaterials and Royal Academy of Engineering Research Fellow at Imperial’s Department of Materials and Grantham Institute.
Learn more about our team: www.imperial.ac.uk/royce-facili...
#MaterialsScience #OurImperial #ImperialCollegeLondon
Learn more about our team: www.imperial.ac.uk/royce-facili...
#MaterialsScience #OurImperial #ImperialCollegeLondon
March 19, 2025 at 1:11 PM
Meet Dr. Reshma Rao, a Lecturer in Nanomaterials and Royal Academy of Engineering Research Fellow at Imperial’s Department of Materials and Grantham Institute.
Learn more about our team: www.imperial.ac.uk/royce-facili...
#MaterialsScience #OurImperial #ImperialCollegeLondon
Learn more about our team: www.imperial.ac.uk/royce-facili...
#MaterialsScience #OurImperial #ImperialCollegeLondon
Early this week, we conducted the Factory Acception Test for our automated synthesis platform, Flex CatScreen, at Chemspeed 's Factory in Switzerland.
#Automation #EnergyResearch #ImperialCollegeLondon #ChemicalEngineering #DIGIBAT #AutomatedMaterialsSynthesis #HydrothermalReaction
#Automation #EnergyResearch #ImperialCollegeLondon #ChemicalEngineering #DIGIBAT #AutomatedMaterialsSynthesis #HydrothermalReaction
December 20, 2024 at 11:01 AM
Early this week, we conducted the Factory Acception Test for our automated synthesis platform, Flex CatScreen, at Chemspeed 's Factory in Switzerland.
#Automation #EnergyResearch #ImperialCollegeLondon #ChemicalEngineering #DIGIBAT #AutomatedMaterialsSynthesis #HydrothermalReaction
#Automation #EnergyResearch #ImperialCollegeLondon #ChemicalEngineering #DIGIBAT #AutomatedMaterialsSynthesis #HydrothermalReaction
Research Associate in Molecular Virology ✨ #ImperialCollegeLondon - Department of Infectious Disease #ApplyNow
www.imperial.ac.uk/jobs/search-...
#PhD & #Postdoc Latest Updates: jobnewstimes.com/phd-postdoc/
#Virology #Microbiology #Jobnewstimes #UKJOBS
www.imperial.ac.uk/jobs/search-...
#PhD & #Postdoc Latest Updates: jobnewstimes.com/phd-postdoc/
#Virology #Microbiology #Jobnewstimes #UKJOBS
May 16, 2025 at 2:29 PM
Research Associate in Molecular Virology ✨ #ImperialCollegeLondon - Department of Infectious Disease #ApplyNow
www.imperial.ac.uk/jobs/search-...
#PhD & #Postdoc Latest Updates: jobnewstimes.com/phd-postdoc/
#Virology #Microbiology #Jobnewstimes #UKJOBS
www.imperial.ac.uk/jobs/search-...
#PhD & #Postdoc Latest Updates: jobnewstimes.com/phd-postdoc/
#Virology #Microbiology #Jobnewstimes #UKJOBS
𝗧𝗵𝗲 𝗡𝗲𝘅𝘁 𝗙𝗿𝗼𝗻𝘁𝗶𝗲𝗿 #AIMLSUMMIT2027
📍 Prague, Czech Republic 🗓️ July 19–20, 2027
🔗 ai-ml2027.globexasummits.com
📧 ai-ml2027@globexasummits.com
#CharlesUniversity #BrnoUniversityOfTechnology #UniversityOfOxford #UniversityOfCambridge #ImperialCollegeLondon #UCL #UniversityOfEdinburgh #KingsCollegeLondon
📍 Prague, Czech Republic 🗓️ July 19–20, 2027
🔗 ai-ml2027.globexasummits.com
📧 ai-ml2027@globexasummits.com
#CharlesUniversity #BrnoUniversityOfTechnology #UniversityOfOxford #UniversityOfCambridge #ImperialCollegeLondon #UCL #UniversityOfEdinburgh #KingsCollegeLondon
September 29, 2026 at 3:21 PM
𝗧𝗵𝗲 𝗡𝗲𝘅𝘁 𝗙𝗿𝗼𝗻𝘁𝗶𝗲𝗿 #AIMLSUMMIT2027
📍 Prague, Czech Republic 🗓️ July 19–20, 2027
🔗 ai-ml2027.globexasummits.com
📧 ai-ml2027@globexasummits.com
#CharlesUniversity #BrnoUniversityOfTechnology #UniversityOfOxford #UniversityOfCambridge #ImperialCollegeLondon #UCL #UniversityOfEdinburgh #KingsCollegeLondon
📍 Prague, Czech Republic 🗓️ July 19–20, 2027
🔗 ai-ml2027.globexasummits.com
📧 ai-ml2027@globexasummits.com
#CharlesUniversity #BrnoUniversityOfTechnology #UniversityOfOxford #UniversityOfCambridge #ImperialCollegeLondon #UCL #UniversityOfEdinburgh #KingsCollegeLondon
We welcome a new project to OpenSustain.tech #climate #sustainability #opensource #opensustain #openscience github.com/ImperialColl...
GitHub - ImperialCollegeLondon/StrataTrapper: Field scale model generation and upscaling toolkit
Field scale model generation and upscaling toolkit - ImperialCollegeLondon/StrataTrapper
github.com
February 23, 2026 at 5:22 PM
We welcome a new project to OpenSustain.tech #climate #sustainability #opensource #opensustain #openscience github.com/ImperialColl...
Quantum Physics for babies www.amazon.co.uk/Quantum-Phys...
#QuantumChristmas #IYQ2025 #ImperialCollegeLondon #ScienceBooks #STEMEducation #FutureScientists
#QuantumChristmas #IYQ2025 #ImperialCollegeLondon #ScienceBooks #STEMEducation #FutureScientists
Amazon.co.uk
www.amazon.co.uk
December 17, 2025 at 4:43 PM
Quantum Physics for babies www.amazon.co.uk/Quantum-Phys...
#QuantumChristmas #IYQ2025 #ImperialCollegeLondon #ScienceBooks #STEMEducation #FutureScientists
#QuantumChristmas #IYQ2025 #ImperialCollegeLondon #ScienceBooks #STEMEducation #FutureScientists
Durch den #Klimawandel hat sich die Zahl der zu erwartenden #Hitzetoten verdreifacht. Das haben Berechnungen Forschender vom #ImperialCollegeLondon und der London School of Hygiene & Tropical Medicine ergeben.
Zahl der Hitzetoten hat sich durch Klimawandel verdreifacht
Hitzewellen in europäischen Städten fordern immer mehr Menschenleben. Der Grund dafür ist der Klimawandel, wie Berechnungen britischer Forschender zeigen.
www.rnd.de
July 9, 2025 at 7:52 AM
Durch den #Klimawandel hat sich die Zahl der zu erwartenden #Hitzetoten verdreifacht. Das haben Berechnungen Forschender vom #ImperialCollegeLondon und der London School of Hygiene & Tropical Medicine ergeben.
🧪 Meet Professor Milo Shaffer – Professor of Materials Chemistry at Imperial and expert in carbon and inorganic nanomaterials.
🔗 Learn more about Royce at Imperial: lnkd.in/dPac-AH
#Nanomaterials #MaterialsChemistry #RoyceResearchers #ImperialCollegeLondon #OurImperial #GrapheneResearch
🔗 Learn more about Royce at Imperial: lnkd.in/dPac-AH
#Nanomaterials #MaterialsChemistry #RoyceResearchers #ImperialCollegeLondon #OurImperial #GrapheneResearch
April 16, 2025 at 11:02 AM
🧪 Meet Professor Milo Shaffer – Professor of Materials Chemistry at Imperial and expert in carbon and inorganic nanomaterials.
🔗 Learn more about Royce at Imperial: lnkd.in/dPac-AH
#Nanomaterials #MaterialsChemistry #RoyceResearchers #ImperialCollegeLondon #OurImperial #GrapheneResearch
🔗 Learn more about Royce at Imperial: lnkd.in/dPac-AH
#Nanomaterials #MaterialsChemistry #RoyceResearchers #ImperialCollegeLondon #OurImperial #GrapheneResearch
We welcome a new project to OpenSustain.tech #climate #sustainability #opensource #opensustain #openscience github.com/ImperialColl...
GitHub - ImperialCollegeLondon/PyProBE: Python Processing for Battery Experiments
Python Processing for Battery Experiments. Contribute to ImperialCollegeLondon/PyProBE development by creating an account on GitHub.
github.com
October 17, 2025 at 7:50 PM
We welcome a new project to OpenSustain.tech #climate #sustainability #opensource #opensustain #openscience github.com/ImperialColl...
🔬✨ Meet Dr Freya Johnson , our latest Researcher Spotlight!
Dr Johnson's research focuses on advanced materials for ultra-fast energy-efficient computing ⚡
🔍 Find out more about her experience: lnkd.in/eGCE2qrz
#AdvancedMaterials #ImperialCollegeLondon #OurImperial #MaterialsScience
Dr Johnson's research focuses on advanced materials for ultra-fast energy-efficient computing ⚡
🔍 Find out more about her experience: lnkd.in/eGCE2qrz
#AdvancedMaterials #ImperialCollegeLondon #OurImperial #MaterialsScience
March 26, 2025 at 11:00 AM
🔬✨ Meet Dr Freya Johnson , our latest Researcher Spotlight!
Dr Johnson's research focuses on advanced materials for ultra-fast energy-efficient computing ⚡
🔍 Find out more about her experience: lnkd.in/eGCE2qrz
#AdvancedMaterials #ImperialCollegeLondon #OurImperial #MaterialsScience
Dr Johnson's research focuses on advanced materials for ultra-fast energy-efficient computing ⚡
🔍 Find out more about her experience: lnkd.in/eGCE2qrz
#AdvancedMaterials #ImperialCollegeLondon #OurImperial #MaterialsScience
🔬 Royce Imperial discovers the Unseen in 3D! Our high precision 3D scanning technology helps researchers uncover the tiniest structures with clarity.
Learn more: 🔗 www.imperial.ac.uk/royce-facilities/our-facilities-/molecular-sciences-research-hub/
#3DImaging #OurImperial #ImperialCollegeLondon
Learn more: 🔗 www.imperial.ac.uk/royce-facilities/our-facilities-/molecular-sciences-research-hub/
#3DImaging #OurImperial #ImperialCollegeLondon
March 14, 2025 at 1:02 PM
🔬 Royce Imperial discovers the Unseen in 3D! Our high precision 3D scanning technology helps researchers uncover the tiniest structures with clarity.
Learn more: 🔗 www.imperial.ac.uk/royce-facilities/our-facilities-/molecular-sciences-research-hub/
#3DImaging #OurImperial #ImperialCollegeLondon
Learn more: 🔗 www.imperial.ac.uk/royce-facilities/our-facilities-/molecular-sciences-research-hub/
#3DImaging #OurImperial #ImperialCollegeLondon
We have a Karl Suss Mask Aligner in our Clean Room Photolithography Suite🔬
It is a cost-effective photolithography solution designed for processing small pieces up to 100 mm.
Find out more: www.imperial.ac.uk/royce-facilities/how-to-access/
#MaterialsResearch #ImperialCollegeLondon #OurImperial
It is a cost-effective photolithography solution designed for processing small pieces up to 100 mm.
Find out more: www.imperial.ac.uk/royce-facilities/how-to-access/
#MaterialsResearch #ImperialCollegeLondon #OurImperial
March 10, 2025 at 1:02 PM
We have a Karl Suss Mask Aligner in our Clean Room Photolithography Suite🔬
It is a cost-effective photolithography solution designed for processing small pieces up to 100 mm.
Find out more: www.imperial.ac.uk/royce-facilities/how-to-access/
#MaterialsResearch #ImperialCollegeLondon #OurImperial
It is a cost-effective photolithography solution designed for processing small pieces up to 100 mm.
Find out more: www.imperial.ac.uk/royce-facilities/how-to-access/
#MaterialsResearch #ImperialCollegeLondon #OurImperial