Jan de Muijnck-Hughes

Lecturer of type-driven approaches to trustworthy-systems at Strathclyde. PL & FM enthusiast. 🇳🇱🏴󠁧󠁢󠁷󠁬󠁳󠁿🇬🇧🇪🇺

[Jan de Muijnck-Hughes @jfdm]

Humbled & excited to announce that from Sept. '23, I will be joining @StrathCyber (@StrathCIS) as a Lecturer in Cybersecurity where I will be working on Trustworthy TyDe Systems, & the bridge with @mspstrath.

Thanks @GlasgowCS & @Glasgow_PL but come Autumn a new journey starts!

[Jan de Muijnck-Hughes @jfdm]

@smarr @laurencetratt I’ve used Teams (in the browser) to great success to *record* live coding sessions. I wonder if that can help…not sure about separate feeds….

[Derek Dreyer @HerrDreyer]

After triumphantly proclaiming the return of Herr Dreyer over two months ago, I finally managed to push out a proper blog post. Enjoy.

https://t.co/jDww6zuv9s

[Jan de Muijnck-Hughes @jfdm]

@smarr Congrats!

[Jan de Muijnck-Hughes @jfdm]

@samth @krismicinski @AndrewCMyers Tbh I’m debating whether or not I should submit to a conference that is in the US. The risk is real…

[Jan de Muijnck-Hughes @jfdm]

Today was a nice reminder over the social culture at work. When right, it is a nice supportive environment where everyone can have a healthy laugh.

Some days it ain’t, but tonight was good.

[Jeremy Gibbons @jer_gib]

Oxford has 7 faculty positions, across all of CS. Two are tutorial fellowships with undergraduate teaching responsibilities; five are on the part-time professional master's programme (where I teach). Closing date 17th December. Happy to discuss. https://t.co/Fr44yfYrFF

[Jan de Muijnck-Hughes @jfdm]

Urgh over two years and @OctopusEnergy have yet to resolve issues with smart meter data collection. They say it’s a firmware issue that would get sorted, that 1yr ago!

Have to input data manually for one meter, whilst the other gets sent automatically. Both meters used to work!

[Jan de Muijnck-Hughes @jfdm]

@VetSS_RI really excited to hear that you have your annual conference tomorrow.

Looks like a fascinating line up. However I couldn’t help notice that no information can be found in your events stream on your website

https://t.co/E5UCvMRZbc

Nor on your Zulip!

[Jan de Muijnck-Hughes @jfdm]

@satnam6502 Yeah, there has been some work at looking how to mix AI and types. As you have also observed, Types help here with verification of output

https://t.co/DbF2T0gTXw

[Cyber Security Body of Knowledge: CyBOK @cy_bok]

🚀 We're hiring!
Join the University of Bristol (@BristolUni) as a Researcher in #CyberSecurity education and training. Collaborate and innovate to shape the future of cyber security education.

Deadline: 06 April 2025. Apply now! 🖇️ https://t.co/iTC973aMJN #Cyber #Jobs #CyBOK

[Nick Woltemade’s Uncle @henningwehn]

Black are the constituencies won by the CDU/CSU, blue the constituencies won by the AfD. Quite staggering. Can you spot the exact location of the old inner-German border?! 🥴

[SICSA Scotland @SICSA_Scotland]

⭐️Another fully funded PhD opportunity at University of Strathclyde supervised by @jfdm and Robert Atkey.

➡️Towards Type-Driven Assurance of Communicating Systems

Find out more details below ⬇️
https://t.co/VAv3PnqpQw

[UofG News @UofGNews]

Dr Paul Harvey (@jhebus) is leading @GlasgowCS' role in a @UN focus group which aims to harness the power of AI to improve the design and performance of communications networks.

Read more here: https://t.co/wb6Gnqh3JP

[Jan de Muijnck-Hughes @jfdm]

@jhebus More like implementation failure!

[Jan de Muijnck-Hughes @jfdm]

Urgh verification in Dafny is a bit harder than I thought it would be…I’m too entrenched in propositions as types…

Someone should do a course that talks about these two approaches to verify software…

[Jan de Muijnck-Hughes @jfdm]

A little pre-Xmas treat. Watching the local rugby club @EdinburghRugby play!

[Fabio Pierazzi @fbpierazzi]

[1/5] #Opportunity to Apply for a Fully-Funded PhD in Trustworthy ML for Malware Detection at @uclcs

Deadline: Jan 28, 2025

Are you passionate about ML and Systems Security? Are you curious to understand root causes performance decay of ML-based malware detection over time?

[Edinburgh Rugby @EdinburghRugby]

Edinburgh Rugby, in partnership with Breadalbane, is delighted to announce the launch of ‘Tickets to Inspire’ 🎟️

Over 20 local charities will receive tickets to the 1872 Cup decider, harnessing the power of rugby to inspire individuals from all backgrounds 🧡

[Jan de Muijnck-Hughes @jfdm]

Arg #Dafny sadly doesn't have support for #literate_programming a cool feature I think they should support!

When teaching/presenting/noting, literate mode cna help blend what it is you are looking at with textual explanations.