Cookies on this website
We use cookies to ensure that we give you the best experience on our website. If you click 'Continue' we'll assume that you are happy to receive all cookies and you won't see this message again. Click on 'Find out more' to see our Cookie statement.

Professor Marta Kwiatkowska from the Department of Computer Science discusses her research specialism in developing modelling and analysis methods for complex systems in an interview for the University's Science Blog. This work includes those arising in computational networks (which are applicable to autonomous technology), electronic devices and biological organisms.

Molecular structure model

Are there any AI research developments that excite you or that you are particularly interested in?

Robotics, including autonomous vehicles, and the potential of neural networks, such as autonomous vehicles, image and speech recognition technology. For example, developments like the Amazon Alexa-controlled Echo speaker have inspired me to work on techniques to support the design and specifically safety assurance and social trust, of such systems.

What can be done to encourage more women in AI?

I think women should have the same opportunities as men and we should raise awareness of these opportunities, through networking, female role models and the media. AI is embedded in all aspects of our lives and we need all sections of society to contribute to the design and utilisation of AI systems in equal measure, and this includes women as well as men.

What research projects are you currently working on?

I am following several strands of work of relevance for autonomous systems, mobile devices and AI, including developing formal safety guarantees for software based on neural networks, such as those applied in autonomous vehicles. This involves formalising and evaluating the social trust between humans and robots. A social trust model is based on the human notion of trust, which is subjective. To make the model applicable to technology you have to develop 'correct by construction' techniques and tools for safe, efficient and predictable mobile autonomous robots. That means building personalised tools for monitoring and the regulation of affective behaviours through wearable devices.

Professor Marta Kwiatkowska
Professor Marta Kwiatkowska

In your opinion what are the biggest challenges facing the field?

Technological developments present my field with tremendous opportunities, but the speed of progress creates challenges around formal verification and synthesis - particularly the complexity of the systems to be modelled. We therefore need to develop techniques that can be accurate at scale, deal with adaptive behaviour and produce effective results quickly.

What motivates you in your field?

I like working on mathematical foundations and gaining new insight from that, but my main motivation is to make the theoretical work applied through developing algorithms and software tools: I refer to this as a "theory to practice" transfer of the techniques.

What research are you most proud of?

I was involved in the development of a software tool called PRISM (www.prismmodelchecker.org) , which is a probabilistic model checker. It is widely used for research and teaching and has been downloaded 65,000 times.

Who inspires you?

I have been inspired by several leading academics in my career, but one particular female scientist and my fellow countrywoman has been a role model and an inspiration for me throughout, Maria Sklodowska-Curie, because she combined a successful career with family.

Learn more about Professor Kwiatkowska’s research here and here.

Story courtesy of the University of Oxford Science Blog

Similar stories

Oxford research given significant boost to develop lithium-rich battery cathodes

Materials science Research

A team of scientists, including those based at the University of Oxford as part of the Faraday Institution CATMAT project, researching next-generation cathode materials have made a significant breakthrough in understanding oxygen-redox processes involved in lithium-rich cathode materials.

Lack of prey is causing puffin chicks to starve leading to population declines

Research Zoology

New research from the University of Oxford’s Department of Zoology has used innovative technology to study causes of declines in puffin populations in the northeast Atlantic, and found that a lack of prey near some major breeding colonies is driving puffin chicks to starve, ultimately leading to population declines.

Could South African mine wastes provide a feasible storage method for millions of tonnes of CO2?

Climate change Engineering Research

An article written for the University's Science Blog by Liam Bullock (Engineering Science), Zakhele Nkosi and Maxwell Amponsah-Dacosta.

Engineering Science team awarded joint UK-Ireland funding to research ocean wave breaking

Engineering Funding Research

£1.1m multi-institution project aims to assist the development of offshore renewable energy in challenging sea conditions.

Michael Wooldridge Wins 2021 Outstanding Educator Award

Award Computer science

Professor Wooldridge has received this award, given by the Association for the Advancement of Artificial Intelligence (AAAI) and the Symposium on Educational Advances in Artificial Intelligence (EAAI), for outstanding global leadership in AI education and public awareness.

Joining the spots: leopard print fashion and big cat conservation

Research Zoology

Researchers at the Department of Zoology's Wildlife Conservation Research Unit explore the extent of public interest in leopard print fashion, and whether this interest could be harnessed for the benefit of the animals through a ‘species royalty’ initiative.

Similar stories

Oxford research given significant boost to develop lithium-rich battery cathodes

Materials science Research

A team of scientists, including those based at the University of Oxford as part of the Faraday Institution CATMAT project, researching next-generation cathode materials have made a significant breakthrough in understanding oxygen-redox processes involved in lithium-rich cathode materials.

Lack of prey is causing puffin chicks to starve leading to population declines

Research Zoology

New research from the University of Oxford’s Department of Zoology has used innovative technology to study causes of declines in puffin populations in the northeast Atlantic, and found that a lack of prey near some major breeding colonies is driving puffin chicks to starve, ultimately leading to population declines.

Could South African mine wastes provide a feasible storage method for millions of tonnes of CO2?

Climate change Engineering Research

An article written for the University's Science Blog by Liam Bullock (Engineering Science), Zakhele Nkosi and Maxwell Amponsah-Dacosta.

Engineering Science team awarded joint UK-Ireland funding to research ocean wave breaking

Engineering Funding Research

£1.1m multi-institution project aims to assist the development of offshore renewable energy in challenging sea conditions.

Michael Wooldridge Wins 2021 Outstanding Educator Award

Award Computer science

Professor Wooldridge has received this award, given by the Association for the Advancement of Artificial Intelligence (AAAI) and the Symposium on Educational Advances in Artificial Intelligence (EAAI), for outstanding global leadership in AI education and public awareness.

Joining the spots: leopard print fashion and big cat conservation

Research Zoology

Researchers at the Department of Zoology's Wildlife Conservation Research Unit explore the extent of public interest in leopard print fashion, and whether this interest could be harnessed for the benefit of the animals through a ‘species royalty’ initiative.