kids encyclopedia robot

Marta Kwiatkowska facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Marta Kwiatkowska

FRS MAE
Marta Kwiatkowska.png
Kwiatkowska in 2018
Born
Marta Zofia Kwiatkowska

1957 (age 67–68)
Nationality Polish
Citizenship British
Alma mater
Awards
  • BCS Lovelace Medal (2019)
  • Milner Award (2018)
  • ACM Fellow (2016)
Scientific career
Fields
  • Computer Science
  • Automated verification
  • Probabilistic quantitative model checking
Institutions
Thesis Fairness for non-interleaving concurrency (1989)

Marta Zofia Kwiatkowska (born in 1957) is a brilliant Polish computer scientist. She works in the United Kingdom.

Professor Kwiatkowska teaches at the University of Oxford in England. She is also a Fellow at Trinity College, Oxford. Her main work involves creating ways to check if computer systems are safe. She makes sure they work correctly, securely, and efficiently. This is called automated verification.

Education and Early Career

Marta Kwiatkowska studied Computer Science at Jagiellonian University in Kraków, Poland. She earned her Bachelor of Science and Master of Science degrees with high honors.

Later, she moved to the United Kingdom. She completed her PhD in Computer Science in 1989. This degree was from the University of Leicester.

After her PhD, she taught at Jagiellonian University. She also worked at the University of Leicester. Then, she became a professor at the University of Birmingham. In 2007, she joined the University of Oxford. She was the first female professor in their Computer Science Department.

Research on Computer Systems

Professor Kwiatkowska's research helps us understand complex computer systems. This includes things like computer networks, living organisms, and electronic devices. She develops special ways to model and analyze them.

One of her big achievements is leading the creation of PRISM. PRISM is a tool that checks if computer systems work as they should. It's especially good at checking systems that involve chance or probability. PRISM has been downloaded over 79,000 times. More than 400 research papers have used PRISM in their work.

Her work has been very important for developing ways to check computer systems using probability. Recently, she has focused on making sure machine learning and AI systems are safe and reliable. She is part of groups like the Global Partnership on Artificial Artificial Intelligence (GPAI). These groups work to make sure AI is used responsibly and can be trusted.

Supporting Women in Science

Professor Kwiatkowska is a strong supporter of women in science. She is a senior member of OxWoCS, a group for women in computer science at Oxford. She also contributes to events like the Perspektywy Women in Tech Summit. She advises the Suffrage Science Award, which celebrates women in science. Her goal is to encourage more young women to choose careers in science and technology.

Awards and Recognition

Marta Kwiatkowska has received many important awards for her work:

  • In 2020, she became a Fellow of the European Laboratory for Learning and Intelligent Systems (ELLIS Society).
  • She received the BCS Ada Lovelace Medal in 2019. This award recognized her work on checking computer systems using probability.
  • In 2019, she became a Fellow of the Royal Society (FRS). This is a very high honor for scientists in the UK.
  • She was the first woman to win the Royal Society Milner Award in 2018. This was for her important contributions to checking computer models.
  • In 2016, she won the HVC Award for her work on probabilistic model checking.

She also holds an Honorary Doctorate from the KTH Royal Institute of Technology. She is a Fellow of several important organizations. These include the ACM, the EATCS, and the BCS. She is also a member of Academia Europaea and the American Academy of Arts and Sciences.

Personal Life

Marta Kwiatkowska lives in Oxford with her husband. They have one daughter.

kids search engine
Marta Kwiatkowska Facts for Kids. Kiddle Encyclopedia.