Date & Access

  • Date : 2015.03.20 (Fri)
    Time : 9:30 am 〜 5:00 pm

  • Place : Ochanomizu University Faculty of Science, Building 3, 209


  • The poster image can be obtained here


    9:30 - 10:00 Opening (incl. short self-introduction by speakers)

    10:00 - 10:50 Marta Kwiatkowska

    10:50 - 11:20 Coffee break

    11:20 - 12:10 Nadia Polikarpova

    12:10 - 13:30 Lunch

    13:30 - 14:20 Ina Schaefer

    14:20 - 14:30 Break

    14:30 - 15:20 Sarah Loos

    15:20 - 15:40 Coffee Break

    15:40 - 16:30 Lenore Zuck

    16:30 - 17:00 Closing


Click to see details.
Sarah Loos (Carnegie Mellon University)
Sarah Loos is a Ph.D. student in the computer science department at Carnegie Mellon University. Her research interests include logical analysis and formal verification of distributed hybrid systems, such as distributed car control and collision avoidance protocols for aircraft. She is a Department of Energy computational science graduate fellow and an NSF graduate research fellow. In addition to her role as co-editor of the ACM-W newsletter, Sarah has served as a student member on the board of trustees for the Anita Borg Institute for Women and Technology. She also serves on the board of directors for the Foundation for Learning Equality, a non-profit tech company dedicated to bringing the online learning revolution to communities with little or no internet connectivity. Sarah received her undergraduate degree from Indiana University with two BS degrees, in computer science and mathematics.
Marta Kwiatkowska (Department of Computer Science, University of Oxford)
Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Prior to this she was Professor in the School of Computer Science at the University of Birmingham, Lecturer at the University of Leicester and Assistant Professor at the Jagiellonian University in Cracow, Poland. She holds a BSc/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester. In 2014 she was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm.

Marta Kwiatkowska spearheaded the development of probabilistic and quantitative methods in verification on the international scene. She led the development of the PRISM model checker, the leading software tool in the area and widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, game theory, planning and systems biology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska gave the Milner Lecture in 2012 in recognition of "excellent and original theoretical work which has a perceived significance for practical computing" and was invited to give keynotes at the LICS 2003, ESEC/FSE 2007, ETAPS/FASE 2011 and ATVA 2013 conferences.

Marta Kwiatkowska is a member of Academia Europea and Fellow of the BCS. She serves on editorial boards of several journals, including Information and Computation, IEEE Transactions on Software Engineering, Formal Methods in System Design, Logical Methods in Computer Science, Science of Computer Programming and Royal Society's Philosophical Transactions A. Kwiatkowska's research has been supported by grant funding from EPSRC, ERC, EU, DARPA and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE "From software verification to everyware verification".
Nadia Polikarpova (MIT CSAIL)
Nadia Polikarpova is a postdoctoral researcher at MIT, where she works with Armando Solar-Lezama. She obtained her PhD at ETH Zurich in 2014. Her research interests are in program verification and synthesis.
Ina Schaefer (Technische Universität Braunschweig)
Since April 2012, Ina Schaefer is full professor and head of the Institute of Software Engineering and Automotive Informatics at Technische Universität Braunschweig, Germany. She received her PhD in 2008 at Technische Universität Kaiserslautern and was 2010-2011 Postdoc at Chalmers University, Gothenburg, Sweden. Her research interests include the modular modeling and implementation of variant-roch software systems, as well as efficient quality assurance procedures for software variants and versions. She initiated the workshop series " Formal Methods for Software Product Line Engineering " and is PC co-chair of FASE'15. She is co-author of over 70 technical publications in relevant journals and conferences.
Lenore Zuck (University of Illinois at Chicago)
Lenore Zuck teaches at the University of Illinois at Chicago. She returned there after having spent several years as a program director at the National Science Foundation, where she was a member of the Trustworthy Computing program, the Software and Hardware Foundation program, and the Cyber Physical Systems program. Her background is in formal methods. Her recent work includes translation validation of and defenses for optimizing compilers, methodologies for automatic verification of infinite-state systems, applications of formal methods to security, and ethics. Lenore has moved to UIC from NYU. Before that, she was on the Computer Science faculty at Yale University. Lenore holds a PhD in Computer Science from the Weizmann Institute of Science.


  • Keiko Nakata (FireEye Dresden)
  • Kenichi Asai (Ochanomizu University)
  • Yayoi Ueda (Ochanomizu University)
  • Yuki Ishii(Ochanomizu University)
  • Chihiro Uehara (Ochanomizu University)
  • Kyoko Kadowaki (Ochanomizu University)


  1. To Ochanomizu University from Ikebukuro Station
  2. See here

  3. From Ikebukuro to the airport
  4. (i) Airport bus
    From Hotel Metropolitan Tokyo, near from Ikebukuro station, it takes about 90-140 min. to the airport and it costs 3100JPY.
    (ii) Train
    Here is the time table of Narita Express.(costs about 3000JPY)
    You can also use Skyliner. Here is the Timetable.

  5. From Ochanomizu station to the airport
  6. (i) Airport bus from Tokyo station.
    It takes about 5min. from Ochanomizu station to Tokyo station. Timetable
    It costs 3100JPY and takes 75-125 min.
    (ii) Train
    You can use Narita Express from Tokyo station.
    It takes about an hour and costs about 3000JPY. Timetable

  7. From hotels near Narita airport
  8. (i) APA hotel
    They have free shuttle bus everyday. Timetable (in Japanese)
    (ii) Narita View Hotel
    Shuttle bus timetable (from the hotel to the airport)