Dominik
@dompasch@sueden.social
Joined: 11/18/2022
About Dominik
Postdoctoral researcher @KIT_Karlsruhe | #SATSolving, #HPC, #SymbolicAI | 🎸🎹🪕🎤👨🍳🎮
Lists
dompasch has no public lists
Timeline
dompasch has no activity yet
@dompasch@sueden.social
Joined: 11/18/2022
Postdoctoral researcher @KIT_Karlsruhe | #SATSolving, #HPC, #SymbolicAI | 🎸🎹🪕🎤👨🍳🎮
dompasch has no public lists
dompasch has no activity yet