School of Computing at the University of Kent

Excited to receive funding (along with my colleague Vineet Rajani) to work on graded modal types for quantitative and compositional analysis of higher-order probabilistic programs under this scheme @UniKentComp @granulelang

Thinking of doing a Taught Masters at @UniKent? Join us either virtually or on campus on Wednesday 11th September to find out what Computing at Kent can offer you! You can even apply for this September. Click the link in bio to find out more!

Researchers @UniKentComp have teamed up with therapists to create 'MindTalker', a groundbreaking AI tool designed to enhance the lives of people with early-stage dementia 🧠 Using the advanced capabilities of GPT-4 from OpenAI, MindTalker offers personalised, engaging interactions to help reduce the isolation often felt by those with dementia 💬 ➡️kent.ac.uk/news/health-so… #Dementia #OpenAI #UniKent

We're at the @censornet #CloudandCyberSecurityExpo at @ExCeLLondon today and tomorrow, talking to cyber security innovators, technologists and business leaders about the expertise and skills @UniKent is bringing to the sector. @UniKentComp @UniKentCyberSec

Safer Internet Day! @UniKentCyberSec do great work at educating young people on how to stay safe online. Take a look at what they've put together for Schools. ow.ly/KvoA50MKs4y

If you're looking to do a PhD in a Computing related subject, we're offering studentships to candidates who can demonstrate academic excellence and outstanding research potential. If that sounds like you, apply by midnight on 5 March 2023 ⏰ More info - ow.ly/7eX750MyTK9

A summary: ow.ly/Muwn50MiXHP

6/7 Parliament has recently approved the Product Security and Telecommunications Infrastructure Bill, which seeks to address issues. It will impact big companies, calling on them to make the internet safer - less information and online targeting = priority.

Happy Birthday to the internet! 🎉(1 January) 40 years of the internet and cyber crime by @jasonnurse: a thread ⬇️

Kent Bunny was out and about spreading kindness and positivity with free hugs on campus last week ❤️ 🤗 #WorldKindnessDay

You might not think that #CyberSecurity is an issue for #HR - but @jasonnurse is willing to prove you wrong. Presenting at #KentHRConf22, he will provide expert insight from his research with @UniKentCyberSec, @UniKentComp & @CybSafe. Find out more ⬇️ kent.ac.uk/knowledge-exch…

Friday morning at Templeman Library with this view 🍁 @UniKent

I’m speaking to #fintech today at @FStechnology #CyberSecLive on “Planning for the day you tell the world you’ve had a data breach!”. 🗣️📢 Our full guidance on effective #comms after a #cyber #security #incident here: arxiv.org/pdf/2009.09210… (free) or sciencedirect.com/science/articl… !