Michał Moskal

TouchDevelop

Nikolai Tillmann, Michał Moskal, Jonathan de Halleux et al. · 2011 · 106 citations

Computing, Computer Science, Mobile Computing +13

VCC: Contract-based modular verification of concurrent C

Markus Dahlweid, Michał Moskal, Thomas Santen et al. · 2009 · 88 citations

Computing, Computer Engineering, Computer Science +17

A Precise Yet Efficient Memory Model For C

Ernie Cohen, Michał Moskal, Stephan Tobies et al. · Electronic Notes in Theoretical Computer Science · 2009 · 78 citations · Full text

Computing, Computer Science, Computer Systems +13

The BBC micro:bit

Jonny Austin, Howard Baker, Thomas Ball et al. · Communications of the ACM · 2020 · 74 citations

Education, Computer Science, Educational Technology +4

The future of teaching programming is on mobile devices

Nikolai Tillmann, Michał Moskal, Jonathan de Halleux et al. · 2012 · 63 citations

Education, Computer Science, Teaching +7