Explore projects

week7 programming exercises using Spark SQL

Data locality, consistency protocols and consensus.

Programming Assignment

Code for week3.

week2 code

week2 code

week2 code

Formal Verification on Error Correcting Codes.

EPFL CS550 - Formal Verification