91色情片
Back to
Dr Zoltan Kocsis

Dr Zoltan Kocsis

Adjunct Lecturer

  • PhD in Mathematics (2016-2019)

    • Thesis: ""
    • The University of Manchester, Oxford Rd, Manchester M13 9PL, UK
Engineering
Computer Science and Engineering

Current research activities

  • Logical techniques for the verification of the seL4 Core Platform

听

  • Degree of satisfiability in algebraic structures

听

Other work: see website
Location
Level 3, Building K17
  • Journal articles | 2025
    Bumpus BM; Kocsis ZA, 2025, 'DEGREE of SATISFIABILITY in HEYTING ALGEBRAS', Journal of Symbolic Logic, 90, pp. 533 - 551,
    Journal articles | 2025
    Kocsis ZA, 2025, 'Proof-theoretic methods in quantifier-free definability', Annals of Pure and Applied Logic, 176,
    Journal articles | 2024
    Kocsis ZA, 2024, 'Apartness relations between propositions', Mathematical Logic Quarterly, 70, pp. 414 - 428,
    Journal articles | 2023
    Bumpus BM; Kocsis ZA, 2023, 'Spined categories: Generalizing tree-width beyond graphs', European Journal of Combinatorics, 114,
    Journal articles | 2020
    Brownlee AEI; Swan J; Senington R; Kocsis ZA, 2020, 'Conflict-free routing of multi-stop warehouse trucks', Optimization Letters, 14, pp. 1459 - 1470,
    Journal articles | 2019
    Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic synthesis of recursive functions made easy with bananas, lenses, envelopes and barbed wire', Genetic Programming and Evolvable Machines, 20, pp. 327 - 350,
    Journal articles | 2018
    Kocsis ZA; Swan J, 2018, 'Genetic Programming + Proof Search = Automatic Improvement', Journal of Automated Reasoning, 60, pp. 157 - 176,
  • Conference Papers | 2019
    Swan J; Krawiec K; Kocsis ZA, 2019, 'Stochastic program synthesis via recursion schemes', in Gecco 2019 Companion Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion, pp. 35 - 36,
    Conference Papers | 2016
    Kocsis ZA; Drake JH; Carson D; Swan J, 2016, 'Automatic improvement of apache spark queries using semantics-preserving program reduction', in Gecco 2016 Companion Proceedings of the 2016 Genetic and Evolutionary Computation Conference, pp. 1141 - 1146,
    Conference Papers | 2015
    Burles N; Bowles E; Brownlee AEI; Kocsis ZA; Swan J; Veerapen N, 2015, 'Object-oriented genetic improvement for improved energy consumption in Google Guava', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 255 - 261,
    Conference Papers | 2015
    Burles N; Swan J; Bowles E; Brownlee AEI; Kocsis ZA; Veerapen N, 2015, 'Embedded dynamic improvement', in Gecco 2015 Companion Publication of the 2015 Genetic and Evolutionary Computation Conference, pp. 831 - 832,
    Conference Papers | 2015
    Kocsis ZA; Brownlee AEI; Swan J; Senington R, 2015, 'Haiku - A Scala combinator toolkit for semi-automated composition of metaheuristics', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 125 - 140,
    Conference Papers | 2014
    Kocsis ZA; Neumann G; Swan J; Epitropakis MG; Brownlee AEI; Haraldsson SO; Bowles E, 2014, 'Repairing and optimizing hadoop hashCode implementations', in Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp. 259 - 264
    Conference Papers | 2014
    Swan J; Kocsis ZA; Lisitsa A, 2014, 'The 'representative' metaheuristic design pattern', in Gecco 2014 Companion Publication of the 2014 Genetic and Evolutionary Computation Conference, pp. 1435 - 1436,

  • CSIRO SCS Engineering and Technology award, for Translation Validation of seL4 on the RISC-V Architecture, May 2021, Sydney, Australia

  • IBM Prize, for Results on Degree of Satisfiability, MRSC 2018, September 2018, Manchester, UK