Name Chelsea L Edmonds
Label Computer Scientist
Summary Computer Scientist interested in all things formal verification and security, STEM Education Advocate, and Ambassador for Women in STEM


  • 2023.10 - Present
    Research Associate
    Department of Computer Science, University of Sheffield
    Research Associate on the EPSRC COVERT Grant exploring ''Safe and secure COncurrent programming for adVancEd aRchiTectures'' (PI's Prof. John Derrick & Dr. Andrei Popescu), a joint project with the University of Surrey and University of Kent
  • 2017.12 - 2019.09
    Software Engineer
    Boeing | PhantomWorks International
    Researched and developed cutting edge software and algorithms for autonomous systems in a fast paced and demanding environment from requirements to testing stages (using C#, C++, internal scripting languages). Completed a Systems Engineering course, the Boeing Australia Graduate program, and a part of the STEM Outreach program.
  • 2016.12 - 2016.12
    Vacation Student Software Engineer
    Boeing | PhantomWorks International
    Developed a prototype for an augmented reality system and was offered a graduate contract on completion.
  • 2015.12 - 2016.02
    Casual Software Engineer (Student)
    RGB Assurance
    RGB Assurance is an engineering consultancy firm specialising in software development, testing, and verification for safety critical systems. Internship involved developing and demonstrating a working android application prototype to test new system feasibility.


  • 2019.10 - 2024.05

    Cambridge, UK

    University of Cambridge
    Computer Science
  • 2012.02 - 2017.07

    Brisbane, AU

    Bachelor (Dual Degree)
    University of Queensland
    Engineering (Software)/Science (Mathematics)
    • Algorithms
    • Formal Methods
    • Python
    • Java
    • C
    • Machine Learning
    • Security
    • Coding and Cryptography
    • etc
  • Brisbane, AU

    Diploma, AMusA
    Australian Music Examinations Board


  • 2022.06 - 2023.06
    Darwin College Students Association
    Responsible for leading a group of 23 student volunteers to support the 800-person graduate student community through running college wide initiatives, student communications, supporting sports/societies, peer welfare support, and organising social events. Served as a member of the main College Council, alongside various other college committees. Previously Sports and Societies officer 2021/22
    • successful Fresher's welcome fortnight
    • implementation of new initiatives to connect fellows and students
    • EDI sucesses (e.g. Women in Academia Program)
    • established cost of living working group
    • transparent communication initiatives
    • implemented central record keeping
    • student representative on university postgraduate mental health taskforce.
  • 2020.08 - 2022.07
    Mentoring and Outreach Co-chair
    Responsible for the Computer Science Departments "Big Sister Little Sister" peer mentoring program and organised events such as roundtable and panel discussions to encourage mentoring across the department
  • 2015.07 - 2018.10
    Regional Executive Officer (REO)
    Robogals Asia Pacific
    Robogals is an international not-for-profit aiming to inspire, engage, and empower young women into STEM careers. As REO, I was a member of the global leadership team, and led the APAC team to run regional initiatives and support 15 chapters in 5 countries.
    • Rebuilt regions partnerships, chapter support, and cultural awareness strategies
    • developed an Alumni program
    • led the organisation to achieve a Highly Commended Engineers Australia Diversity Award (not-for-profit category)
  • 2012.02 - 2017.06
    University of Queensland
    Actively involved in many parts of the university community
    • Student Mentor for the UQ Young Scholars Program (2016 - 2017), an academic extension and enrichment opportunity for high achieving high school students
    • Women in Engineering Student Leader (2014 - 2015), an award winning initiative which sucessfully incresed gender diversity across the faculty
    • ICT Ambassador (2012 - 2014), representing the university at Open Days and study expos.
  • 2012.02 - 2015.06
    Robogals Brisbane
    The local branch of Robogals for the University of Queensland. As President (and previously secretary), I rebuilt the chapter from 3 volunteers to a growing and stable chapter of over 40 volunteers and many external supporters. Additionally designed and led LEGO Mindstorms workshops for 6 to 18 year olds, logging over 165 individual teaching hours across 80 workshops.


  • 2024.01
    Distinguished Paper Award
    CPP24 (Certified Proofs and Programs)
    Distinguished papers are awarded to the top 10% of accepted conference papers
  • 2022.07
    Academic Award
    British Federation of Women Graduates
    Competitive award for PhD research excellence and the ability to communicate research to a non-expert audience.
  • 2022.06
    Silvia Breu Teaching Prize
    Queens College, Cambridge
    Best Supervisor in Computer Science, as nominated by students and selected by college fellows.
  • 2019.10
    Cambridge Australia Poynton International PhD Scholarship
    Cambridge Australia, the Cambridge Trust
    Competitive international PhD scholarship covering international fees and stipend
  • 2019.10
    Qualcomm PhD Studentship
    Department of Computer Science and Technology, Cambridge
    Covered local portion of PhD fees and a conference travel allowance.
  • 2018.07
    University Medal
    University of Queensland
    Awarded to top 5% of First Class Honours graduates in 2017.
  • 2017.09
    ICT Young Achiever Award
    Women in Technology, Queensland
    Awarded for leadership and notable contributions to the ICT industry in Queensland.
  • 2017.01
    Top100 Future Leader Australia - Software Engineering Prize Winner
    National award program to recognise Australia's top universities and university students.
  • 2015
    Fourth Year Engineering Travelling Fund
    University of Queensland - Faculty of Engineering, Architecture and IT
    Awarded for academic excellence while on exchange.
  • 2014
    Frank Joseph Murphy Bursary
    University of Queensland - Faculty of Engineering, Architecture and IT
    Pre-exchange scholarship awarded for academic merit.
  • 2014
    Joan Wickham Memorial Prize
    University of Queensland - Faculty of Engineering, Architecture and IT
    Awarded to the top women in engineering (based on GPA) after two years of study.
  • 2013
    Robogals Ericsson Scholarship
    Acknowledgement of leadership potential and service.
  • 2012
    Phyllis Cannon Scholarship
    Brisbane Girls Grammar School
    Alumni award for academic success in the first year of a Science degree at university.
  • 2012
    Scholarship for Academic Merit
    University of Queensland
    Scholarship based on academic achievement in high school.
  • 2012
    ICT Enabling Scholarship
    University of Queensland
    Scholarship for those entering an IT-based degree who've achieve academic success in high school.


Native speaker