- ๐ Hi, Iโm @w-disaster
- ๐ Iโm interested in Machine Learning applications in computer security and in Adversarial ML
- ๐ Iโm currently a master degree student in Computer science and engineering at the University of Bologna and I am learning Software process engineering, big data, business intelligence
- ๐ฑ Besides the uni I also like low level security. Currently reading: A guide to kernel exploitation
- ๐ซ How to reach me (email: [email protected])
w-disaster / scalaz3 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from epfl-lara/scalaz3
DSL in Scala for Constraint Solving with Z3 SMT Solver
License: Apache License 2.0