Marta Kwiatkowska facts for kids
Quick facts for kids
Marta Kwiatkowska
FRS MAE
|
|
|---|---|
Kwiatkowska in 2018
|
|
| Born |
Marta Zofia Kwiatkowska
1957 (age 67–68) |
| Nationality | Polish |
| Citizenship | British |
| Alma mater |
|
| Awards |
|
| Scientific career | |
| Fields |
|
| Institutions | |
| Thesis | Fairness for non-interleaving concurrency (1989) |
Marta Zofia Kwiatkowska, born in 1957, is a brilliant computer scientist from Poland who now lives in the United Kingdom. She is a Professor of Computing Systems at the University of Oxford. Her work is all about making sure computer systems are safe, secure, and work perfectly. She does this by creating special ways to check and test them automatically.
Contents
Education and Early Career
Marta Kwiatkowska studied Computer Science at Jagiellonian University in Poland. She earned both her Bachelor of Science and Master of Science degrees with top honors. Later, she moved to the UK and completed her PhD in Computer Science at the University of Leicester in 1989.
After finishing her PhD, Professor Kwiatkowska worked as a professor at Jagiellonian University. She also taught and researched at the University of Leicester and the University of Birmingham. In 2007, she joined the Department of Computer Science at the University of Oxford. She was the first female professor in that department.
Making Computers Safe and Smart
Professor Kwiatkowska's main research focuses on creating special models and ways to analyze complex computer systems. This helps make sure they work correctly and safely. These systems can be found in many places, like computer networks, electronic devices, and even in how biological organisms work.
The PRISM Tool
One of her most important achievements is leading the creation of a tool called PRISM. PRISM is a special program that helps check if computer systems will behave as expected, especially when there's a chance of things going wrong (like in systems that use probability). PRISM has been downloaded over 79,000 times by researchers around the world. More than 400 research papers have used PRISM in their work.
AI and Responsible Technology
Professor Kwiatkowska is also a leader in developing ways to check and make sure that machine learning and AI systems are safe and reliable. She works to make sure that AI is used in a way that is fair and trustworthy. She is part of important groups like the Global Partnership on Artificial Intelligence (GPAI) and the Royal Society's 'Digital Technology and the Planet Working Group'. These groups help guide how new technologies are developed and used responsibly.
Encouraging Women in Science
Professor Kwiatkowska strongly believes in encouraging more women to pursue careers in science. She is a senior member of OxWoCS, a group that supports women in computer science at Oxford. She also contributes to events like the Perspektywy Women in Tech Summit, which aims to inspire women in technology.
Awards and Recognition
Professor Kwiatkowska has received many important awards for her work:
- In 2019, she was given the BCS Lovelace Medal by the British Computer Society. This award recognized her research in checking computer systems, especially with probability.
- In 2018, she became the first woman to win the Milner Award from the Royal Society. This award celebrated her contributions to making computer system checks more advanced.
- She was also named an ACM Fellow in 2016, which is a high honor for computer professionals.
- In 2014, she received an honorary doctorate from the KTH Royal Institute of Technology.
She is also a Fellow of many important organizations, including the EATCS and the American Academy of Arts and Sciences.
Personal Life
Marta Kwiatkowska lives in Oxford with her husband and their daughter.
