Razvan Panda

@razvan_panda

Ireland, Dublin

Joined Jul 2015

World Rank: #117436 (0 points)

Institution: Humanity

Passionate Software Engineer. Currently studying Haskell, F# and Rust while flirting with Clojure and TypeScript. Also interested in general artificial intelligence, machine learning and dependently typed languages (Agda, Idris, Coq, etc.)

Activity over the last year

Effectiveness

 Problems solved
2
 Solutions submitted
5

Problems

List of solved classical problems:

ADDREV
TEST