Personal information

Activities

Employment (2)

Czech Academy of Sciences: Prague, CZ

2020-09-01 to present | Scientist (Institute of Computer Science)
Employment
Source: Self-asserted source
David Cerna

Johannes Kepler Universität Linz: Linz, Upper Austria, AT

2015-04-15 to 2023-02-28 | Postdoc (Research institute for symbolic Computation)
Employment
Source: Self-asserted source
David Cerna

Education and qualifications (4)

Vienna University of Technology: Vienna, Niederösterreich, AT

2011-10-01 to 2015-04-15 | PhD (Infomatic)
Education
Source: Self-asserted source
David Cerna

Rensselaer Polytechnic Institute: Troy, NY, US

2008-09-01 to 2010-09-01 | Master (Computer Science)
Education
Source: Self-asserted source
David Cerna

Rensselaer Polytechnic Institute: Troy, NY, US

2004-09-01 to 2010-09-01 | Bachelor (Mathematics)
Education
Source: Self-asserted source
David Cerna

Rensselaer Polytechnic Institute: Troy, NY, US

2004-09-01 to 2010-09-01 | Bachelor (Computer Science)
Education
Source: Self-asserted source
David Cerna

Peer review (7 reviews for 4 publications/grants)

Review activity for Annals of mathematics and artificial intelligence. (3)
Review activity for Data mining and knowledge discovery. (2)
Review activity for Journal of automated reasoning. (1)
Review activity for Journal of symbolic computation. (1)