Yahoo Search Búsqueda en la Web

Entrar

Resultado de búsqueda

  1. Videos

    Ver todo

  2. www.imperial.ac.uk › people › alastairHome - Professor Alastair Donaldson - Imperial College London

    Faculty of Engineering , Department of Computing. Professor of Programming Languages. Summary. I am a Professor in the Department of Computing at Imperial College London where I lead the Multicore Programming research group and teach Object-Oriented Programming. See my homepage for more information. Publications. Journals.

  3. multicore.doc.ic.ac.ukMulticore Programming Group

    Alastair F. Donaldson (Ally) is a Professor in the Department of Computing at Imperial College London, where he leads the Multicore Programming Group. He is also a Visiting Researcher at Google.

  4. multicore.doc.ic.ac.uk › aboutAlastair F. Donaldson / Multicore Programming Group

    About. Alastair F. Donaldson (Ally) Ally is a (Full) Professor in the Department of Computing at Imperial College London, and leader of the Multicore Programming Group. Ally co-teaches a course on Object-Oriented Programming. He previously developed and co-taught a course on Software Reliability.

  5. uk.linkedin.com › in › alastairdonaldsonAlastair Donaldson - Imperial College London | LinkedIn

    View Alastair Donaldson’s profile on LinkedIn, a professional community of 1 billion members. I am a Full Professor (Professor of Programming Languages) in the Department of Computing… ·...

  6. Imágenes

    • Home - Professor Alastair Donaldson
    • My Plan B: inaugural lecture by Prof Alastair Donaldson | Imperial News ...
    • Alastair Donaldson Announced as Winner of BCS Roger Needham Award
    • Alasdair Donaldson | USC Center on Public Diplomacy
    • Alistair-Donaldson-Photo-Tree-Faerie-9W6A8858 – The Echo

    Ver todo

  7. scholar.google.com.sg › citations‪Alastair Donaldson‬ - ‪Google Scholar‬

    Alastair Donaldson. Imperial College London. Email verificata su imperial.ac.uk - Home page. ... J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ... ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015. 146: 2015: Software Verification Using k-Induction.

  8. www.researchgate.net › profile › Alastair-DonaldsonAlastair DONALDSON | Senior Lecturer | Imperial College London,...

    Alastair DONALDSON, Senior Lecturer | Cited by 2,491 | of Imperial College London, London (Imperial) | Read 132 publications | Contact Alastair DONALDSON.

  9. multicore.doc.ic.ac.uk › people › ally-donaldsonAlastair F. Donaldson - Multicore Programming Group

    Alastair (Ally) Donaldson is a Senior Lecturer at Imperial, and leads the Multicore Programming Group.