LB: i’m not “broadly”recruiting students at the moment (need a bit more funding in the pipeline), but i am interested in talking with folks who might want to do a phd within a few specific niches:
1. type systems for mechanizing metatheory (interest in, e.g., agda, idris, or twelf would be relevant)
2. computational interpretations of substructural, modal, and adjoint logics
3. interactive, visual, & animated representations of logical & algebraic structures, proofs, and functional programs
chris martens /
npub15p…mwhd2
2024-11-04 14:54:20
Author Public Key
npub15pejcagya70mssj8a5dp6htdkdw93h4wzk952favkktwh40sqs3scmwhd2Published at
2024-11-04 14:54:20Event JSON
{
"id": "54379a6a58942b34b3a6edc3f23e702dc0f6a641177f07630a1171c3de126782",
"pubkey": "a0732c7504ef9fb84247ed1a1d5d6db35c58deae158b4527acb596ebd5f00423",
"created_at": 1730732060,
"kind": 1,
"tags": [
[
"proxy",
"https://hci.social/users/chrisamaphone/statuses/113425256315771325",
"activitypub"
]
],
"content": "LB: i’m not “broadly”recruiting students at the moment (need a bit more funding in the pipeline), but i am interested in talking with folks who might want to do a phd within a few specific niches:\n1. type systems for mechanizing metatheory (interest in, e.g., agda, idris, or twelf would be relevant)\n2. computational interpretations of substructural, modal, and adjoint logics\n3. interactive, visual, \u0026 animated representations of logical \u0026 algebraic structures, proofs, and functional programs",
"sig": "dba4fa62f8ac30d5637dad614966685f7c87b79b8f10bbeec050a4afc7dd03698994666d3568157e11dce7d5aef219e6330067f1f73c73bc70ddabc39f76674c"
}