Alina Banerjee is a member of the Programming Languages, Architecture and Compilers Education (PACE) Laboratory, working under Prof. KC Sivaramakrishnan on the design, verification and implementation of features in the OCaml programming language and its broader ecosystem. Her academic background includes a bachelor’s degree in electronics engineering as well as a Master’s in Computer Science from Indiana University Bloomington from where an abiding interest in compilers and functional programming developed. She has worked on projects over a wide range including testing browsers, writing code for problems across the web-application stack and developing application programming interfaces.

Research Interests:
* Functional programming
* Programming Language Design and Verification
* Compilers