Dr Jens Blanck

Associate Professor

Computer Science

+44 (0) 1792 602917

j.e.blanck@swansea.ac.uk

Intermediate Welsh Speaker

Office - 333
Third Floor
Computational Foundry
Bay Campus

Available For Postgraduate Supervision

Research Links

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

ResearcherID

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

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. (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
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
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., 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. (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. (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
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

Taught Modules

CSP301 Software Engineering Project Specification and Development

The aims of this module in conjunction with CSP300 are: ¿ to provide BSc Software Engineering students the opportunity of specifying, designing and implementing a complete system and experiencing the major phases of the life-cycle of a computing project; ¿ to enhance students¿ competence in system design, risk analysis and management, and their fluency in using programming languages and tools; ¿ to give students an intellectual challenge to their abilities to learn new subjects without instruction, and to further develop their abilities in literature searching, report writing, verbal presentation, project planning and time management.

Dr Jens Blanck

Telephone number

Email address

Welsh language proficiency