#domaintheory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #domaintheory, aggregated by home.social.
-
Dear all,
I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.Deadline for application is 15th of February 2025.
Please get in touch if interested, here's the official call: https://www.kent.ac.uk/scholarships/search/FN15COMPGR01
-
Dear all,
I am looking for a #PhD student to work on (any subset of) these topics:
#semantics, #domaintheory, #categorytheory #typetheory and #functional programming.Deadline for application is 15th of February 2025.
Please get in touch if interested, here's the official call: https://www.kent.ac.uk/scholarships/search/FN15COMPGR01
-
I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.
Please boost this so this also finds an audience beyond the types community!
#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory
-
I am listening to the @ttforall podcast with Jimmy Koppel on which parts of CS theory all software engineers should learn about (see also his blog post from 2021 on why programmers should(n't) learn theory). Now I'm curious to learn which parts of "theory" you think are the most useful for a software engineer.
Please boost this so this also finds an audience beyond the types community!
#SoftwareEngineering #Education #TypeTheory #ProgramVerification #AbstractInterpretation #ProofAssistant #HoareLogic #ModelChecking #SMT #OperationalSemantics #CategoryTheory #DomainTheory
