|
|
- Info
Alexander Maletzky
|
|
|
DI Dr. Alexander Maletzky
|
|
Contact
Publications
Short Curriculum Vitae
- 1988 born in Ried/Innkreis
- 2009 - 2011 Bachelor in Technical Mathematics at JKU, Linz
- 2011 - 2013 Master in Computer Mathematics at JKU, Linz
- 2013 - 2016 PhD Studies in the Doctoral Program "Computational Mathematics'', JKU, Linz
- Since October 2016 PostDoc at the Research Institute for Symbolic Computation (RISC), JKU, Linz
Research interests
- Gröbner Bases
- Automated Reasoning
- Theorema
Activities
DK Meetings
- DK Come-Together, March 22, 2013, Linz, Austria
- DK Statusseminar, September 30 - October 2, 2013, Strobl, Austria
- Gröbner Bases and Theorema
- DK Come-Together, June 16, 2014, Linz, Austria
- DK Statusseminar, September 24-26, 2014, Strobl, Austria
- Formalizing Gröbner Bases in Theorema
- DK Statusseminar, September 30 - October 2, 2015, Strobl, Austria
- Formal Theory and Algorithmics of Gröbner Bases
- DK Statusseminar, September 28-30, 2016, Strobl, Austria
Participation at Conferences and Workshops
- GBRELA 2013, September 3-6, 2013, RISC Hagenberg, Austria
- ICMS 2014 (International Congress on Mathematical Software), August 5-9, 2014, Hanyang University, Seoul, Korea
- Gröbner Bases in Theorema
- Complexity Analysis of the Bivariate Buchberger Algorithm in Theorema
- CASC 2015 (Computer Algebra in Scientific Computing), September 14-18, 2015, RWTH Aachen, Germany
- Automated Reasoning in Reduction Rings using the Theorema System
- Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates
- PAS 2015 (Program Verification, Automated Debugging and Symbolic Computation), October 21-23, 2015, Beihang University, Beijing, China
- Verifying Buchberger's Algorithm in Reduction Rings
- CSM 2016 (Conference for Students of Mathematics), June 27-29, 2016, Bolyai Institute, Szeged, Hungary
- Computer-Assisted Exploration of Gröbner Bases Theory in Theorema
- ICMS 2016 (International Congress on Mathematical Software), July 11-14, 2016, Zuse Institute Berlin, Germany
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
- CICM 2016 (Conference on Intelligent Computer Mathematics), July 25-29, 2016, University of Bialystok, Poland
- Mathematical Theory Exploration in Theorema: Reduction Rings
Scientific Stays
- TU Munich (Chair for Logic and Verification; Prof. Tobias Nipkow), October 2015 - January 2016
Teaching
- WS 2013/14: "Programming in Mathematica" for students of the International Master's Program Informatics (ISI)
- WS 2014/15: Tutor for "Analysis for Computer Scientists" at JKU
- WS 2016/17: "Programming in Mathematica" for students of the International Master's Program Informatics (ISI)
|
|
|
