Takashi Tomita
Assistant Professor
School of Information Scienceã€Security and Networks Area
Japan Advanced Institute of Science And Technology
Japan
Biography
â– Degrees B.S. from Tokyo Institute of Technology (2007), M.S. from Tokyo Institute of Technology (2009), Ph.D. from Tokyo Institute of Technology (2013) â– Professional Career Researcher at Granduate School of information science and Engineering of Tokyo Institute of Technology (2013) â– Specialties Software Engineering, Formal Methods, Verification, Automated Synthesis, Quantitative Verification, Quantitative Synthesis
Research Interest
Logic, Automata, Reactive System, Model Checking, Specification Verification, Approximation Method
