Luijk's research is on explicit methods in higher-dimensional arithmetic algebraic geometry, motivated by Diophantine problems. In particular, he works on K3 surfaces, which are of interest to algebraic geometers, number theorists and theoretical physicist s. In his thesis, Luijk solved two explicit open Diophantine problems. He also developed a method to bound the rank of the Neron-Severi group o ...