I am a Logician, and Philosopher of Computation and Information. My research focuses on formal models of dynamic rationality for intelligent mechanical and natural information systems. Areas of Specialization: , , Representation, Dynamics, Interaction, Type Theories, , Philosophy of , and

Sign in to participate in the conversation
Scholar Social

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!