🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Huge congrats to Yann Herklotz (@ymherklotz) for successfully defending his PhD thesis today, all about his proven-in-Coq high-level synthesis tool. And enormous thanks to George Constantinides (George A Constantinides) and Xavier Leroy for their thoughtful and thorough examining.

Another patent application published: AUTOMATED DETECTION OF CASE-SPLITTING OPPORTUNITIES IN RTL, United States Patent Application 2024/0126964. Assigned to Intel. #Impact

We are hiring!!! Looking for an embedded system engineer and full-stack software engineer to join the team @ukdri Imperial NGNI Lab Niro Yogendran linkedin.com/posts/niro-y_w… Plz RT/share

Congratulations to my former PhD students, Dr Sina Boroumand Sina Boroumand and Dr Jianyi Cheng Jianyi Cheng, both attending graduation today Imperial College London Imperial EEE Circuits and Systems

Delighted to have Camilo Vega visiting Circuits and Systems from University of Toronto under the auspices of spatialml to work on integrating their Galapagos framework for large-scale multi-#FPGA compute with some of our DNN / #ML accelerator compilers. Welcome, Camilo!

Published today "Brain clearance is reduced during sleep and anesthesia". In collaboration with Nick Franks & Bill Wisden 🧠💤 UK Dementia Research Institute Imperial NGNI Lab nature.com/articles/s4159…

Delighted to hear today's announcement about a new independent institute to steer UK semiconductor innovation and support! gov.uk/government/new…

Congratulations to my PhD student Ebby Samson (jointly advised by Wayne Luk), supported by AMD, whose first paper "Exploring FPGA designs for MX and beyond" has been accepted by #FPL2024 !

Congratulations to my PhD student Marta Andronic, whose paper "NeuraLUT: Hiding Neural Network Density in Boolean Synthesizable Functions" has been accepted by #FPL2024 !

Nice overview of our #Diagnostics for #Infectious #Diseases workshop ⁦⁦⁦The Royal Society⁩! A fantastic event bringing our international community together! We showcased our rapid molecular point-of-care diagnostic technologies ⁦ProtonDx⁩! imperial.ac.uk/news/253753/in…

📢 #HiPEACinfo72 is out now! Download your copy here 👉 bit.ly/HiPEACinfo72 The theme is #cybersecurity, and there are some great articles. Highlights include: 🇪🇺 Jan Komarek of the European Commission on recent policy developments in the field of computing 👨‍💻 Innovative

Excited to have Max Willsey from UC Berkeley with us at Circuits and Systems, to tell us all that’s new in the world of e-graphs.

. Aaron Zhao and I have received a kind donation from AMD for our work in Imperial EEE Circuits and Systems, explained here.

📡A radar system that can discreetly monitor someone's movement, sleep & behaviour to support their care Did you know Timothy Constandinou is working to deliver this innovative tech as part of Minder, the UK DRI's digital care platform?👉buff.ly/4gbAOBW #WorldAlzheimersMonth

Excited to share a great article featuring our work on Radar and Deep Brain Stimulation at the UK Dementia Research Institute (Care Research & Technology Centre)! Read more here: ukdri.ac.uk/news-and-event… #WorldAlzheimersMonth #DementiaResearch #InnovationInCare

Delighted to have welcomed Prof Justin Hsu from Cornell University Cornell Computer Science to Imperial EEE Circuits and Systems for the start of his sabbatical leave with me and Eric Kerrigan, made possible by The Royal Society Visiting Fellowship. We're looking forward to learning from, and working with, Justin.

Here's a short preview of a paper that Quentin Corradi, my PhD student with George A Constantinides, will be presenting in the FUZZING'24 workshop at ISSTA Conference next week... johnwickerson.wordpress.com/2024/09/09/aut…

Today we have Jagmohan Chauhan visiting Circuits and Systems from University of Southampton to tell us about his work on efficient on-device machine learning

Delighted to have Claudionor Coelho giving a talk to Circuits and Systems Imperial EEE today. Claudionor is currently Chief AI officer at Zscaler and has a long and distinguished career in the tech sector and in tech entrepreneurship.

Perfectly pitched seminar today from Justin Hsu (Cornell Computer Science) explaining some of his work on type systems for numerical error tracking to Circuits and Systems and friends. Justin is with us for this academic year on sabbatical leave.