Abhiroop Sarkar
Postdoctoral Researcher at ETH Zürich
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolAbhiroop Sarkar is a postdoctoral researcher and functional-programming-focused engineer with 10 years of experience building compilers, interpreters, and secure systems across academia and industry. Currently at ETH Zürich, he programs and verifies Trusted Execution Environments with applications in data privacy, building on a PhD from Chalmers about securing cloud and embedded environments. He has hands-on compiler work (GHC SIMD enhancements during Google Summer of Code) and has contributed technical documentation for the Eta Haskell-on-JVM project, reflecting both deep language-runtime knowledge and a knack for making complex systems approachable. His background spans high-concurrency engineering, distributed cryptographic protocols, and open-source contributions, bringing a blend of rigorous research and practical production experience. Notably, he pairs formal security foundations (WebAssembly security research) with pragmatic engineering—bridging proofs and deployable systems.
10 years of coding experience
4 years of employment as a software developer
BITS Pilani, Birla Institute of Technology and ScienceMaster of Science - MS Computer Science, Master of Science - MS Computer Science at University of NottinghamDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Chalmers University of Technology
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
restructuredtext10
haskell10
documentation10
functional-programming9
javas8
java8
Programming languages (12)
Github contributions (5)
typelead/eta
Apr 2017 - May 2017
The Eta Programming Language, a dialect of Haskell on the JVM
Role in this project:
Technical Writer
Technical WriterContributions:16 commits, 8 PRs, 5 pushes in 26 days
Contributions summary:Abhiroop primarily focused on improving and expanding the project's documentation. Their contributions include correcting typos, updating existing tutorials, adding new examples showcasing the usage of the Eta programming language, and creating guides for users. The changes involve modifications to reStructuredText files (.rst) and the addition of new documentation regarding the `etlas` build tool. This work helps users understand the functionalities of the project.
dialectfunctional-programmingetahaskelljvm
Abhiroop/okasaki
Oct 2017 - Dec 2019
A Haskell Collections library. [WIP]
Contributions:55 commits, 37 pushes, 1 branch in 2 years 2 months
data-structuresfunctional-programminghaskell
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.