Coronavirus Recovery: advice and latest information

Dr Jens Blanck

Associate Professor, Computer Science

+44 (0) 1792 602917

j.e.blanck@swansea.ac.uk

Basic Welsh Speaker

Research Links

https://orcid.org/0000-0001-9656-1352

ResearcherID

Office - 333
Third Floor
Computational Foundry
Bay Campus

Available For Postgraduate Supervision

About

Dr Jens Blanck is an Associate Professor in the Department of Computer Science, Swansea University.

Publications

Research Highlights

Bauer, A. & Blanck, J. (2010). Canonical effective subalgebras of classical algebras as constructive metric completions. Journal of Universal Computer Science, 16(18), 2496-2522.
https://doi.org/10.3217/jucs-016-18-2496, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa47
Blanck, J. (2008). Reducibility of domain representations and Cantor–Weihrauch domain representations. Mathematical Structures in Computer Science, 18(06), 1031-1056.
https://doi.org/10.1017/S0960129508007093, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa132
Blanck, J. & Blanck, J. (2005). Efficient exact computation of iterated maps. The Journal of Logic and Algebraic Programming, 64(1), 41
https://doi.org/10.1016/j.jlap.2004.07.004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1707
Blanck, J., Stoltenberg-Hansen, V., Tucker, J., & Blanck, J. (2002). Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theoretical Computer Science, 284(2), 207
https://doi.org/10.1016/S0304-3975(01)00065-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1708
Blanck, J. & Blanck, J. (2006). Exact real arithmetic using centred intervals and bounded error terms. The Journal of Logic and Algebraic Programming, 66(1), 50
https://doi.org/10.1016/j.jlap.2005.07.002, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1709

All Research

Journal Articles

Bauer, A. & Blanck, J. (2010). Canonical effective subalgebras of classical algebras as constructive metric completions. Journal of Universal Computer Science, 16(18), 2496-2522.
https://doi.org/10.3217/jucs-016-18-2496, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa47
Blanck, J. (2008). Reducibility of domain representations and Cantor–Weihrauch domain representations. Mathematical Structures in Computer Science, 18(06), 1031-1056.
https://doi.org/10.1017/S0960129508007093, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa132
Blanck, J. & Blanck, J. (2005). Efficient exact computation of iterated maps. The Journal of Logic and Algebraic Programming, 64(1), 41
https://doi.org/10.1016/j.jlap.2004.07.004, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1707
Blanck, J., Stoltenberg-Hansen, V., Tucker, J., & Blanck, J. (2002). Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theoretical Computer Science, 284(2), 207
https://doi.org/10.1016/S0304-3975(01)00065-2, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1708
Blanck, J. & Blanck, J. (2006). Exact real arithmetic using centred intervals and bounded error terms. The Journal of Logic and Algebraic Programming, 66(1), 50
https://doi.org/10.1016/j.jlap.2005.07.002, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa1709
Berger, U., Blanck, J., & KØBER, P. (2010). Domain representations of spaces of compact subsets. Mathematical Structures in Computer Science, 20(02), 107
https://doi.org/10.1017/S096012950999034X, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7413
Blanck, J. & Blanck, J. (2013). Interval Domains and Computable Sequences: A Case Study of Domain Reductions. The Computer Journal, 56(1), 45-52.
https://doi.org/10.1093/comjnl/bxs121, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa13741
Blanck, J., Stoltenberg-Hansen, V., & Tucker, J. (2008). Stability for Effective Algebras. Electronic Notes in Theoretical Computer Science, 221, 3
https://doi.org/10.1016/j.entcs.2008.12.002, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa48
Blanck, J., Stoltenberg-Hansen, V., & Tucker, J. (2011). Stability of representations of effective partial algebras. Mathematical Logic Quarterly
https://doi.org/10.1002/malq.200910133, SU Repository: https://cronfa.swan.ac.uk/Record/cronfa7204

Supervision

Implementing Prawf with Program Extraction and Case Studies for Sequent Calculus Rules (current)

MRes

Other supervisor: Dr Ulrich Berger

Other supervisor: Dr Ulrich Berger

Other supervisor: Dr Ulrich Berger

Dr Jens Blanck

Telephone number

Email address

Welsh language proficiency