Carnegie Melon University brings in the expertise of experts in the field of programming language theory of the principles of programming group (POP group). To the BEHAPI project, the Carnegie Melon University site will contribute their expertise in typed-based verification of protocols and collaborate on the topics of static and dynamic verification of APIs. The group is world-wide known for applications of logic, design and implementation of programming languages, formal specification and verification of systems. The POP group faculty routinely publish in first tier conferences such AS POPL, LICS, PLDI, ICFP, ESOP, and CONCUR. Frank Pfenning is on the advisory board of the ABCD EPSRC programme grant, that includes BEHAPI partners. He also has a Mozilla research grant together with Stephanie Balzer, to explore applications of session types in the rust programming language to express protocols in the servo browser engine.