Rchr
J-GLOBAL ID：200901037910036466   Update date: May. 17, 2020

Nowak David

ノウ ゙ァック ダウ ゙ィッド | Nowak David
Affiliation and department：
National Institute of Advanced Industrial Science and Technology Research Center for Information Security

About National Institute of Advanced Industrial Science and Technology Research Center for Information Security


Job title： Research scientist
Homepage URL  (1)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=D46514141
Research field  (1)： Information theory
Research keywords  (4)： temporal logic ,  model checking ,  proof aid ,  verification
Research theme for competitive and other funds  (1)：
  • Software security
MISC (1)：
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM