coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yao Li <liyao AT pdx.edu>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, haskell-cafe AT haskell.org
- Subject: [Coq-Club] Ph.D. positions at Portland State University
- Date: Tue, 11 Oct 2022 16:54:45 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=liyao AT pdx.edu; spf=Pass smtp.mailfrom=liyao AT pdx.edu; spf=None smtp.helo=postmaster AT mail-ua1-f47.google.com
- Ironport-data: A9a23:DDscEKvwGHrkaBfpoE46+rgU5efnVFhaMUV32f8akzHdYApBsoF/q tZmKW3QPv6OZzTxeNkkao2+oEtQ7cPWyYRlSFA6r300FCoRgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYkidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtspvlDs15K6o4WtB5wRlDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYrLFDn2fF/wXEqfFPin6VhFx8kZbEk1cZ9XXxez /khLzkCO0Xra+KemNpXS8Fpj8UnadTiZcYR5i4mwjbeAvIrB5vERs0m5/cChGZ21p0IR6yEI ZZGAdZsREyojxlnPlYGAZUWhOu4wHTzblW0rXrP+vNmujiOk2Sd1pCqOouJeuWbSv5xn0+0+ CH9+Gv2JBMFYYn3JT2tqyrw3IcjhxjTU4ULUba86/RCm0yW3mVVCRsMVFL9r+PRt6Klc9dWK khR5yN36KZuqwqkSd7yWxD+q3mB1vIBZzZOO+NmuA6WlLiM3zq2JmJYUy57beUhvcBjEFTGy WS1t9/uADVutpicRnSc6qqYoFuO1c49fTBqicgsHVRt3jXznG0gpkmQEYs7QcZZmvWwSG6gm WnbxMQrr+xL1ZZj6kmtwbzQb9uRSnXhSwc04kDKVzvg4F8mIoGiYIOs5B7Q6vMowGelorup7 Chsdyu2trhm4XSxeMqlHbVl8FaBuqbtDdEkqQQzd6TNDhz0k5JZQahe4StlOGBiOdsedDnib Sf74F0PucIKZyPxMPArOupd7vjGK4CwRbwJsdiEPrJzjmRZKWdrAQk0NBHKhj+9+KTSufxvZ svznTmQ4YYyUPw7llJats8S1rgkwi1W+I8gbcGT8vhT6pLHPCT9Ye5dbjOmN7llhIvZ/li92 4sAb6OilU8DOMWgOXK/2dBIcjg3wY0TXsyeRzp/LbPbfmKL2QgJV5fs/F/WU9U0zvsPzrySo CjVt40x4AOXuEAr4D6iMhhLAI4Dl74mxZ7iFXxzYQSbyDI4bJyx7awSUZIycPN1vKZg1PN4B b1NMcmJHv0FGHyN9iU/fKvNitVoVC2qogaSYAujQjw0JKB7SyLzp9TLQwrI9Qs1NBSRi/cQm bOa617kccIxfDg6VMfyQ9Cz/my1pkkYyb5TXVOXA9x9e3fM0YlNKg7uvN84PvMzE0zixySb5 SmSExw3tenAmK5r0djr1ISvjZalLPt6JWVeR1Lk1LeRMTLL2GiJzatrcve6TRqEWEzaoKydN PholdfiO/g5rXN2motbEYcz65kh5tHq9oRo/i49EFrlN12UW65deF+Y1sxyt4pI9L9TmS2yf mmtotB6G7G4CPnJIW4rBjgOT7q8jKkPuzzo8/4KDl3w53Z38Jq5QExiBUSwpxIHHoRlErEO4 LkHiJYN5h2dmygaFI+Mrhpp+lSmKl0CVKQata8mPrL7tzpzyn9+TMzdLgTU/KCwb859Nxh2A z2M24vHqbdu5mvDVHsRCUny2fF5taoOnSsTyXkuLEm7wIvbtKUn2DlU1yo9dSVO7xB9y+koE HNaB050AqSv/jlTm8lIWV63KTxBHBG0/k/QyUMDsX/wFW2EdzXqAjUmGOCv+Es5zTptTgJD9 uvF9Fe/ACfYQs7h+wATB2hnkqXHZv5s/FTgnMuHIZy0L6Mia2C4vp70NHs6kDq5M8Yfn0adm PJL+tx3YqjFNSI9ha03Jo2Z9LYIQiC/O21wbqB9zZwNAF3jVmm+6RqWJ2C1X/F9FfjA3Eu7K s5pf8x0R0uf0gSKpWslHqIiGeJ/s8Mow9sgQYnVA1A6nYGRlRdTi6KIxBPC3DcqZ/5MjfcCL pjgcmPeM26I2lpRtWz/jOhFHWuafuskaxDO49rs0eQWFqAstPNnXlEy34CV4VSUElpD1DCFs DzTY5T5y7RZ9r1tuI/3A4NBLQmQAvHiZtSiqQycnYxHUoLSDJ3oqQgQlGjCAy1XGrkgA/JMi rWHtY/M7nPv5boZfTjQpMicKvNv+863YetwN/D3Jll8mQ+pepflwzkHylCCBa15qvFvzej5e FLgc+q1T8AfZPlFzn4MayR+LQcUO56qUoje/xGCv9a+ITlD9zyeIN2eoCqjKSkRcyITIJTxB zPlo/vktJgSsI1IAwRCHP18RYNxJFj4Q6Y9atntrn+iA3K1hk+Z8K7X/fb6Beon1lHfeCo73 X7EevQ6XBG7uaWN0dgA9oIu4VsYC3FyheR2dUUYkzKzZ/ZWE0ZeRdnx871fYn2XrsA2/In0d HfAYHZK5eDVQ2FfaRuliDj8dl73OwHNU+sV4hQx81PSZiurbG9F7H2N6Q84i0pLlvDfIC1L5 D3QFrAc/vR8/32xedsu2w==
- Ironport-hdrordr: A9a23:AABAV6+N551Y3ZiwGbBuk+DVI+orL9Y04lQ7vn2ZKCYlFfBw8v rFoB11726WtN98YhEdcLO7WZVoI0msl6KdiLN5VdyftWLdyQ6Vxe9ZnO/fKv7bdxEWNNQx6U 6tScdD4RTLY2RHsQ==
- Ironport-phdr: A9a23:vflmHxZp2EtV7Qeio6RnuwT/LTF32oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gSPBtqEoKgbw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PdbglSijewY7F/I BqooQjTq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ 7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4 KB2Rh/1kycHLyA2/33LisJ+i6JbpQiupx15w4XJZI2YO/5zcqbbcNgHR2ROQ9xRWjRODY28Y YUBDPcPM/hEoITmvVQCsQGzCBOwCO/zyDJFgGL9060g0+QmFAHLxA4vEMgJsH/Jqtv1NboZX OexzKnJzTTMdfRW1Czl6IfVfREtu++DUq9tccfIz0QkCgzKgEmKp4P/IzOVyvoCs3Kd7+d4S +6hi3ArpgV/rDWgxsoglInEip4bx13A8Sh0zoY4K9O4RkB7ZdOpDodduz2eOoZ1X88uXWFmt igmx7AHtpO1cy4Hw4kpyR7YbvyIaYmI4hT7WeaeIDd4mHJleK+kiBqo8EigzevxXdS33lZSt idJjMXAu3QX2xHQ6sWLUOVx8lm/1TqV2A3e6OdJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137j KqMeUUl/uik8vnnba/7qpOFOY95hQPzPr4hmsy4BuQ4PQwOUHaB9eug073j+FX1QLRMjvIoj qnUqI7WKdgfq6KjAAJY0pwv5wihAzu4ytgVknsKIEpAeB2djojpP1/OIOr/Dfe6m1mslDZrx vDcMb3mGZjNNmXMkbj7cblj9kFc1RI/zdZE6J1MELEOPOrzWlPttNzfFhI1LhS4w/z7B9Vly oMeRWWPD7eFP6PVqF+E//4gI+2RZIAOozv9MPgk5/v2jXAjg1MdfK+p3YEWaH+iBPhmLV+ZM jLQhYIdAH8HpU83SurtlVuJXBZXZm2uROQn6zggTp++AIHFAI2hnfjJ1yCiW5ZSe2puC1aWE H6ueZ/AE/cFcyGfJsskmTUKWJChQpQi2BWq8gjgxOlJNO3RrxwRstrH1ZAh4+zCnBYa7TBkS cmRzjfeHClPgmoUSmpuj+hEqktnxwLfgMCQ4tRdHN1XvLZSVxsicIXb16p8AszzXQTIepGIT kynS5OoG2J5Vco/lvkJZUs1ANC+llbbxSP/B74EnrujHJAktK/Qwiu5PN5znk7Pz7JplFw6W o1KPGyiiLR48l3XBp/AlG2Bm7bseKgBj2bW7GnW622IsQlDVRJoF6XIWXdKfkzNsdHw/V/PV ZerALUjdxZIkIuMdvQMZdruglFLAvzkPbwyekqXnGG9TVaNz7KIN8/xfnkFmT7aEA4CmhwS+ nCPMU4/AD2gqiTQFm4mE1WneE7q/eRkzRHzBkYp0wGHaVFg3Lup61YUg/KbUfYawrMDvm8ot Tx1GF+329+eBcCHokJte6BVYNV151kityqRsw1sN5uIN6xywFMSbkU/vk/j0Ql2FpQVidIj/ zshyAt/L77d0UsULWvJm8CtfOeNcC+uo0PKCeaewFzV3deI971a7f05rw6mpwS1Dg859G0h1 dBJ0nya75GMDQwIUJu3XFxkknoy77zcfCQ54JvZkHN2Nqzh+DvDytsuLPMp2lCtc8oVY+uUU RT/FcEXHZ3kLO07kl+Bdh4Ueu1e6eRnWqHuP+vD06mtMuF6mTughmkS+4Fx3HWH8C9kQ/LJ1 ZIIqx2B9jOOTCy0zFKos8Ss3JtBeSlXBW2njy7tGI9WYKR2O4cNE2anZcOtlJ1ygJvkWngQ8 1DGZRtO3M64cB26d1DtmwBcyAwbrGemli2x0zFv22tx/+zPgWqUmb6kKEVPM3UDXGR4iFbwP YW4x8sXWkSldUlM9lPt5Er3wbRauLUqKmDSRUlSeC2lZ2pmU6a2qv+De5sVsMJu4XgRCr7mJ wzFGduf61MA3ijuHnVT3mU+fjCu4dDimgBizXmaNDB1pWbYfsd5wVHe4sbdTLhfxGljJmEwh D/JC1y7J9Ts88+TksKJtuGvXmWJTpFDNyTn0MnT/Dv+/mBsDRClyrq3m8zuFiAi3T+92tV3H 3atzl60cszg0KK0Nvhid09jCQrn6sZ0LYp5l5M5mJAa3XVJzoXQ53cMln3/dMlKwa+rJmRYX iYFmpSGhWqtkF0mNH+CwJj1E2mQ0tc0LcfveXsYg2o895wYU/rSte0c23Ep/Rzg6liNKfllw mVDlb10syVc2r9R/lJql3T4YPhaHFEEb3Ky0U3QtZbm6v0QPj7ncKDshhQg24r9XffS+kcEH yyhMpY6QX0vtIMmbBSVgSe1ssa9KLyyJZoSrkHGzEuG1rIIbsp3zr1T22JmIT6v5CV1jbdk0 lo+m8n95tHPKn0xrvvmWVgBZ2GzP4VLvWiz6MQW1seOg9L1RsQnSmhNBcG4C6rvSW1atOy7Z VzXTnth+jHCSOCZRUjGuQ9nty6dScn1cSvMdT9Cl5M6A0DMQS4XyBYdWDFw9nIgPiatwsGpM EJw5zRKo0X9tgMJ0eVwcR/2TmbYog6sLDYyUpmWahRMvElE4A/OPMqS4/gWfWkQ94C9rAGLN m2QZhhZRWAPVEueAln/P76ordDe+umcD+C6IrPAe7KL4eBZUv6Jw9qo3O4Et36UMd6TO3B5E /Ah8k9KXHQ8Bs2A3jtTFGoYkCXCa8PdrxC5u2V2os257PX3SVfv6I+IWN4weZ1k/xG7h7vGN vbF3n4ob2YFkMlWnzmUl+t6vhZakSxlejizHK5VsCfMSPmVgapLF1sAbDs1MsJU7qU61w0LO MjBi9qz2KQr65x9Q1pDS1HlndmkIMIQJGToflfGFU+MHKyKNXvGz9y9MsbeAfVAyf5ZsRG9o 2PRC0j4IjGKjCXkTTiqOOBIyTySZVlQ5N77fRFqBmzuCtnhb1foVb0/xS1zyroyiHTQMGcaO jUpaEJBoIqb6iZAi+l+EWhMhpKEBeyNmiLc8uCBb5hK7r1kBSN7k+8c63M/meM9BMRsXPBl3 ibes4w2y7lJuvGD2nxqXAcc8152
- Ironport-sdr: 63460252_X4Y4mwH3PJXGTH1K1ASdmK82avzlMmDl3Yhgw0Bk/BxtI4a wliQzVn54hJQWZF3lnrY5ANxAvY4G9APjfl/+pw==
Dear All,
I am looking for Ph.D students (starting Fall 2023) who are interested in programming languages, formal verification, and/or interactive theorem proving to join my new group at Portland State University.
I am a new assistant professor at Portland State University. My research aims to (1) advance the state of the art of verification on real-world software and (2) make verification easier to use from a programming languages perspective. You can find more information about me on my webpage: https://lastland.github.io/
Please feel free to drop me an email if you are interested or if you have any questions about my research, my group, or Portland State University. I'd appreciate it if you can help spread the word to whoever might be interested.
Yao Li, Ph.D., (He/Him)
Assistant Professor,
Computer Science Department, Portland State University
- [Coq-Club] Ph.D. positions at Portland State University, Yao Li, 10/12/2022
Archive powered by MHonArc 2.6.19+.