🎯
Focusing
Postdoctoral researcher at Bar-Ilan University, working on combination of theories for SMT solving. PhD in Logic and Theoretical Computer Science (RUG, NL).
-
Department of Computer Science, Bar-Ilan University, Israel
- Groningen, The Netherlands
- vitorgreati.me
Pinned Loading
-
-
-
DIM0614/potigware
DIM0614/potigware PublicA middleware platform that supports Remote Procedure Calls
-
cs-ufrn/minicourse-mlp
cs-ufrn/minicourse-mlp PublicMinicourse on Multilayer Perceptron.
Jupyter Notebook 5
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.



