Computer scientist, background in philosophy, math and mathematical logic. Interests include model theory, control theory, statistics and software engineering.