https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=Marta_Kwiatkowska%2C_Jul_2023 2026-09-16T22:14:55Z Revision history for this page on the wiki MediaWiki 1.44.2 https://murray.cds.caltech.edu/index.php?title=Marta_Kwiatkowska,_Jul_2023&diff=25674&oldid=prev 2023-07-18T23:55:03Z

<p><span class="autocomment">Schedule</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 23:55, 18 July 2023</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5">Line 5:</td> <td colspan="2" class="diff-lineno">Line 5:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 8:30 am: Apurva (via Zoom)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 8:30 am: Apurva (via Zoom)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 9:15 am: Open</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 9:15 am: Open</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* 10:00 am: Richard Murray (109 Steele Lab)</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* 10:00 am: Richard Murray (109 Steele Lab <ins style="font-weight: bold; text-decoration: none;">or Zoom</ins>)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 11:00 am: Seminar (121 Annenberg)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 11:00 am: Seminar (121 Annenberg)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 12:00 pm: Lunch with Richard, Erik, Lulu</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 12:00 pm: Lunch with Richard, Erik, Lulu</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 1:30 pm: Lulu Qian</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 1:30 pm: Lulu Qian</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 2:15 pm: Erik Winfree</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 2:15 pm: Erik Winfree</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* 3:00 pm: <del style="font-weight: bold; text-decoration: none;">Open (</del>T&amp;E<del style="font-weight: bold; text-decoration: none;">?</del>)</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* 3:00 pm: T&amp;E <ins style="font-weight: bold; text-decoration: none;">discussion with Josefine, Kimia (111 Keck</ins>)</div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* 4:00 pm: <del style="font-weight: bold; text-decoration: none;">Open </del>(<del style="font-weight: bold; text-decoration: none;">Pacti?</del>)</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* 4:00 pm: <ins style="font-weight: bold; text-decoration: none;">Pacti discussion with Inigo </ins>(<ins style="font-weight: bold; text-decoration: none;">111 Keck</ins>)</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 5:00 pm: done for the day</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 5:00 pm: done for the day</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <!-- diff cache key acs_math_mw_144-murraycds_:diff:1.41:old-25673:rev-25674:php=table --> </table>

Murray https://murray.cds.caltech.edu/index.php?title=Marta_Kwiatkowska,_Jul_2023&diff=25673&oldid=prev 2023-07-17T19:05:58Z

<p><span class="autocomment">Schedule</span></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="en"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 19:05, 17 July 2023</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">Line 3:</td> <td colspan="2" class="diff-lineno">Line 3:</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Schedule ===</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Schedule ===</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* 8:30 am: <del style="font-weight: bold; text-decoration: none;">Open</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* 8:30 am: <ins style="font-weight: bold; text-decoration: none;">Apurva (via Zoom)</ins></div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 9:15 am: Open</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 9:15 am: Open</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 10:00 am: Richard Murray (109 Steele Lab)</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* 10:00 am: Richard Murray (109 Steele Lab)</div></td></tr> <!-- diff cache key acs_math_mw_144-murraycds_:diff:1.41:old-25672:rev-25673:php=table --> </table>

Abadithe https://murray.cds.caltech.edu/index.php?title=Marta_Kwiatkowska,_Jul_2023&diff=25672&oldid=prev 2023-07-17T01:51:59Z

<p>Created page with &quot;Marta Kwiatkowska from the University of Oxford will be visiting on 21 Jul (Fri). === Schedule === * 8:30 am: Open * 9:15 am: Open * 10:00 am: Richard Murray (109 Steele Lab) * 11:00 am: Seminar (121 Annenberg) * 12:00 pm: Lunch with Richard, Erik, Lulu * 1:30 pm: Lulu Qian * 2:15 pm: Erik Winfree * 3:00 pm: Open (T&amp;E?) * 4:00 pm: Open (Pacti?) * 5:00 pm: done for the day === Abstract === TBD === Bio === Marta Kwiatkowska is Professor of Computing Systems and Fello...&quot;</p> <p><b>New page</b></p><div>Marta Kwiatkowska from the University of Oxford will be visiting on 21 Jul (Fri).<br /> <br /> === Schedule ===<br /> <br /> * 8:30 am: Open<br /> * 9:15 am: Open<br /> * 10:00 am: Richard Murray (109 Steele Lab)<br /> * 11:00 am: Seminar (121 Annenberg)<br /> * 12:00 pm: Lunch with Richard, Erik, Lulu<br /> * 1:30 pm: Lulu Qian<br /> * 2:15 pm: Erik Winfree<br /> * 3:00 pm: Open (T&amp;E?)<br /> * 4:00 pm: Open (Pacti?)<br /> * 5:00 pm: done for the day<br /> <br /> === Abstract ===<br /> <br /> TBD<br /> <br /> === Bio ===<br /> <br /> Marta Kwiatkowska is Professor of Computing Systems and Fellow of<br /> Trinity College, University of Oxford. She was elected to Academia<br /> Europea and received a prestigious ERC Advanced Grant VERIWARE &quot;From<br /> software verification to everyware verification&quot;, 2010-15.<br /> <br /> Kwiatkowska&#039;s research is concerned with modelling and verification<br /> techniques for probabilistic systems, with application to engineered and<br /> biological systems. She spearheaded the development of probabilistic and<br /> quantitative methods in verification on the international scene. Her<br /> work on the theory to practice transfer of probabilistic model checking<br /> was recognised by invitations to speak at the LICS 2003 and ESEC/FSE<br /> 2007 conferences. She led the development of the PRISM model checker<br /> (www.prismmodelchecker.org), the leading software tool in the area and<br /> widely used for research and teaching. Applications of probabilistic<br /> model checking have spanned communication and security protocols,<br /> nanotechnology designs, power management and systems biology. Her<br /> research is currently supported by £3.7m of grant funding from EPSRC,<br /> EU, DARPA, Oxford Martin School and Microsoft Research.<br /> <br /> Kwiatkowska serves on editorial board of IEEE Transactions on Software<br /> Engineering, Philosophical Transactions of the Royal Society A and<br /> Science of Computer Programming, and has lectured at several summer<br /> schools, including ESSLLI and the Marktoberdorf Summer School.</div>

Murray