[metrics-team] M.Sc projects at Edinburgh

[Karsten Loesing]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 14/01/16 11:37, Karsten Loesing wrote:
> On 14/01/16 10:47, William Waites wrote:
>> Also, as I write, Vincent Danos just said that he's very
>> interested in the BadExit problem, which is also great news.
> 
> Awesome!  Thanks for helping to get people interested in these
> problems.

Hello William,

did you hear anything yet about students who want to work on one of
these projects?  Thanks!

All the best,
Karsten
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org

iQEcBAEBAgAGBQJWs3jbAAoJEJD5dJfVqbCr7TQH/iyshrvM2tls5LCt5kRFApmt
kFFKFOSSF8RZ8N9CybVcGbmcMKRQyH8pre+cUnxV0OCHQmYY+ch5i9azJn9uXK3D
qxl+89/FlREY7niYi8YFBEesIjKphyg9Xp87oEBTD0X15c0XVaMxhahXxm5NnyWz
qOS3dmnfyaVbTKmF4zWG3xh+bDaUS/NURLw3HbNgObWy2xasPbsa/9faEEd0HAqL
0ht1dChqSU7EL1U2jdOYBraqtmP2hw/iRUhRcmOOGH5y24fTjR0gytviKHhUjzyY
/BsabTB9YcW8Yyq6I6N1JoDjDgh/FZwJHehwyLOta6sD4/CWyqIoSOzxoHd4aO0=
=qJ/2
-----END PGP SIGNATURE-----