김기환 (Tsinghua U): Quantum computation and quantum simulation with
trapped ions