12 juin 2017

Yuri Gurevich (Microsoft Research)

Computations are performed in physical world. This requires sophisticated physics and engineering. Computer science abstracts away the physical and engineering problems; computer scientists and programmers may be blissfully unaware of them. Their levels of abstraction keep rising, making abstract state machines ever more useful.