Marco PaviottiDec 10, 2024

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

RanaldCloustonJan 12, 2024
New #blog post on #DomainTheory ... https://blogs.fediscience.org/the-updated-scholar/2024/01/12/discussing-domain-theory/
Discussing “Domain Theory” – The Updated Scholar

HoldMyTypeJul 10, 2023
That's a good intro to #domaintheory
overheard
https://citeseerx.ist.psu.edu/doc/10.1.1.50.8851
CiteSeerX

CiteSeerX
Jesper Agdakx ♾️Jun 10, 2023

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

Type Systems / Type Theory
25.4%
Runtime Verification (monitoring, instrumentation, ...)
11.7%
Control-Flow and Data-Flow Analysis
13.2%
Abstract Interpretation
4.6%
Formal Verification for Functional Programs (Curry-Howard, dependent types, proof assistants, ...)
10.2%
Formal Logic for Imperative Programs (Hoare logic, separation logic, ...)
9.6%
Automatic Program Verification (model checking, SMT solvers, ...)
8.1%
Operational Semantics (small-step and/or big-step)
8.6%
Semantic Models of Computation (category theory, domain theory, ...)
5.1%
Something else (comment below!)
3.6%
Poll ended at .
Type Theory Forall - #29 Can PL theory make you a better software engineer?

Type Theory Forall is a podcast about Type Theory and Programming Language research in general. We interview relevant people in our field.

HoldMyTypeDec 10, 2022
#DomainTheory folks is domain specific invariant related to what you do ?