No tenemos la biografía de Tien-Kui Lin.