‹ Dependable Systems Lab.
Japanese

Toshifusa Sekizawa

Home Publication Lectures

Affiliation:

  • Department of Computer Science, College of Engineering, Nihon University
Title: Associate Professor

Work Experience:

2014 Apr. - (present) : associate professor, Dept. of Computer Science, College of Engineering, Nihon University
2013 Apr. - 2014 Mar.: associate professor, Faculty of Informatics, Osaka Gakuin University
2009 Apr. - 2013 Mar.: lecturer, Faculty of Informatics, Osaka Gakuin University
2010 Apr. - 2012 Mar.: visiting researcher, Collaborative Facilities for Verification and Specification, AIST
2009 Apr. - 2010 Mar.: visiting researcher, Research Center for Verification and Semantics, AIST
2008 Apr. - 2009 Mar.: part-time lecturer, Faculty of Informatics, Osaka Gakuin University
2005 Sep. - 2009 Mar.: technical staff, Research Center for Verification and Semantics, AIST
2004 Apr. - 2005 Aug.: Japan Science and Technology Agency (JST)
2003 Jun. - 2004 Mar.: technical staff, AIST
1998 Apr. - 2003 May.: Nihon Unisys Ltd.

Education:

2009 Ph.D., Graduate School of Information Science and Technology, Osaka University
1998 MSc, Graduate School of Science (Course of Physics), Gakushuin University
1996 BSc, Department of Physics, Faculty of Science, Gakushuin University

Social Activities:

  • 2018 - (present): IoTPST 2018, Technical Program Committee
  • 2018 - (present): COMPSAC 2018 SETA, Program Committee
  • 2017 - (present): IPSJ/SIGSE Winter Workshop 2019, Chair
  • 2017 - (present): IPSJ SIGEMB, Steering Committee
  • 2014 - (present): IPSJ SIGSE, Steering Committee
  • 2016 - 2017: COMPSAC 2017 SETA, Program Committee
  • 2017 - 2017: IoTPST 2017, Technical Program Committee
  • 2015 - 2016: COMPSAC 2016 SETA, Program Committee
  • 2016 - 2016: JSSST FOSE 2016, Program Committee
  • 2014 - 2015: COMPSAC 2015 SETA, Program Committee
  • 2015 - 2015: JSSST FOSE 2015, Program Committee
  • 2014 - 2014: JSSST FOSE 2014, Program Committee
  • 2014 - 2014: SERA 2014, Program Committee
  • 2013 - 2014: JSSST journal "Computer Software", Guest Editor
  • 2012 - 2013: JSSST FOSE 2013, Program Co-Chair