Rakshit Mittal

Antwerp, BE

Cloud

Cinema

Git

Torrent

Diagrams

Vault

Inventory

Todo

Monitor

Feed

Library

Samatulyata2: Validation of Code Optimizing Transformations Involving Loops for Petri Net Based Models of Programs

Gold Medal winner

Presented at ACM Student Research Competition, Programming Language Design and Implementation Conference 2020