Circuits and Systems

We are a research group in the @ImperialEEE department.

Background: a visualisation used by @A_Picciau to solve energy management problems in green buildings.

[George A Constantinides @gconstantinides]

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

[George A Constantinides @gconstantinides]

Delighted to have Claudionor Coelho giving a talk to @imperialcas @imperialeee today. Claudionor is currently Chief AI officer at @zscaler and has a long and distinguished career in the tech sector and in tech entrepreneurship.

[George A Constantinides @gconstantinides]

Today we have @jag_jagmohan visiting @imperialcas from @unisouthampton to tell us about his work on efficient on-device machine learning

[John Wickerson @wicko3]

Here's a short preview of a paper that Quentin Corradi, my PhD student with @gconstantinides, will be presenting in the FUZZING'24 workshop at @issta_conf next week... https://t.co/kmcGW9LY6Z

[George A Constantinides @gconstantinides]

. @aaronzhao123 and I have received a kind donation from @AMD for our work in @imperialeee @imperialcas, explained here.

[George A Constantinides @gconstantinides]

Delighted to have welcomed Prof Justin Hsu from @Cornell @Cornell_CS to @imperialeee @imperialcas for the start of his sabbatical leave with me and Eric Kerrigan, made possible by @royalsociety Visiting Fellowship. We're looking forward to learning from, and working with, Justin.

[UK Dementia Research Institute @UKDRI]

📡A radar system that can discreetly monitor someone's movement, sleep & behaviour to support their care

Did you know @tgconstandinou is working to deliver this innovative tech as part of Minder, the UK DRI's digital care platform?👉https://t.co/iz4Vow8U9F

#WorldAlzheimersMonth

[Timothy Constandinou @tgconstandinou]

Excited to share a great article featuring our work on Radar and Deep Brain Stimulation at the @UKDRI (Care Research & Technology Centre)!

Read more here: https://t.co/2jpDUJiBAE

#WorldAlzheimersMonth #DementiaResearch #InnovationInCare

[George A Constantinides @gconstantinides]

Excited to have @mwillsey from @UCBerkeley with us at @imperialcas, to tell us all that’s new in the world of e-graphs.

[HiPEAC @hipeac]

📢 #HiPEACinfo72 is out now! Download your copy here 👉 https://t.co/opCXnKvqio
The theme is #cybersecurity, and there are some great articles. Highlights include:
🇪🇺 @janko_marek of the European Commission on recent policy developments in the field of computing
👨‍💻 Innovative cybersecurity techniques from @BoschGlobal
👀 Olivier Zendra @inria on cybersecurity, the #HiPEACVision and its 'next computing paradigm'
⚡ Fabio Pavanello on @neuropuls' revolutionary approach to security using #photonics
🛡 Tackling security from hardware to zero-trust architectures to networking – dispatches from @SAFE6G, @VitaminVProject + more
💪 Secure-by-design systems, with Francesco Regazzoni @UvA_Amsterdam and Paolo Palmieri @UCCCS
🚀 How to launch a #cybersecurity services business, with @Struji of ORBIK Cybersecurity
✅ Vericert, a tool developed by @ymherklotz and @wicko3 for faster #hardware with verified high-level synthesis
🔎 Why memory safety and design provenance are key to security, with @Codasip's Ron Black
⏲ Developing software for safety-critical real-time systems, with TASKING's Alexander Herz
☁ How @CloudianStorage helps expand the data lake, with @stuartcording and Sascha Uhl
🇪🇺 🗞 Updates on @SecuredEU, Safe4Soc, @eosc_entrust, @eFlows4HPC, @empyrean_he, @falconeuproject and @avithrapid
HiPEAC futures: virginia niculescu on pioneering in HPC research at @UnivBabesBolyai, @sara_royuela on @mar_whpc, Laura Menéndez on #HiPEACJobs and Konstantina Koliogeorgi @ntua on accelerating genomics workloads

[Pantelis Georgiou @pgeorgiou_ic]

Nice overview of our #Diagnostics for #Infectious #Diseases workshop ⁦⁦⁦@royalsociety⁩! A fantastic event bringing our international community together! We showcased our rapid molecular point-of-care diagnostic technologies ⁦@ProtonDx⁩! https://t.co/hGfx4zuzew

[George A Constantinides @gconstantinides]

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 !

[George A Constantinides @gconstantinides]

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

[Timothy Constandinou @tgconstandinou]

Delighted to hear today's announcement about a new independent institute to steer UK semiconductor innovation and support! https://t.co/yAsWWHYdew

[Timothy Constandinou @tgconstandinou]

Published today "Brain clearance is reduced during sleep and anesthesia". In collaboration with Nick Franks & Bill Wisden 🧠💤 @UKDRI @ImperialNGNI https://t.co/qV12hBUgZV

[George A Constantinides @gconstantinides]

Delighted to have Camilo Vega visiting @imperialcas from @UofT under the auspices of @spatialmlnet to work on integrating their Galapagos framework for large-scale multi-#FPGA compute with some of our DNN / #ML accelerator compilers. Welcome, Camilo!

[George A Constantinides @gconstantinides]

Congratulations to my former PhD students, Dr Sina Boroumand @sinaxs and Dr Jianyi Cheng @jianyi_cheng, both attending graduation today @imperialcollege @imperialeee @imperialcas

[Timothy Constandinou @tgconstandinou]

We are hiring!!! Looking for an embedded system engineer and full-stack software engineer to join the team @ukdri @ImperialNGNI @NiroYogendran https://t.co/ukodkwbwWN
Plz RT/share

[George A Constantinides @gconstantinides]

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

[John Wickerson @wicko3]

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 (@gconstantinides) and Xavier Leroy for their thoughtful and thorough examining.