A version of my habilitation thesis that can be shared, finally!
https://www.seiller.org/HdR.pdf
Part 1 contains new material proposing answers to questions such as “what is a program / a model of computation / an algorithm?”.
Part 2 relates this point of view with my previous work: verification and automatic transformation of programs, (algebraic) complexity lower bounds, logic, and implicit complexity.
Thomas Seiller /
npub1lz…gezct
2024-04-22 06:21:22
Author Public Key
npub1lztvpl43er2a7wkdyhucsflkns32k50jfp4dlynaxvsaexcy8pds4gezctSeen on
wss://relay.nostr.bandPublished at
2024-04-22 06:21:22Event JSON
{
"id": "1eb94abbe45dd23e50522a761b4074e14a57f94d2e6668b052e26918780026a9",
"pubkey": "f896c0feb1c8d5df3acd25f98827f69c22ab51f2486adf927d3321dc9b04385b",
"created_at": 1713766882,
"kind": 1,
"tags": [
[
"proxy",
"https://lipn.info/users/thomasseiller/statuses/112313426430203797",
"activitypub"
]
],
"content": "A version of my habilitation thesis that can be shared, finally! \n\nhttps://www.seiller.org/HdR.pdf\n\nPart 1 contains new material proposing answers to questions such as “what is a program / a model of computation / an algorithm?”. \n\nPart 2 relates this point of view with my previous work: verification and automatic transformation of programs, (algebraic) complexity lower bounds, logic, and implicit complexity.",
"sig": "a33f2b9ec0bd457251207c7fa1c02e814d6837e45f36d2c714c2c9e24068e09b8a1efec83777d43d46074d9315c8c6147ad49c1a42918cce6da9c1e368581b80"
}