BEGIN:VCARD
VERSION:2.1
N:Berger;Martin;;;
FN:Martin Berger
ORG:University of Sussex;Informatics
TITLE:Associate Professor in Foundations of Computation
TEL;WORK;VOICE:+441273678770
EMAIL;PREF;INTERNET:M.F.Berger@sussex.ac.uk
URL;WORK:https://www.sussex.ac.uk/profiles/141093
PHOTO;TYPE=JPEG;ENCODING=BASE64:
 /9j/4AAQSkZJRgABAQAAAQABAAD//gA7Q1JFQVRPUjogZ2QtanBlZyB2MS4wICh1c2luZyBJSkcg
 SlBFRyB2ODApLCBxdWFsaXR5ID0gODAK/9sAQwAGBAUGBQQGBgUGBwcGCAoQCgoJCQoUDg8MEBcU
 GBgXFBYWGh0lHxobIxwWFiAsICMmJykqKRkfLTAtKDAlKCko/9sAQwEHBwcKCAoTCgoTKBoWGigo
 KCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgoKCgo/8AAEQgAyACV
 AwEiAAIRAQMRAf/EAB8AAAEFAQEBAQEBAAAAAAAAAAABAgMEBQYHCAkKC//EALUQAAIBAwMCBAMF
 BQQEAAABfQECAwAEEQUSITFBBhNRYQcicRQygZGhCCNCscEVUtHwJDNicoIJChYXGBkaJSYnKCkq
 NDU2Nzg5OkNERUZHSElKU1RVVldYWVpjZGVmZ2hpanN0dXZ3eHl6g4SFhoeIiYqSk5SVlpeYmZqi
 o6Slpqeoqaqys7S1tre4ubrCw8TFxsfIycrS09TV1tfY2drh4uPk5ebn6Onq8fLz9PX29/j5+v/E
 AB8BAAMBAQEBAQEBAQEAAAAAAAABAgMEBQYHCAkKC//EALURAAIBAgQEAwQHBQQEAAECdwABAgMR
 BAUhMQYSQVEHYXETIjKBCBRCkaGxwQkjM1LwFWJy0QoWJDThJfEXGBkaJicoKSo1Njc4OTpDREVG
 R0hJSlNUVVZXWFlaY2RlZmdoaWpzdHV2d3h5eoKDhIWGh4iJipKTlJWWl5iZmqKjpKWmp6ipqrKz
 tLW2t7i5usLDxMXGx8jJytLT1NXW19jZ2uLj5OXm5+jp6vLz9PX29/j5+v/aAAwDAQACEQMRAD8A
 +iBkDByAOtLz04zS4GOOfTijFdDWpypBjqDkU4kY9PpSYAGDmkxjHtUtLuULznJGMGl5z369KTIP
 HPpVTUtTstOiWS9uY4lZ9oHVmPoAOSaHoNF8Ht3x3NODjGQTgjOa871T4h6bDvVQS6HBRrmKJwfY
 MeenqK47U/jQ0MMtvptvDKwbMU1z8o2k8qVQnLdeQcfTpUymolckuh7wrjcR6EnGMmnK6/dHUDOO
 hr5K1L4ga9fzvN/a91ZIXZ1+ySGMqWGCB1OPYk4PSq0PizUvtEcreIvECzpjY0mpznHXHylsHqeo
 NZupqWqLZ9hxkEZGD60uc89a+btM+Kniy3hjhgvLHUPnHz3kO6TAHQEFQee5Nd5o3xaDhI9c0e9t
 2A+a5hjQRFvoZSQMd880RqpkujNHqy56cetOB4NZujaxp+s24uNJu4bqHByYzkqfRh1B+taOQuAe
 9abmTVtxwOP1peCAelNzx/hQeD1pWAU4x9KGx1zTQevNLmmkAYHrRQOaKB3MlT2p2Qeg+lMBGOpz
 Tx6fjV8xKYuB79O9GMjoaTcc+1LkY6mk1fUaGOygMW4Qck+leeeMvHekaYsyx3K3FyBgx22XZR3L
 bcKD9WH0NdP4wltodMebU7hrfTIlLzMp5fsEH1JFfOHirV01S6lmjhWC0BOy3AyF9Bnu2MZPQH1r
 nqSfQ6KcLmV4v8X3Wu3O6aFI/lUKsfWMD09M9xz9awo4XfLFGIz1xnNdLoegNcn7TdKi7uemK6yx
 0G3AXCBgPQcVjKXLudlOg5HlwtZkc7Yi2O2KslkRdksbp74LAfhXrcWg2y7mKcdhgcjirC+GLCXG
 6EH1z1/Okq0Z6PobfVZHj4mQNhZmJ6YHyfz4qaC8cScIobA+ZcMxHucZ7V6fL4F0qQEuXAK8YxWT
 ffDi3KqYb90cdMqCQfTrR7SK6idCa2Rzug6lPZXZmju7y2kbH762nMbjrjp1+hr6H+GfjYa7Gun6
 jOj6iigLIcAzDB6jjnA7V87X/g+/sGU5SZBj97EMdu6moLG5udOlVZnZCpyjISNpB6gjkfUGrhKz
 vHUwqUG1qj7Q6cA4oPPGR7V5j8L/ABtc6tiw1a7juJ25hkKbJVGOj44f/eGD6g9a9NB7Y5rpi+ZH
 nSg4OzF69e1IoIPXIpaQgEkkmqJFBYdBminZB6KTRQMyx29/b/PvQMEkc9KOnJz+FNYgDknA9K0Y
 D8+mce9NyOuOfX8aAcgjjr1oZgpZmLYUFz9AM/0qJaAtzw745661xq0Gko2I4YxK+egJz+Zx39zX
 nuiWK3TJK6nyY+gIzk+tVPFuqTa54o1O7QgJcznZg/wfwgfhgfhXR6btjt41XgYBOK4qj5T0qEeh
 rwABRg4GcDsOK3LWP90AgOSO3SsSyyeF6Y6k1v6aSXU7dw6njjtXGnrY9Sm7aGoLXBGCfx6DvVuK
 2QKDGSFJxz/OkVxswW+gUYxxUkdysTMvJ6gZzyfz9qOXSxrdj/smzhlAbjAxjr7Y4qnc2jbQuVIH
 3sE1da+ymGc5PGQOuKp3DhkC9CBwf1rOS+0Oz3OcvEb+Lv1IOR7Vz+s6bFeW7BgvmDuOtdNKyOoV
 goxxhc/X1rGmIV9p4A654z/n+la0521MqtrHB2Gp3uiXcbq5iu7ErKsn94IeD+VfY1rMtxbwzYCr
 MiSAZ4+YA/1r5I8QpFNdMrcfKV3eme9e8fBXWpNV8B2kVwrfaNOc2Uh65CgFD/3ywH4V30r7niYm
 Nj0dTlc8U4Dp6VBG4GAM5qVc9W4zXQcYhJ9se5xRTxgcEc0UgMvjB7UEAA5J9c5pCT36daQHjpnP
 X61cmA7jnp9TWH45uXtfBHiGeJtjR6fOQR1GUI6/jWwx7A1y3xMlaP4ceKmjGW/s6Uc+hGD+hNRJ
 +6aR3Pl8gRSW8fXaOfdjya63TyGjTkYwBj1rkbktJdQ/3QWXj2P+Fdhp3yIAeijJ49a5JttM9Cib
 VpuO1Rk7cg47VuWoMbA9jkHpxXLxa3bWikup44BB4PP0FMHjNVJUQDOTjnjHWsIrU7lNI9ChRGV8
 EYIzknI/Wpo0BfBbcV447Vxuk+IYpuXcDnaVzz/+qt6yvBKrOD8uOc9P89aUoM2jUizYkjjADEjH
 TiopliHcEZNc/e6zHao+9lDg7SvTp2rmbrxxLBOCiK6eh57VLT+yN1UtzrL2IMG2Y3A8EDFYd45R
 SVyTnnA71np40nmDD7JGUJJPUHH+ORU51CG+jPlDcwGeWzxk/lScJRVzGVWLucfq822+BYdWGR9a
 9a/Z4vS134hsBwgSC4GDzuy6H9Ao/CvKfFNum9ZQR82R15zXX/s6323x1qNsF+W602Rye4MUyYP0
 /eNXZS1jdHm1t9T6UjAGBycetWIiM9s1SiZjgnB6Vah5HP5V0R2OJokK89aKUYyck0VVyLIx+mPx
 +tMZsg/0odj/AJPNROw5BOPeq3AR3wM561z/AIykR/CPiCKQkI2nXIYD08pv/rVq3Eu3OPWud15m
 u9PvbVVaTzreWPaBnOUIx/Ks5aopHzPprLLew4BOW3YA6HH/ANaujvJGjtQkWS0hwoAxxXMeERI2
 q2ySKysIsuGXbhgORz3BzXR6nDNMjCBSWI25H8NZzte7sd9LYbay2dvue72OwBDsxChfxPfr0qST
 VNKaNXt7GKSKRWIP79d5B5w7R7cfjVC10MkFLuNmVlKqwTJUeo/Wtnwb4dXTtTOpSSq0i5KgROoO
 VK5O5sYGeg459qUVHXmLfPdWRkSTwALcWqTW4yB5TsGyPZhwfqK9U8MiAaUGZAysgIJ6nrXLarYW
 dpa3gt9ubtVMsMYIhRlIwyg5wx5yRxzXQ2JYaWVCMp8v5WPAwMdx9K5azb2OyhFp6nJ+Ioo59SwW
 kKckgd+vFZ0eqi2hkks7COK2hIVisIlckngFiwUH269a6+zSJbqcOnmCWN422ABhkfwk9G9KdLoU
 Nxp01jaoDZsVby4lCyR46HHQn/69aU5p6E1YS1aOSPitp1eCW1RtqLI7RmJlXIB5MbEAjIBBGR3q
 C1vLd74XdqxTGPMjOO/061o2vhX+yzMlra3Llhs3OEQIp7AITTLDwwIbmMoQJsnKAcbRzirqSjF6
 Mxgp/aRF4rtw+meYnJSRevUA8H9dtb/7NkfneOdTmyAINLdMZ675o8Y/74OfqKi1a3LaNfRsBkRk
 r6ZHP9KpfAq5TTfiD5tzPFBayWk0Zd24O4oVH5ilRs4yijGum3c+oY3UVNC56cnPpVYKATu5bvzx
 UsWAwwvNbxVkcMi4uDyeKKTJJPtxwKK0M7GGSF69KqTS4B+bIHvUsz4BxzgVn3EmDg805R6jRXuZ
 PlJzXknxc1e4gOn6fbqGSc73VuQw3Ywf1r0rUJxgjgmvLPHAWfxDbPKT5cEAbPpycfrmpm77nRhl
 zVEjidMi+z+IeFBDRO4Ptxn9a7bSkR4XjYqNy4ye5rj0kQ+IBtUgCJ1JJ+h4rqdMBaWPJGN2f0rk
 qe7E7qaXNYupp06usYU4BGMNx3/Kr0OkXc9uq3N8yQA7jHEmzIx0LZ55rWsHREXdgsR161Fe6jDa
 8yAHJxjBO7v/AFrH3jthBLU5jWEEmowWseAvQL3AHc/liuqt7MiwCDIO3jLcivO9Y1y3sdTN5PKB
 NL8mCMKoHvjj610+n+PYIrXaUjMhAG0gNn3BqlC0EKFSMZNAzJDemOVsPkEE9z/hW5Fbx3yoS7wz
 o2Vmhba2B27/AJV5+vizTJtVFrq00SDpgAlsnpyOh6d667Qb4WytG8ontt+FlK8qOo6/Wk1JI0i4
 ybNQ6dco5drt52bgebjI9s/1qOK1S0kkdnUv0ye/rWkJxjOV55AOKyb+ZJCcHjOM46daybaVmJ04
 rUydRKPKVXhW68evFcPY219b6EbjTmH7uV0lbgnaGACj8fx5rq7iTEhIIwOM575qv4Ohl+ztbOV8
 m5ld0RgO7EH9a3pOyZz8qlUPojwu0w8M6MLyQyXQsYPNf+8/lrk1rqg3ZXIrn/B1w134V0iaTIY2
 yo6+hTKf+y1uxZJGxeP5V1Qd9zyKqakyzj0OPoKKkCnAyRmitro57HKyng5659azLyTBbNX7hjz6
 ise65PGeeBRK7smPpczL1m2n171594tG/UyrdJrYIvOMsrtx+orvb45BOeD371xfim1W7gUBQ7I3
 3c4yPr2PANFRaG+Gmo1E5HAPA0N2jbG5bnPXHt/n0rZtboLsOSCyZ/rVHW3ZZgzxyK4bpg9M1Ujn
 Mewc4RsDjPHauSTbVmeg3yyujsodVCJkNkgjqe1ULi++2TGRV+VBgHNYimSW4jV8hCCc9sVOlwFV
 QMA8ErWdtbI6IVdDL1awM1wz5wxOcE561STSbkhdoKR8j5e3tXRtdWIwZ5v33UqPm4+nSti11LQp
 YUHnvDMBkmSIgnvxjP5VpGTtaxPsuZ3MaDwra20ALKFDDO9SBjgex55rqtMtYbOyS2jyIFzy7Z3g
 9z69+1Un1vRv3YX7QMLw5h4OT6Zzj61AupWzBltLhZOoI5BP4Gok5Na9DojaB0tnOFYWzkl48kZH
 3gemKr3rKARg8nIJPasFrwkRSk5WNsE5xlSe/wClWtTnKqV+nHYCudqSeop1E0Ur6YJkgryMeldH
 ol/FaadarPbKfJQN5i5JY5yOMep65rib+5B3u33FXrnAr1HSPBXiG58u11KCz020QBJJhciWSReh
 CKvt3YjGe9bJdjCnVjCTlI9A8DxyW/g/SBOMStCZSM9N7s4H5MK6ENgcv0NUov3aqigKqKFVR2AG
 AP0qUMzHFdCaXxHlVJc0mzTD8DHP0FFNhRdgyRn3orfQ5WjlLggq386x7hhk4Ht71p3JzkdMdayb
 kjnHP0FWVcyb585z0xXM6kdxYZ966DUG+bGc59q5q8PQ85I6n6U3q7sdtDLOQeePx/CuOnj8q5ng
 PWNiOPTqP0xXYyEFu4B71zvia3KvHdLgbx5bnpg84P8AT8KxqbaGlF2Yy0nKrbs+OpHTAHtSarpo
 1G1zBO8MyH768d/THNUoJs2zJgBuGHsav6bcqhyQcOMdevHWuNpp3PUi76GDZaHdIZFuruJ2+6CA
 RknoT/nvWnDoTrCzXFtE5Yja0MpwBxnORx+FSzytDLgDK+n49quWniH7Pxgsv8Q3Vspt3bNYxpvd
 2ZS/sANCgigEjhQxO9xtPoTjtWe/h+7e4Rba8jiZCQ/ysw69c5GK6eTxT9qiaB1aNPSM4/zwaNPA
 LFlDohGfm6n60lLlV2i+Sn0Yy10p9PtxDcXJuC2MyFcE89KNZuE+0SqWDK2AMHpzzUuoXayFRuCg
 DAHTHFYDThmc8EDJ59Kwc03zGU2oqyNTTLX+1Nb0rTVRcXd9BFnP8O8FsZ/2Q1fUxYtK7gfMzE14
 D8D9KN/4rm1aRW+zaZGVRscG4kXGB/upuP8AwJa96TAX5cZrZbpnBVkpMlCqeM5I6kipoVDtgDPv
 6VDGpAywGCM1Yg25wMjPNaqPU52XomAQDnHvRTUbA5xRWhlqcRO2c4Ykd6yLonqT9K1pzgZz9Kxb
 wncwxj3wa0WmqBmNftknPOOlc9ekB+exx+Fb96MZwOB3rnr3G4nsPzo96Qr2M+T3wDx39qr3EaTw
 yRSLmNxg/wA6sSHB6jpUJOBknAHOf8/Si1lYaZxU0T2F60ZbcEYgHHVaksHEmVBCsDxk8CrOttFc
 yF4XV1zjI9sDFYHmGNyp+Ue3rXHJXen3HoQk0jqLdTKnzqT6HjmtCDRYZs+cq4xnOK5+1vfmXAGM
 jj0xzWuNYRkOzOSu05+lYuMkjqhOL3NltDtbcL5SYYY5qjep5UJUsQegHTms2PWJDMqu4OM8nt9a
 hm1ISFjId3Pr1ptN9S3NW0G3ZEPBOMnGQf1rNupQFHAOfxzx0qC91BZJDtOF6Y60lgjTzq7HAB6+
 p+lUo9TnlLU96+B7w2/hQ2jSgTG7klwRjO4L3/CvT4yNgKj5scGvD/AlwbbUHtPSNXx+J/wr06x1
 R4JPLbbIvuecexrN1uWXvbHNUhbY6lR056+tTxHa3Uc96o6bcQXisyb96Y3IT0z0rWg57dq66clL
 Y55JoPnHJwc+xoqbKrweaK217Gd2cNcdPasa6BB+UflWvPyMZzjqO9Y14drEdRjOKd1sS0ZF6oBb
 I59R6Vzd+SJTjPJ+vArp7kDG3gZOMntx/wDqrHnSOLzm7q2CSM88dPzp3RVmzFMDFfmG1TwCa5zx
 JfbfD1xcWzfKjOueedmAf1z+VbGs3Ei2l15JAKpgd+faqeo6QsnhSbT7dQCkTooJ6sc5J9SSa5q9
 b3eWxpGNtTgfCtxLNYXKzHLeZuX8Rj+a1Yu13MPl+Ucn096z9Fl8rYCOowR/n8a1nAcZbPFDUXK7
 R2Q1jqZ8iSJyjd8AH/Go5Lm4VT8pwOevGa0ljyuDyR7ClS3RwUAA3d8UNXeomrbGKb6YgDaR6801
 ZribAUdenWtaXSmL45A5IzVu2sBGgOCx6cdjRNwWgKMmzNtNPlkwZshfyrstC04qyyEDavGAOvvV
 XTLMyTAALhfXoPf9K6uKJbaJezHnk89f8aynsdNOn1Yng52l8c3iKMxwWUTE9sl3A/lXoE8xWXuO
 lcT4Et2hn1fVpuI5mSKL1ZI1OOPTczVqNqbXFzwQNvJIOPwrjqLnlZdNzkrP3mjutC1OO0vd07hY
 3jKnHOTkEfyNdtBMrIChDKemD1rxmaWa5eEQ7AY2BBYkDJx6e1dDYancQuFhuMNjlBnoOpx1/Guv
 DxcY3MJanpysuMlR7Zork4fFMixKZYdzHuuaK6VIjkZRu5ViQhtoOOB61hXd0BnCMe2elUZrgMzs
 7OecbiN3PvjtVeWYGFCUUrn+70/rmqdTogUV1HSXRZGVjIg7j+HnA5qpPEqLnaJEycYIGOe/P1qy
 ZfNdRhSuSeDkjj049KjVXbcG3McEkOMZX/EVnq3cpaGDeW3nwT+YgDspUbc9SMjrUVk483y5OAwJ
 yfX6VpJGzsygnaMhvmwVPrnuKyLuMwkSru2gkD1B6kVnVjzIDz/xhpDaNrhMY/0e4JkiYDjPOV/D
 +VEGCgHAI9+lei6lp0PiPRPssjBZEw8L5zscdD/MH2NeewRS28jw3KbJ4zskX0aopVHL3Zbo6Iai
 opUAkLgU5gzY2LgjkEcHNXY4xICDkt9KS22o3lzL0PUGtXbY1KluZ2YGZBj6DmtW3iDLnlVHoKlj
 8gKCzKQPbHFKsqTShLdCQcZPao0jsaRNPTFHlkpgDqS3Gav7GurmG3iPMh5bP3V7n+X51FAqwWhJ
 xhQd2e1bnhW0EVpJqFxw8+QgI5EY6fn1/Gsqkkot2LnPkiLr8kVjpaRxYVY1wFAweK47StYtI3/0
 i4j8w5AjVgWc46AdTW/qc8eoXskSJ5hwVAHataO0toIAsFnFC8CjD+WoP0zjPSnRgmrs82cm3cTR
 4JFt/NuHmEs4y4QA4yc7c+3IraEhVEiQMgzuwWJB+uelNGYrceYSGA6DqMD29adG7ySNluRxyGxn
 POff8a3S3sTck2zzqrJI6ADsvFFCGUljKzFSx27VH680VrysVjIkUKwIlUSE9EOeMdxxgmoh++kH
 mMuCCpXJ4PHPWk3rCskLQZnbnc2SuSP5YqGWRZBJko33QHK7cHoeR7/yqWr6XCxYjmVkdYZQnOEy
 2OvPT86cBGj/ALmNS4PzM2cq2OuTk1UmZgI/KkHlfdIBO3I9M9/woaeN5wFJLZAUMdwI7fUUtRk7
 5UqGEbMFGcDoMdf8fWqs8YdXi3KGl+VlcHr1Vl9OtWo2jhgykUfC8g5yR7Ed/wAqbIjRXBHmB487
 13AcfTnkfyqrNoS3Mi3MmmXSl1wjH5WIO05PY03xPo39oxrqFsN1wi4kX++n+I/lWwbbaBE7xyRl
 s89T6kH8+lSWTxQcJJuXg4I5X0HbP1rjnTlF80S4z1PPYoGjYFeVPT/PrWhPpyyxK7AncuT6iusv
 dDiluQ8AHlykkDI4NX7fRVe2EUjcghQwwCO1X7W8U9md0PeV0ebppS7jg5XsCeladtDHbgBR1ORx
 3rrJ/CmTmOQE9R1HP+TWZqFjpuirbya3qlnaCdtsf2mTylbAyfb0/OjnVtdyrOOrH6Vp32hQ1xzb
 KSWB6OR2+nWk8Savuf7Pb53t0H+NLrmt20EMVrpskVy8oAj+zSrIpHrlSRis3SLIW84uLhlkuZAT
 83Tr068fj6VlGE6ju0clWpzM0/D9k1nhmAkkk+VnYHgkA57Gtaz2NG67yQhLsXyPpk/56VWiLNJs
 OHVslto4AxgE9xwP1rRs2gjLRzKCMkFiuQxyeSfoa7I00kc97j3uY5QxZn2kYRRg7c9898fWpiqp
 /qjlC4Yktkg/14qKNC6qCHLKpzsG0gHp2x600XjFkWWUZABLBwWBJwAOOT+GOtU4yXWyC5MszBQ7
 O25uo2Yxj8KKhclwu3c2B0OePTpxRSaQ7FEDchSE7F4JDHJGemCe/BFMJ+QRs6GUnhcDOfTb2oop
 S0BFIKykhkkOcjkfN170kxjtyWRUUvglMZAoorTdWF1JRLK8abG3SjClAuD1x+dWoyER925A7ABc
 AYycYBxRRWaVhsiliFuXFmxds5RBjk/7OfrVW7uEVg04KyRgKS6bs++R0PvRRTejQkrkuYgitDM6
 jjDBxt3EZx68D+VWftdygdUuZAAhK/OGAPXjPPPTmiitJQiOM5J2TKkuq6kzK41K5G0j5N4K5x1/
 qKwtV36of+JikNwiNtUTtvKnpx6dqKKwl0RpzyejZR03TbXS5NtrbQRIx+bylAyfXpz3710dlBJO
 zo6lFbLLvAPP09uf1oopczuZN9DbtLdIIyfLBB+Z2JOTk88jp1q08cIRiRtI+6SxySBjnFFFUpbg
 9BsdyZnBVFR9x+UHO7B9fx6083SOw3gRnaSZNuPlHvRRWsl0EPhjTLeW/JwSTls+nt2ooopWKP/Z
 
END:VCARD