A bit of everything. My classes used Scheme, Java, C, ASM, Python, Lua[1], JavaScript, Prolog, OCaml, Coq... Whatever fits any given subject best. And of course you have a bunch of classes like algorithms and theory which do not use a real programming language at all.
[1]: Okay, not really Lua but a custom language heavily based on it.
[1]: Okay, not really Lua but a custom language heavily based on it.