Yuto Takei

Master student at Imai Laboratory
Department of Computer Science
Graduate School of Information Science and Technology
The University of Tokyo

y.takei@is.s.u-tokyo.ac.jp

Academic interests

Programming language design
Information security
Parallel computing algorithms

Registered courses (2012 Summer)

Intensive courses

4810-3001-2 Special Lectures in Computer Science(M'Course)I

Past courses: 2011 winter

Projects

ocamlgraph
As an internship, contribution in some algorithms and graph data structure.

Internship

[Aug 2010 - Oct 2010] Google Inc.
Software Engineer Intern at Google Maps team
[Aug 2011 - Sep 2011] Preferred Infrastructure
Internship of research and development on multilingual text analysis
[Feb 2012 - Mar 2012] Laboratoire de Recherche en Informatique
Research internship with supervision by Jean-Christophe Filliâtre. Formal verification of Bellman-Ford algorithm.

Job experiences

[Apr 2007 - Dec 2010] Sapporo Sports Plaza
Part-time employee as a receptionist, a gymnasium trainer and a swimming instructor
[Apr 2007 - Mar 2008] Z-kai Todai Master Course
Part-time employee as a textbook reviewer for mathematics
[Apr 2010 - present] School of Engineering, The University of Tokyo
Part-time librarian at Engineering Building 2 Library