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
Dr Laura Bonnett recognised at Women in Data awards
The 14 former Liverpool students contesting General Election 2019
Blog: My Top 5 ‘Christmassy’ things to do in Liverpool!
Current treatment for fungal meningitis is fuelling drug resistance
Glaciologists urge action on climate change to halt glacier melting
Tickets for our @Ri_Science #xmaslectures live-screening event are going fast so be sure to get yours while you still can! Join us on 12 Dec for a whole lot of family-friendly festive fun! 🎄 #maths #scicomm #livuniengage
It’s lonely being a Tory candidate in deep-red Liverpool... @DrDavidJeffery - who specialises in the decline of the Conservative vote in Merseyside - talks @TheEconomist 👉 https://www.economist.com/britain/2019/12/07/its-lonely-being-a-tory-candidate-in-deep-red-liverpool
#GE2019 #GeneralElection2019 #GeneralElection19 @LivUniPol
The 14 former @livuni students contesting General Election 2019 👉 https://news.liverpool.ac.uk/2019/12/06/the-14-former-liverpool-students-contesting-general-election-2019/
#GeneralElection2019 #GeneralElection19 #GE19