Tweaks and updates to text, pictures, contact details, etc

mluckcuck · Oct 14, 2023 · ef05140 · ef05140
1 parent 909c1bd
commit ef05140
Show file tree

Hide file tree

Showing 11 changed files with 27 additions and 21 deletions.
diff --git a/_config.yml b/_config.yml
@@ -15,6 +15,7 @@
 # in the templates via {{ site.myvariable }}.
 title: Dr Matt Luckcuck
 email: [email protected]
+workEmail: [email protected]
 description: > # this means to ignore newlines until "baseurl:"
   Matt Luckcuck is powered by Earl Grey tea.
 baseurl: "" # the subpath of your site, e.g. /blog
@@ -38,16 +39,11 @@ publons_username: 1498270
 markdown: kramdown
 theme: minima
 
-gems: ['jekyll/scholar', 'jekyll-feed']
+gems: ['jekyll-feed']
 
 kramdown:
     auto_ids: true
 
-scholar:
-   #style : ieee.csl
-   locale : en
-   source : _bibliography
-   bibliography : msl.bib
 exclude:
   - Gemfile
   - Gemfile.lock
diff --git a/_layouts/default.html b/_layouts/default.html
@@ -3,8 +3,8 @@
 
 <head>
 
+  <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" /> <!-- "A man is not dead while his name is still spoken."  -->
   <link rel="icon" href="{{site.url}}/favicon.ico">
-
   <meta charset="utf-8">
   <meta http-equiv="X-UA-Compatible" content="IE=edge">
   <meta name="viewport" content="width=device-width, initial-scale=1">

diff --git a/_posts/2022-11-22-valu3s-roundup.md b/_posts/2022-11-22-valu3s-roundup.md
@@ -4,10 +4,11 @@ title:  "VALU3S Round Up"
 date:   2022-11-22 17:15:19 +0000
 categories: [academia]
 image:  /files/logos/values-logo.png
+permalink: /valu3s-roundup
 section: Blog
 ---
 
-As another post-doc job I wanted to summarise what I've been doing during this project. I did this [before]( /hubs-roundup) and I've found it very useful, I think it's helpful because it reminds me that I've not just been twiddling my thumbs and getting paid to do nothing.
+As another post-doc job comes to an end, I wanted to summarise what I've been doing during this project. I did this [before]( /hubs-roundup) and I've found it very useful, I think it's helpful because it reminds me that I've not just been twiddling my thumbs and getting paid to do nothing.
 
 For this post-doc contract I was working on the [VALU3S project](https://valu3s.eu) (or "Verification and Validation of Automated Systems’ Safety and Security" for long) which was a large EU project with a lot of universities and industrial partners in the consortium. I was working on [Use Case 5](https://repo.valu3s.eu/use-cases/aircraft-engine-controller), which was the software controller for a civilian aircraft engine. (I usually add the word "civilian", because this project is about as close as I want to come to military funding.) Our team was me, Rosemary Monahan, Marie Farrell, and 
 Oisín Sheridan. 

diff --git a/contact.md b/contact.md
@@ -7,25 +7,27 @@ section: Contact
 
 If you'd like to get in touch with me, feel free to drop me an email:
 <ul style="list-style:none">
+    <li>
+        <a href="mailto:{{site.workEmail}}" >{{site.workEmail}}</a> for work-related emails.
+    </li>
   <li>
     <a href="mailto:{{site.email}}" >{{site.email}}</a> for non-work emails.
   </li>
 </ul>
 
+
 Email is probably the best way to contact me, but I may also be contactable on:
 <ul style="list-style:none">
   <li>
-    <a href="https://twitter.com/{{ site.twitter_username }}">
-      <i class="fa fa-twitter-square fa-2x"></i> https://twitter.com/{{ site.twitter_username }}
+    <a href="https://linkedin.com/in/{{ site.linkedin_username }}">
+      <i class="fab fa-linkedin-in fa-2x"></i> https://linkedin.com/in/{{ site.linkedin_username }}
     </a>
   </li>
-
   <li>
-    <a href="https://linkedin.com/in/{{ site.linkedin_username }}">
-      <i class="fa fa-linkedin-square fa-2x"></i> https://linkedin.com/in/{{ site.linkedin_username }}
-    </a>
+  	<a href="https://techhub.social/@MattLuckcuck">
+  	<i class="fab fa-mastodon fa-2x"></i> https://techhub.social/@MattLuckcuck
+  	</a>
   </li>
-
   <li>
     <a href="https://www.researchgate.net/profile/{{ site.researchgate_username }}">
       <i class="fab fa-researchgate fa-2x"></i> https://www.researchgate.net/profile/{{ site.researchgate_username }}

diff --git a/files/MSL-CV.pdf b/files/MSL-CV.pdf
diff --git a/files/images/MUCard.png → files/images/Me_MU.png b/files/images/MUCard.png → files/images/Me_MU.png
diff --git a/files/images/UoLCard.jpg → files/images/Me_UoL.jpg b/files/images/UoLCard.jpg → files/images/Me_UoL.jpg
diff --git a/files/images/Me_UoN.png b/files/images/Me_UoN.png
diff --git a/index.md b/index.md
@@ -7,13 +7,13 @@ layout: page
 
 
 
-<img alt="A picture of Matt Luckcuk taken in 2021. He is a white man with an oval face, long brown hair that comes over his shoulders, and a medium-length brown beard. He is smiling, slightly and looking straight into the camera lens." style="float: right" class="w3-round" src="/files/images/MUCard.png">
+<img alt="A picture of Matt Luckcuk taken in 2023. He is a white man with an oval face, long brown hair that comes over his shoulders, and a medium-length brown beard. He is smiling, slightly and looking straight into the camera lens. He is wearing a light blue shirt." style="float: right" class="w3-round" src="/files/images/Me_UoN.png">
 
-I am a UK Computer Science academic, soon to be starting as an Assistant Professor at the University of Nottingham. I work on developing and applying formal verification techniques to automated and autonomous systems. In 2019 I co-founded the [Workshop on Formal Methods for Autonomous Systems](https://fmasworkshop.github.io/).
+I am an Assistant Professor at the University of Nottingham, UK. I work on developing and applying formal verification techniques to automated and autonomous systems. I am part of the [Autonomy and Verification Network](https://autonomy-and-verification.github.io/), which a research collaboration focussing on verification of autonomous systems.  In 2019 I co-founded the [Workshop on Formal Methods for Autonomous Systems](https://fmasworkshop.github.io/).
 
 Previously I've worked as a Post-Doctoral Researcher in the Department of Computer Science at [Maynooth University](https://www.maynoothuniversity.ie/computer-science), on the EU-funded [Verification and Validation of Automated Systems’ Safety and Security](https://valu3s.eu/) project; and as a Research Associate at the Universities of [Manchester](https://www.cs.manchester.ac.uk/research/expertise/autonomy-and-verification/) and [Liverpool](https://www.liverpool.ac.uk/computer-science/) on the [RAIN Hub](https://rainhub.org.uk/). I received my PhD in Computer Science from the [University of York](https://www.cs.york.ac.uk/). More details of my thesis and research can be found on the [Research](/research/) page.
 
-I've also found teaching very enjoyable and rewarding. I've been DBS checked and my teaching experience has ranged over many age- and ability-levels; from 8 to (nearly) 80, and from beginners up to university level. Details of my teaching experience can be found on the [Teaching and Outreach](/teaching/) page.
+I've also found teaching very enjoyable and rewarding. I've been DBS checked and my teaching experience has ranged over many age- and ability-levels; from 8 to (nearly) 80, and from beginners up to university level. Details of some of my teaching experience can be found on the [Teaching and Outreach](/teaching/) page.
+
 
-A current(ish) version of my CV can be found [here](/files/MSL-CV.pdf).
 
diff --git a/research.md b/research.md
@@ -6,6 +6,8 @@ section: Research
 
 ---
 
+My research interests lie in the intersection of formal software verification and safety-critical software, with a particular focus on applying formal methods to autonomous robotic systems. I am keen to do research work that also provides practical benefits, producing usable tools that support verification, development, and future research projects.
+
 ### Academic Profiles
 
 My publication and/or reviewing records are available on the following sites.
@@ -18,11 +20,15 @@ Profiles:  <a href="https://orcid.org/{{ site.orcid_username }}"><img alt="ORCID
 
 ## Automated Aircraft Control Systems
 
-I'm currently working as a Post-Doctoral Researcher at at [Maynooth University](https://www.maynoothuniversity.ie/computer-science), Ireland. I'm researching formal verification techniques for automated aircraft engine control systems, as part of the the [Verification and Validation of Automated Systems' Safety and Security (VALU3S)](https://valu3s.eu/) project. My work on this project started with an extensive survey paper of formal verification for aerospace systems, and focusses on integrating formal methods with the Simulink models provided by the project's use case provider.
+My second pot-doc job was as Post-Doctoral Researcher at [Maynooth University](https://www.maynoothuniversity.ie/computer-science), Ireland. I was part of a team researching formal verification techniques for automated aircraft engine control systems, as part of the the [Verification and Validation of Automated Systems' Safety and Security (VALU3S)](https://valu3s.eu/) project. Having long told people that a good place to start with formal specification of a system is by looking at its requirements, my work on this project gave me a fantastic opportunity to do just that. A longer round-up of my work on this project can be found in a [blog post](/valu3s-roundup) I wrote.
+
+Much of my work during this job centred on the _requirements_ for the civilian aircraft engine controller that our industrial partner had given us. We captured the requirements in [FRET](https://github.com/NASA-SW-VnV/fret) (the Formal Requirements Elicitation Tool, written by a verification team at NASA) and did a lot of collaborative with the industrial partner to make sure that our formalisation of their requirements meant what they had intended the requirements to say. In this sense, I took a step into Requirements Engineering for the first time.
+
+Seeing that the requirements contained a lot of repetitions, I was reminded of a module on Refactoring (improving the structure of a program without changing its behaviour) that I took during my undergraduate degree. I began investigating the idea of being able to reorganise the requirements in structured way to make them easier to maintain. This idea was eventually implemented in a fork of FRET that I called [Mu-FRET](https://github.com/valu3s-mu/mu-fret), which added one refactoring. More are being added by [Oisín Sheridan](https://orcid.org/0000-0002-8613-2500).
 
 ## Autonomous Robots in Hazardous Environments
 
-My first post-doc job was a a Research Assistant in the [Department of Computer Science](https://www.liverpool.ac.uk/computer-science/) at the University of Liverpool, working on one of the [Robotics and AI Hubs](https://www.epsrc.ac.uk/funding/calls/raihubs/).
+My first post-doc job was a a Research Assistant in the Department of Computer Science at the University of Liverpool (and later, the University of Manchester), working on one of the [Robotics and AI Hubs](https://www.epsrc.ac.uk/funding/calls/raihubs/). I wrote [blog post](/hubs-roundup) that gives a detailed round-up of my work during this job.
 
 Most of my work in this job was for the [Robotics and AI in Nuclear (RAIN)](http://rainhub.org.uk/) Hub. Other colleagues were involved in the the hubs for [offshore](https://orcahub.org/), and [space](http://cgi.csc.liv.ac.uk/~michael/FAIR-SPACE-Hub/), so some of my collaborative work crossed over to those domains too. These environments are remote and hazardous to humans, so robotic systems deployed there require a high level of autonomy and rigorous verification.
 

diff --git a/teaching.md b/teaching.md
@@ -7,6 +7,7 @@ section: Teaching and Outreach
 
 Adult Education
 ---------------
+
 I delivered a 6 week adult-education course teaching introductory programming skills using Python, with [York Learning](http://yorklearning.org.uk/). The course contained 5 lectures and Python programming exercises (Week 4 focussed entirely on practical programming). I designed the lectures and Python exercises from scratch to teach the basic practical skills of programming. Feel free to [download](/files/Computer_Coding_For_Beginners.zip) the content of this course.
 
 University Demonstrating
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,6 +7,7 @@ section: Teaching and Outreach @@
     Adult Education
     ---------------
     I delivered a 6 week adult-education course teaching introductory programming skills using Python, with [York Learning](http://yorklearning.org.uk/). The course contained 5 lectures and Python programming exercises (Week 4 focussed entirely on practical programming). I designed the lectures and Python exercises from scratch to teach the basic practical skills of programming. Feel free to [download](/files/Computer_Coding_For_Beginners.zip) the content of this course.
     University Demonstrating
@@ Expand Down @@