Michael Färber
01mf02
PhD in computer science (logic & automated reasoning). Software should be beautiful and efficient, like a Samurai sword.
Innsbruck http://gedenkt.at 首次见于 2023-01-01
0
事件
42
公开仓库
108
关注者
0
关注中
最近动态事件流
暂无事件(该实体在采样范围内无动态)
PhD in computer science (logic & automated reasoning). Software should be beautiful and efficient, like a Samurai sword.