Loading view.
Stefano Ceri – Data-Driven Genomic Computing: Making Sense of the Signals from the Genome
The next lecture in the Helsinki Distinguished Lecture Series on Future […]
Andreas Pavlogiannis – Algorithmic Advances in Automated Program Analysis
Aalto University, Maarintie 8, Lecture hall AS1Abstract Modern-day software is increasingly complex and software engineering is commonly […]
Machine Learning Coffee Seminar – Mikko Tolonen – Data science and computational history: opportunities for collaboration
Aalto University, Computer Science building, room T6Abstract Helsinki Computational History Group (COMHIS) is a multidisciplinary team that […]
PhD Defence – Jarno Lintusaari – Steps forward in approximate computational inference
Aalto University, Undergraduate Centre, Lecture hall H304Jarno Lintusaari, M.Sc., will defend the dissertation "Steps forward in approximate […]
Grigory Fedyukovich – Synthesizing Proofs for Program Verification
Aalto University, Maarintie 8, Lecture hall AS1Abstract Software controls every device, system, and infrastructure serving our society. […]