Badges
Certifications
Work Experience
Research Fellow
MPI-SWS •  July 2020 - April 2021
Supervised by Professor Viktor Vafeiadis. Research on the impact of symmetry reduction for model checking relaxed memory model based programs.
Education
McGill University, Montreal
Computer Science, PhD•  September 2021 - Present
Doctoral research in the domain of relaxed memory consistency models and program transformations.
McGill University, Montreal
Computer Science, MS•  September 2018 - August 2021
Thesis based on shared memory concurrency model of JavaScript. https://escholarship.mcgill.ca/concern/theses/7p88cn613?locale=en
College Of Engineering , Pune
Information Technology, B.Tech•  2014 - 2018
Links
Skills
akshay_123 has not updated skills details yet.