I am interested in Hilbert's sixth problem. I am working on a circle of ideas that goes by the name
See there for survey, introduction, details and further links. Expositions, talk notes and lecture notes are listed here. For a list of published articles and of preprints on the subject see at subprojects.
Here is a list of links to lecture notes that I have prepared for various seminars or course that I organized and/or taught.
Joost Nuiten, Bohrification of local nets of observables , bachelor thesis (Summer 2011)