Researcher in mathematics, computer science and logic, composer of classical music and symphonic metal.
