The screenshot is taken here, around 14:18.
https://www.youtube.com/watch?v=qu4U7lwZTRI
I have already asked the speaker for help. He has forgotten what the font is.
So I have to ask professionals here to help me identify the font, thanks in advance.