Faustyna Krawiec

PhD Student · Department of Computer Science and Technology

University of Cambridge · United Kingdom

Automatic DifferentiationSemanticsCorrectnessFunctional Programming Languages

About

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.

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.