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
UKRI award two Liverpool academics Future Leaders Fellowships
Support today’s global climate strike
Viewpoint: Climate strike and how Universities can be powerhouses for change
Imagining both utopian and dystopian climate futures is crucial – which is why cli-fi is so important
More refugees arrive on Greek islands amid overcrowding and water shortages
It's today! Take 30 minutes out of your working day to support today's #ClimateStrike.
Help us and @LiverpoolGuild improve the sustainability of our operations by submitting your feedback, and learn about our climate research here ➡️ https://t.co/iz37Vb3rwI
Congrats to our @livunieng Velocipede Team and Yazmin Tredell who scooped the women’s multitrack human powered land speed record with ARION5, the three wheeled bike they designed and built https://t.co/25xlbogwaL
Congratulations to Jade, Emma and Charlotte who have been awarded 'ULMS Women in Football' scholarships for our Football Industries MBA.
Read the full story: https://t.co/xqfubYE395 #WhatIf @WomeninFootball @LivUni