unfortunately you can’t meet him at the library after the midterm announcement if you haven’t triggered the bugbear question in crypto (since the question itself becomes the topic of conversation when you do meet him), so you need that to continue his route :)
according to the guide, asking him about his real name during the midterm announcement should ensure the bugbear question later on, though if you’re lucky, you can get the question before meeting him in class (like i did), hope this helps!