Programming Systems & Software Engineering research at Drexel University's College ... Programming languages and formal methods, type and effect systems, program verification for operating system ...