Hello. I am a formal semanticist by training, but I'm not doing much of that these days (see my current home page).