Invariant Computing Lab

Infrastructure initialized.