Andy Brooks uses Inform 7 as a game engine for an introductory games programming course at an Icelandic university.
I teach about the standard IF puzzle types (door puzzles, light source puzzles, vehicle puzzles, time puzzles, and puzzles involving NPCs) and then get the students to tackle a big assignment to create their own IF game. They then playtest each others´ games to learn about that side of game development.
(I guess roughly 60% of the module is on this.)
The relevant syllabus, complete with Inform examples, may be found here.