Shinshu University HOMEJAPANESEAccess / Campus Map

Shinshu University Researcher DirectoryShinshu University Researcher Directory

Search by Researcher / Research Field
Search by Category

KAWAMOTO PAULINE NAOMI

Academic OrganizationAcademic Assembly School of Science and Technology Institute of EngineeringTEL
Education and Research OrganizationFaculty of Engineering Electrical and Computer EngineeringFAX
PositionAssociate ProfessorMail Address
AddressWakasato 4-17-1Nagano-shi, Nagano-ken 380-8553 JAPANWeb site

Modified:09/22/2017

Profile

Research Field
Professional communication skills development
Mathematical specification of software/hardware systems
Current Subject
Petri net applications for software/hardware design, verification, automatic generation
Keywords:Petri net applications for software/hardware design, verification, automatic generation
Petri net tool development
Keywords:Petri net tool development
Computer-aided instruction systems for English learning
Keywords:Computer-aided instruction systems for English learning
Mizar proof checker applications for hardware specification, verification
Keywords:Mizar proof checker applications for hardware specification, verification
Academic Societies
Academic Societies
Association for Computing Machinery
The Institute of Electrical and Electronics Engineers
Mizar Society

Committee of Academic Societies
2014- , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Treasurer
2013-2013 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Committee Chair
2012-2012 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Committee Chair
2011-2011 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Committee Chair
2010-2013 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Vice Chairman
2010-2010 , Mizar Society , Mizar JAPAN Chapter, Technical Symposium Program Committee Chair
2010-2010 , The Institute of Electrical and Electronics Engineers , Professional Communications Society Technical Meeting, Program Chair
2008-2009 , The Institute of Electrical and Electronics Engineers , Professional Communication Society - Japan Chapter, Secretary
2008-2008 , The Institute of Electrical and Electronics Engineers , Professional Communications Society Technical Meeting, Program Chair
Academic Background
Graduate School
Shinshu University , (Graduate School, Division of Engineering) , 1996
Shinshu University , (Graduate School, Division of Engineering) , 1993

College
Harvey Mudd College , (Faculty of Engineering) , 1988

Degree
Doctor of Engineering
Awards
2016 , IEEE Shinetsu Session Young Researcher Presentation Award
2012 , IEEE Shinetsu Session Young Researcher Presentation Award
Research Career
Research Career
2007- , Shinshu University, Associate Professor
1997- , Shinshu University, Associate Professor
1996- , Shinshu University, Assistant Professor

Research

Books, Articles, etc.
Articles
"A Mechanized Formalization for the Token Invariant Properties in Subclass of Petri net called Decision Free net"
Mechanized Mathematics and Its Applications,9(1):1-10 2014
Author:P. K. Shah, P. N. Kawamoto


"The Formalization of Decision-Free Petri Net"
Formalized Mathematics,22(1):29-35 2014
Author:P. K. Shah, P. N. Kawamoto, M. Giero


"Formulation of Cell Petri Nets"
Formalized Mathematics,21(4):241-247 2013
Author:M. Jitsukawa, P. N. Kawamoto, Y. Shidama


Presentations
Improving Feedback to Novice Learners on Constructing i* Requirements Diagrams
Proceedings of 2016 6th International Workshop on Computer Science and Engineering (WCSE 2016) , :603-606 2016(Jun. 17)
Author:Hajer Mejri and Pauline N. Kawamoto


"i*Check: A Web-based Tool Assistant for Detecting Design Errors in i* Model Data"
Proceedings of the 19th ISERD - International Conference on Engineering, Technology and Innovation (ICETI) , :93-96 2015(Nov. 13)
Author:H. Mejri, P. N. Kawamoto


"Learning to express engineering results in the universal language of mathematics"
IEEE PCSJ 2nd Annual Seminar 2013
Author:P. N. Kawamoto


"Development of An English Text Filter System For Remedial Students and Teachers"
Clute Institute International Academic Conference 2012 , :708-709 2012
Author:D. Watanabe, P. N. Kawamoto


"On the Creation of Notetaking Spaces in Digital Texts"
Clute Institute International Academic Conference 2012 , :784 2012
Author:K. Hara, P. N. Kawamoto


"Development of a Tool for Producing Foreign Language Contents with Audio Synchronized Text Highlights"
HIC Education , :2158-2162 2011
Author:Y. Ogawa, P. N. Kawamoto


"Work in Progress: Online Contents for Continuous Remedial English Training for Japanese University Students"
HIC Education , :2191-2192 2011
Author:Y. Nishimura, P. N. Kawamoto

Themes for Joint Research
Professional communication skills development
Information systems for supporting children's education
Formalization of Petri net properties
Research Activities
Journal Editorial Board
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Technical Symposium and General Assembly of Mizar JAPAN
Mizar Society, Mizar JAPAN Chapter , Mechanized Mathematics and Its Applications

Journal Reviewer
The 6th Podlasie Conference on Mathematics (6PCM)

Education

Lectures
2016 , Academic English I
2016 , Academic English I
2016 , Academic English I
2016 , Academic English I
2016 , Academic English I
2016 , Academic English II
2016 , Advanced Intelligent Processing IV
2016 , Foundations of Computer Science Tutorial I
2016 , Foundations of Computer Science Tutorial III
2016 , Foundations of Computer Science Lab. I
2016 , Foundations of Computer Science Lab. III
2016 , Mathematical Information Science and Its Applications
2016 , Special Seminar I (Kawamoto)
2016 , Special Seminar II (Kawamoto)
2015 , Academic English I
2015 , Academic English I
2015 , Academic English I
2015 , Academic English I
2015 , Academic English I
2015 , Academic English II
2015 , Advanced Intelligent Processing IV
2015
2015
2015
2015
2015 , Mathematical Information Science and Its Applications
2015 , Special Seminar I
2015 , Special Seminar II
Thesis Guidance
2016
Graduation Thesis Number of Students Total:3(International Students:0)
Master's Thesis Number of Students Total:2(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:1)

2015
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:0(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:1)

2014
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:0(International Students:0)
Doctor's Thesis Number of Students Total:3(International Students:2)

2013
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:1(International Students:0)
Doctor's Thesis Number of Students Total:2(International Students:1)

2012
Graduation Thesis Number of Students Total:4(International Students:1)
Master's Thesis Number of Students Total:1(International Students:0)
Doctor's Thesis Number of Students Total:2(International Students:1)

2011
Graduation Thesis Number of Students Total:5(International Students:0)
Master's Thesis Number of Students Total:0(International Students:0)
Doctor's Thesis Number of Students Total:2(International Students:1)

2010
Graduation Thesis Number of Students Total:4(International Students:0)
Master's Thesis Number of Students Total:2(International Students:0)
Doctor's Thesis Number of Students Total:1(International Students:0)

International Student Receipt
2016 , First Term:1 , Second Term:1
2015 , First Term:1 , Second Term:1
2014 , First Term:1 , Second Term:2
2013 , First Term:1 , Second Term:1
2012 , First Term:2 , Second Term:2
2011 , First Term:0 , Second Term:1