Daniel Neider -

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

2020

APLAS

Author of Parameterized Synthesis with Safety Properties within the Research Papers-track

2018

SPLASH

Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the OOPSLA-track
Author of Horn-ICE Learning for Synthesizing Invariants and Contracts within the Artifacts-track

VMCAI

Committee Member in Program Committee within the VMCAI 2018-track

2016

POPL

Author of Learning Invariants using Decision Trees and Implication Counterexamples within the Research Papers-track