michalkonecny
Michal Konecny
Birmingham, United Kingdom
CodersRank Score

What is this?

This represents your current experience. It calculates by analyzing your connected repositories. By measuring your skills by your code, we are creating the ranking, so you can know how good are you comparing to another developers and what you have to improve to be better

Information on how to increase score and ranking details you can find in this blog post.

1,065.5
CodersRank Rank
Top 1%
Top 1
Haskell
Haskell
Developer
United Kingdom
Top 50
Java
Java
Developer
United Kingdom
Top 50
Shell
Shell
Developer
United Kingdom
Highest experience points: 0 points,

0 activities in the last year

List your work history, including any contracts or internships
Aston University
Sep 2003 - Dec 2021 (18 years 3 months)
Birmingham, UK
Lecturer
in Computer Science
functional programming java theorem proving
University of Edinburgh
Oct 2001 - Aug 2003 (1 year 10 months)
Edinburgh, UK
Research Fellow
Developing new type systems for automated memory management in functional programs.
functional programming theorem proving bsd
This section lets you add any degrees or diplomas you have earned.
University of Birmingham
Doctor of Philosophy (PhD), Computer Science
Jan 1996 - Jan 2000
My thesis is on "Many-valued real functions computable by finite transducers using IFS-representations"
Masaryk University Brno
Magistr (2x), Mathematics and Computer Science
Jan 1991 - Jan 1996
Focused on discrete mathematics and theoretical computer science. Two final year projects, one on deciding the equational theory of hyper-associative semigroups and one on parallel execution of functional programs.

Jobs for you

Show all jobs
Feedback