Sign in: Staff/Students
Marie Farrell is a Research Associate in the Department of Computer Science:
During the summer, I attended the International Conference on Space Mission Challenges for Informational Technology (SMC-IT) held at Caltech in California.
Throughout the week, the keynote speakers really opened my mind to the challenges that we face when trying to develop space systems.
Surprisingly, the unpredictable and often hostile space environment seems to be the least of our worries, it is actually the constraints on battery power and mass that fiercely complicate the development of these systems. Due to these constraints, both the hardware and software that we use must actually be relatively simple.
I presented a position paper on “Modular Verification of Autonomous Space Robotics” at the Assurance of Autonomy for Robotic Space Missions Workshop at SMC-IT.
One of the aims of the workshop was to explore the role that current and future verification techniques play in assuring autonomous space robotic systems. Our position paper was well-received and inspired interesting conversation at the workshop which was well attended with lots of researchers from NASA and JPL.
I actually got to speak to someone who was interested in the branch of category theory that I had used during my PhD. Normally, people run a mile when I mention it but this person actually approached me to ask questions about it!
As part of this conference, I visited the Jet Propulsion Laboratory and viewed scale models of systems that have been deployed in space, including the Mars Curiosity rover, as well as the Mars 2020 rover that is currently undergoing testing.
I was surprised by the size of these robots, I thought that the Curiosity rover would be small but it is actually the size of a Mini-Cooper. It was both an entertaining and very informative visit – I can now safely say that I’ve been there, done that and even bought a t-shirt!
All recent news
Update: Safety measures on campus for Welcome Week and the start of term
NIHR announces £25million funding for the School for Public Health Research
Typhoid vaccine proven safe for infants and young children in Malawi
New guide published to support mental health in maternity and neonatal settings
Obituary: Emeritus Professor Michael Hoey
Third round of funding for @NIHRresearch School for Public Health Research which includes @LivUni and @LancasterUni collaboration @LilacHEquity ➡️ https://bit.ly/3tLDQoB
#Malawi press launch - 84% typhoid conjugate vaccine efficacy; with Josephine Chilongo (lead nurse), Priya Patel (lead doctor), Theressa Misiri (Project manager), & JaneLisa Musaya (MLW Assoc Director) https://www.nejm.org/doi/10.1056/NEJMoa2035916 @OwsdSecretariat @womeninGH @MlwTrust @PreventTyphoid
A new study finds a single dose of typhoid conjugate vaccine (TCV) is safe & 84% effective in protecting infants & young children against typhoid in Malawi.
Fantastic work led by Prof @MelitaGordon5 & @MlwTrust as part of @PreventTyphoid💉
Full story ➡️ https://bit.ly/3zbtnE1