Qilong Feng

• Theory and Applications of Models of Computation