Computing
Software engineering
Computer programming
Carnegie Mellon University
Carnegie Mellon Silicon Valley
Abstract interpretation
Mellon
Scala
Refinement