Marta Kwiatkowska - Marta Kwiatkowska

Tento článek má několik problémů. Prosím pomozte zlepšit to nebo diskutovat o těchto problémech na internetu diskusní stránka. (Zjistěte, jak a kdy tyto zprávy ze šablony odebrat) Tento životopisný článek je psáno jako životopis. Prosím pomozte to vylepšit revizí, aby to bylo neutrální a encyklopedický. (Červen 2019) Zdá se, že hlavní přispěvatel do tohoto článku má úzké spojení s jeho předmětem. Může vyžadovat vyčištění, aby vyhovovalo zejména obsahovým zásadám Wikipedie neutrální hledisko. Diskutujte prosím dále o diskusní stránka. (Červen 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Marta Zofia Kwiatkowska FRS MAE je polština teoretický počítačový vědec se sídlem ve Velké Británii.^[2][1] Je profesorkou výpočetní techniky v USA Ústav výpočetní techniky na University of Oxford, Anglie,^[3] a a Chlapík z Trinity College v Oxfordu.^[4]

Vzdělání

Kwiatkowska ji přijal Bakalář věd a Mistr vědy stupňů v Počítačová věda s vyznamenáním summa cum laude z Jagellonská univerzita v Krakov, Polsko. Titul PhD získala v Počítačová věda z University of Leicester v roce 1989.^[5][6]

Kariéra a výzkum

Mezi jejím získáním BSc /MSc a její jmenování profesorem počítačových systémů na VŠE University of Oxford v roce 2007 působila Kwiatkowska v následujících funkcích.^[6]

• Odborný asistent, Jagellonská univerzita, Krakov, Polsko (1980–1988)
• Vědecký pracovník, University of Leicester (1984–1986)
• Přednášející v Počítačová věda, University of Leicester (1986–1994)
• Přednášející v Počítačová věda, University of Birmingham (1994–1998)
• Čtenář v Sémantika pro Konkurence, University of Birmingham (1998–2001)
• Profesor Počítačová věda, University of Birmingham (2001–2007)

Její výzkum se v posledních několika letech zaměřil hlavně na modelování a ověření pravděpodobnostních systémů, konkrétně pravděpodobnostních kontrola modelu techniky. Vedla rozvoj první a mezinárodně přední pravděpodobnostní symbolické kontrola modelu HRANOL,^[7] považován za mezník pro výzkum v této oblasti.^{[Citace je zapotřebí ]}

Kwiatkowska slouží dál redakční rady několika deníky, počítaje v to Informace a výpočet Formální metody v návrhu systému, Logické metody v informatice, Věda o počítačovém programování a královská společnost je Otevřená věda. Její výzkum podpořila grant financování z EPSRC, ERC, EU, DARPA, a Microsoft Research Cambridge, včetně prestižního ERC Advanced Grant VERIWARE a EPSRC Program Grant on Mobile Autonomy.^[8]

Kwiatkowska v současné době působí jako zástupce vedoucího oddělení (odpovědného za výzkum) na Ústav výpočetní techniky v Oxford, a byla první profesorkou katedry (nastoupila v roce 2007). Je vedoucí výzkumného tématu Automatizované ověřování.

Projekty

• Mobile Autonomy (2015–2020), an ERC -financovaný programový grant.
• AFFECTech (2017–2020), financovaný EU Horizon2020 výzkum a inovace program.

Vybrané předchozí výzkumné projekty

• VERIWARE: Od ověření softwaru po ověření „Everyware“.
• VERIPACE: Nástroje pro návrh, analýzu a syntézu softwaru pro kardiostimulátor.
• Předvídatelné softwarové systémy.
• CONNECT-IP: Nouzové konektory pro věčné softwarové síťové systémy.
• Automatizované kvantitativní ověření softwaru pomocí HRANOL.
• UbiVal: Základní přístupy k validaci všudypřítomných počítačových aplikací a infrastruktur.
• Formování mezinárodní komunity velkých výzev pro všudypřítomné výpočty.
• Prediktivní modelování signálních drah pomocí pravděpodobnostního modelu s kontrolou HRANOL.
• Automatické ověřování pravděpodobnostních protokolů s HRANOL.
• Pravděpodobnostní model kontroly mobilních síťových protokolů ad hoc.
• Ověření vlastností služby v časovaných systémech.
• Automatické ověřování náhodně distribuovaných algoritmů.

Pozoruhodné příspěvky

• Zavedeno pravděpodobnostní / kvantitativní kontrola modelu na mezinárodní scéně a postavil se do čela jeho přechodu od teorie k praxi.
• Vedl vývoj HRANOL, přední světový pravděpodobnostní kontrola modelu považován za mezník pro výzkum v této oblasti, který byl stažen přes 60 000^[9] a získal cenu HVC 2016.^[10]
• Formulované a implementované nové rámce pro: sémantické modely pravděpodobnostních systémů; ověření pro pravděpodobnostní časované automaty a pravděpodobnostní software; více cílů kontrola modelu pro pravděpodobnostní systémy; softwarové ověření pro senzorové sítě; kvantitativní multi-cíl ověření a syntéza regulátoru pro stochastické hry; kvantitativní runtime a přírůstkové ověření; a syntéza parametrů pro pravděpodobnostní modely.
• Vyvinuty rozsáhlé kompoziční rámce pro převzetí a záruku uvažování pro systémy založené na komponentách modelované jako automaty rozhraní, stejně jako kvantitativní ověření a syntéza strategie pro pravděpodobnostní systémy.
• Použitá pravděpodobnost ověření a syntéza široké škály systémů z reálného světa, detekce nedostatků v některých z nich, včetně Bluetooth spolehlivost protokolu nanotechnologie návrhy a protokol pro správu poptávky smartgrid.
• Byl vyvinut rozsáhlý modelový rámec pro uzavřenou smyčku ověření z kardiostimulátor modely proti personalizovaným srdce modely. Rámec podporuje kvantitativní ověření, personalizace a optimální syntéza zpoždění načasování pro kardiostimulátor software.
• Poprvé použito pravděpodobnostní kontrola modelu v biologie systémů předpovědět kvantitativní vlastnosti FGF signální dráhy, které byly později experimentálně potvrzeny.
• Rozšířená a aplikovaná pravděpodobnost ověření automaticky vyhledávat a diagnostikovat chyby ve Windows DNA výpočetní návrhy, studium výpočetního potenciálu a analýza spolehlivosti systému Obvody DNA Walker a vyvinout prediktivní model DNA origami skládání, které slouží jako „molekulární prkénko“ pro Obvody DNA v článku publikovaném v Příroda.^[11]

Vybrané přednášky a přednášky

• „Kdy důvěřovat robotovi“ – Hay Festival přednáška 30. května 2017.
• „Ověření bezpečnosti hlubokých neuronových sítí“ - pozval přednášku na Ověření pomocí počítače (CAV) 2017.
• „Kontrola modelu a syntéza strategie pro stochastické hry: od teorie k praxi“ - pozvaná přednáška na Simonsův institut pro teorii práce s počítačem, UC Berkeley, Říjen 2016.
• „Mobilní autonomní roboti“ - pozvaná přednáška na IntelliSys, září 2016.
• Rozhovor na konferenci SAI Computing Conference 2016.
• „Odhad a ověření modelů hybridního srdce pro přizpůsobené lékařské a nositelné přístroje“ - hlavní přednáška na CMSB 2015.
• „O kvantitativním modelování a ověřování obvodů DNA Walker pomocí stochastických Petriho sítí“ - hlavní přednáška na Petriho sítě 2015 / ACSD 2015.
• „Snímání všude: na kvantitativním ověření pro všudypřítomné výpočty“ - ACCESS Distinguished Přednáška na KTH Královský technologický institut ve Stockholmu, listopad 2014, na základě roku 2012 Milnerova přednáška, University of Edinburgh.
• „Snímání všude: na kvantitativním ověření pro všudypřítomné výpočty“ – 2012 Milnerova přednáška, University of Edinburgh, Září 2012.
• „Automatické ověřování a syntéza strategie pro pravděpodobnostní systémy“ - hlavní přednáška na ATVA 2013, Hanoi, Vietnam.
• „Simulace a ověření pro výpočetní modelování signálních drah“ - přednáška na Algorithmic Bioprocesses 2007.
• „Kontrola pravděpodobnosti a času modelu: od teorie k praxi“ - pozval přednášku na LICS 2003, Ottawa.
• Výukový program ke kontrole pravděpodobnostního modelu v POPL 2015.
• Pozvaný návod, 4. Letní škola formálních technik v Atherton, Kalifornie, 2014.

Členství ve výborech

• Člen, Presburger Award, od roku 2016.
• Člen, Ověření pomocí počítače Panel ocenění (CAV), 2010 - 2014.
• Židle, Evropská rada pro výzkum (ERC) Starting Grants Panel (PE6), 2012 - 2016.
• Člen, Rámec excelence výzkumu (REF) 2014 Subpanel 11 (Počítačová věda a Informatika ).
• Člen, královská společnost Dorothy Hodgkin Panel přátelství, od roku 2012.
• Člen, Vídeň Panel Vědeckotechnického fondu, 2012 a 2015.
• Člen, holandský Informatika Kontrolní panel, 2009.

Ocenění a vyznamenání

• Zvolen a Člen královské společnosti (FRS) v roce 2019.
• Milner Award 2018.
• Kolega z Evropská asociace pro teoretickou informatiku (EATCS), zvolen v roce 2017.
• Člen týmu Sdružení pro výpočetní techniku (ACM), zvolený v roce 2016 za „zásadní příspěvek k teorii a praxi pravděpodobnostního ověřování a jeho aplikacím“.
• Konference o ověření v Haifě Cena 2016, společně s Davem Parkerem a Gethinem Normanem, „za vynález, vývoj a údržbu pravděpodobnostního modelu PRISM.“
• čestný doktorát, KTH Královský technologický institut, 2014, oceněn jako „hybná síla pro vývoj pravděpodobnostních a kvantitativních metod v informatice“.
• Zvolen pro přednášku Milner 2012 na University of Edinburgh, oceněn za „vynikající a originální teoretickou práci, která má vnímaný význam pro praktické výpočty.“
• Člen Academia Europaea (MAE), zvolen 2011^[12]
• Kolega z Britská počítačová společnost (BCS), zvolen v roce 2008.

Osobní život

Kwiatkowska žije v Oxford s manželem, se kterým má dceru.^{[Citace je zapotřebí ]}

Reference

externí odkazy

• Domovská stránka Kwiatkowské univerzity v Oxfordu
• Domovská stránka Trinity College společnosti Kwiatkowska