Faustyna Krawiec

PhD Student · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Automatic DifferentiationSemanticsCorrectnessFunctional Programming Languages

简介

Third year PhD student in the Programming, Logic and Semantics group, supervised by Dr Neel Krishnaswami. Interested in Automatic Differentiation, its semantics, correctness and efficient implementation in functional programming languages. Research funded by the Microsoft Research PhD Scholarship Programme.

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。