Lacking a response to my question, I'll assume there's no "correct' answer here.
Joaquin could contact the university's graphic arts department, or if he's interested in the programming side of it, the computer science department, and ask if they have any information on the topic. If he's already majoring to become an animator, then he should talk to one of his professors to see if they know someone in the business that would speak with Joaquin.
The faster and better way would be to go to reddit, or some site at which animators congregate (most probably found through Google), read the forums, and create if he's not finding a suitable answer.
Point out that it takes education in coding and computer programming in order to get to the basis of designing and programming video games, and that it takes weeks, months, if not years to fully complete a game. He would need time and patience in order to work in the video game creation idustry. Schooling for programming computers and apps can take years.
well that happened to me to and what my dad did was to cut the cable and fix it,it worked.Ithink my situation is very different than yours but you cantiue to see what else it says and if you want to you can text me back.