b'Jan Stolarek\nInformatics Forum 5.10\n10 Crichton Street\nEdinburgh\nEH8 9AB\nUnited Kingdom\n\nPhone:\nWeb:\nEmail:\n\n+44 131 651 30 77\nhttp://ics.p.lodz.pl/~stolarek\njan.stolarek@ed.ac.uk\n\nPolish citizen. Speaks English (fluent).\n\nEducation\n2012\n\nPhD in Computer Science, Lodz University of Technology (Poland)\nThesis: Orthogonal wavelet synthesis based on signal processing outcome.\n\n2008\n\nMSc in Computer Science, Lodz University of Technology (Poland)\nThesis: User identification based on fingerprint analysis.\n\nAcademic career\n2016\xe2\x80\x93to date\n\nResearch Associate at Laboratory for Foundations of Computer Science, University\nof Edinburgh, UK\nResponsibilities: research work an a project \xe2\x80\x9eSkye: A programming language bridging\ntheory and practice for scientific data curation\xe2\x80\x9d.\n\n2012\xe2\x80\x932016\n\nLecturer at the Institute of Information Technology, Lodz University\nof Technology, Poland\nResponsibilities: research on functional programming and compiler construction;\nteaching undergraduate and postgraduate courses.\n\n2008\xe2\x80\x932012\n\nResearch Assistant at the Institute of Information Technology, Lodz University\nof Technology, Poland\nResponsibilities: research on discrete wavelet transforms, digital signal watermarking\nand image quality assessment; teaching undergraduate and postgraduate courses.\n\nPeer-reviewed papers\n2015\n\nJ. Stolarek, S. Peyton Jones, and R. A. Eisenberg. Injective Type Families for Haskell.\nACM SIGPLAN Notices, 50(12):118\xe2\x80\x93128, December 2015\n\n2014\n\nR. A. Eisenberg and J. Stolarek. Promoting functions to type families in Haskell. ACM\nSIGPLAN Notices, 49(12):95\xe2\x80\x93106, December 2014\n\n2012\n\nJ. Stolarek and P. Lipi\xc5\x84ski. Improving watermark resistance against removal attacks\nusing orthogonal wavelet adaptation. In Proceedings of the 38th Conference on Current\nTrends in Theory and Practice of Computer Science, volume 7147 of Lecture Notes in\nComputer Science, pages 588\xe2\x80\x93599. Springer, 2012\nJ. Stolarek. Adaptive wavelet synthesis for improving digital image watermarking. In\nP. Lipi\xc5\x84ski and K. \xc5\x9awirski, editors, Towards Modern Collaborative Knowledge Sharing\nSystems, pages 133\xe2\x80\x93144. Springer, 2012\n\n2011\n\nJ. Stolarek. On properties of a lattice structure for a wavelet filter bank implementation:\nPart II. Journal of Applied Computer Science, 19(2):125\xe2\x80\x93139, December 2011\nJ. Stolarek. On properties of a lattice structure for a wavelet filter bank implementation:\nPart I. Journal of Applied Computer Science, 19(1):85\xe2\x80\x93116, June 2011\nP. Lipi\xc5\x84ski and J. Stolarek. Digital watermarking enhancement using wavelet filter\nparametrization. In A. Dobnikar, U. Lotric\xcc\x8c, and B. S\xcc\x8cter, editors, Adaptive and Natural\nComputing Algorithms (10th ICANNGA, 2011), volume 1, pages 330\xe2\x80\x93339, 2011\n\n\x0cJan Stolarek: curriculum vitae\n\n2\n\nJ. Stolarek. Adaptive synthesis of a wavelet transform using fast neural network.\nBulletin of the Polish Academy of Sciences: Technical Sciences, 59(1):9\xe2\x80\x9313, March 2011\n2010\n\nJ. Stolarek. Improving energy compaction of a wavelet transform using genetic\nalgorithm and fast neural network. Archives of Control Sciences, 20(4):417\xe2\x80\x93433,\nDecember 2010\nJ. Stolarek and P. Lipi\xc5\x84ski. Improving digital watermarking fidelity using fast\nneural network for adaptive wavelet synthesis. Journal of Applied Computer Science,\n18(1):61\xe2\x80\x9374, 2010\n\n2009\n\nJ. Stolarek and M. Yatsymirskyy. Fast neural network for synthesis and implementation\nof orthogonal wavelet transform. In Image Processing & Communications Challenges,\npages 87\xe2\x80\x9394. AOW EXIT, 2009\n\nClicking the title accesses the full text of the paper.\n\nOther publications\n2012\xe2\x80\x93to date\n\nhttp://lambda.jstolarek.com, blog about functional programming\n\n2013\n\nJ. Stolarek. Verifying weight biased leftist heaps using dependent types. Self-published\nonline, 2013\n\n2012\n\nJ. Stolarek. Understanding basic Haskell error messages. The Monad.Reader, Issue\n20:21\xe2\x80\x9341, 2012\n\nAdditionally, 5 non-refereed articles presented at regional and international conferences. Full list available at\nhttp://ics.p.lodz.pl/~stolarek/en:research:publications\n\nGrants, awards, scholarships and research internships\n2014\n\nResearch grant for young scientists from the Dean of the Faculty of Technical Physics,\nInformation Technology and Applied Mathematics, Lodz University of Technology\n(ca. e 1600)\n\n2013\n\nInternship at Microsoft Research Cambridge, UK. Research and development work on\nGlasgow Haskell Compiler\n\n2011\n\nResearch grant for young scientists from the Dean of the Faculty of Technical Physics,\nInformation Technology and Applied Mathematics, Lodz University of Technology,\nawarded to the best PhD researcher at Institute of Information Technology (ca. e 2750)\n\n2009\n\nIEEE Best Paper Award Polish Section ED for Synthesis of a wavelet transform using\nneural network presented during the XI International PhD Workshop OWD 2009\nBest Presentation distinction at the international conference ISDMCI 2009 for\nRealization of Daubechies transform using lattice structure\n\n2003-2008\n\nLodz University of Technology scholarship for best students (ca. e 1650 p.a.)'