If you introduce yourself to girl, but stopped talking for 5 months. Because you overthink.
Then you catch her outside the workplace,
(Workplace both students at campus, she works at library, I study in library)
to ask her if she interested in grabbing coffee sometime?