Helsinki Algorithms Seminar: Reliability and verifiability in parallel hardware and algorithm design