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
Shrinking: a psychiatrist doesn’t know the “truth” and other issues with the show’s depiction of therapy, according to a clinical psychologist
NSS: Tell us about your university experience
Feel Good February: Happy Healthy You
University launches UK first Research Technical Professional Career Pathway
New digital tools use climate data to tackle infectious disease outbreaks
Great to welcome @MayorLpool to @VictoriaGallery today to view the fantastic Ean Flanders portrait exhibition, The Descendants. 📸
The exhibition runs until Saturday 13 May and you can find out more here👉https://news.liverpool.ac.uk/2023/01/30/ean-flanders-photography-exhibition-opens-at-vgm/
Today is #WorldCancerDay and an opportunity for us to reflect on a busy year for cancer research for #TeamLivUni scientists, who continue to work on prevention, screening, diagnostics & therapeutics for the benefit of cancer patients.
Read more here: https://news.liverpool.ac.uk/2023/02/03/world-cancer-day-a-year-in-research/
In a UK first, we've launched a new Research Technical Professional Career Pathway. Technical & research support staff are essential to UK research & innovation, and this scheme aims to improve the career pathways of colleagues in these roles.