brijeshdongol.github.io - Brijesh Dongol

home > domains > brijeshdongol.github.io

Example domain paragraphs

Post docs Sharar Ahmadi PhD students Mikhail Semenyuk, confirmed Matt Griffin, confirmed Jay Le-Papin, confirmed Alumni Eleni Vafeiadi Bila (former PhD, now researcher at Arm) Sadegh Dalvandi (former PDRA, now formal verification engineer at Axiomise ) Mohammad Heydari (former PDRA, now postdoc at Stockholm University) Alasdair Armstrong (former PDRA, now senior researcher with Peter Sewell in Cambridge) Some previous research and collaborators Proofs of linearisability with John Derrick , Gerhard Schellhor

You can find me in 07BB02 Mailing address: Department of Computer Science University of Surrey Guildford, GU2 7JP UNITED KINGDOM

Post docs Sharar Ahmadi Milad Ketabi PhD students Mikhail Semenyuk, confirmed Matt Griffin, confirmed Jay Le-Papin, confirmed Alumni Eleni Vafeiadi Bila (former PhD, now researcher at Arm) Sadegh Dalvandi (former PDRA, now formal verification engineer at Axiomise ) Mohammad Heydari (former PDRA, now postdoc at Stockholm University) Alasdair Armstrong (former PDRA, now researcher with Peter Sewell in Cambridge) Some previous research and collaborators Proofs of linearisability with John Derrick , Gerhard Sch

Links to brijeshdongol.github.io (5)

• vetss.org.uk UK Research Institute in Verified Trustworthy Software Systems
• johnwickerson.github.io John Wickerson
• cw-srepls-19.github.io Surrey Concurrency Workshop and S-REPLS 12
• dalvandi.com Sadegh Dalvandi
• cw-srepls-24.github.io Kent Concurrency Workshop and SREPLS 15