Flávio Cruz, a dual degree doctoral student in Computer Science in the Carnegie Mellon|Portugal program whose advisors include Seth Copen Goldstein and Frank Pfenning, won a best paper award at the 30th International Conference on Logic Programming in Vienna for “A Linear Logic Programming Language for Concurrent Programming over Graph Structures.”