Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the other place.

ID: 1485002654120091649

calendar_today22-01-2022 21:33:32