Arka Ghosh
PHD Student at University of Warsaw
India
Summary
👤
Senior🎓
Top SchoolArka Ghosh is a PhD student at the Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, supported by an NCN grant on "Data enriched models of computation." With eight years of experience grounded in rigorous mathematical training from the Indian Institute of Science (BSc and MSc), he bridges theoretical foundations and computational modeling. His research focuses on blending data-driven techniques with formal computation models, bringing a quantitative perspective to algorithmic problems. Based in India but embedded in an international research environment, he has a track record of sustained academic engagement since 2020. Colleagues describe him as a methodical thinker who translates abstract mathematical insights into concrete computational experiments.
8 years of coding experience
Master's degree, Mathematics, Master's degree, Mathematics at Indian Institute of Science (IISc)
Github Skills (21)
topology9
logic9
combinatorics8
interval-arithmetic6
fixed-point6
tla6
paradox5
idris5
polyhedra5
theory5
agda4
discrete-mathematics4
sympy4
sat-solver4
refactoring4
Programming languages (3)
Github contributions (5)
anotherArka/Superficial
Jan 2020 - Apr 2021
Curves and other structures on surfaces (topology)
Contributions:10 PRs, 141 pushes in 1 year 2 months
curvestopologysurfaces
anotherArka/LTS2019
Jan 2019 - Mar 2020
Web page, code for "Logic, Types Spaces 2019" at IISc
Contributions:8 PRs, 139 pushes in 1 year 1 month
spaceslogicweb-pageiisc
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.