Registered user since Tue 6 Jun 2017
Name:Daniel Neider
Country:Germany
Affiliation:Max Planck Institute for Software Systems
Personal website:https://www.mpi-sws.org/people/neider/
Research interests:Machine Learning, Verification, Synthesis, Automata Theory, Logic
Contributions
VMCAI 2018 | Committee Member in Program Committee within the VMCAI 2018-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile