Personal Information
Organização/Local de trabalho
Tokyo Japan
Cargo
programmer
Marcadores
computer science
functional programming
haskell
parallel computing
randomized algorithm
competitive programming
algorithm
computational geometry
delaunay triangulation
coq
type theory
proof assistant
c#
actor model
process calculus
process algebra
concurrent computing
wikipedia
open mpi
mpi
programming padadigm
probability
quick sort
programming
Ver mais