update

Author: kubaneko

_pages/about.md

@@ -8,11 +8,4 @@ redirect_from:
   - /about.html
 ---
 
-I am studying master degree at Chalmers University of Technology in Computer science. Previously I completed my CS bachelor at Charles University in Prague with honors. I am interested in programming languages and proof assistants. My favourite languages are Haskell and C++, and I am using NixOS.
-
-Projects
-======
-
-- My bachelor thesis was on improving loop profiling in GCC with Profile-guided optimization supervised by [doc. Jan Hubička](https://www.ucw.cz/~hubicka/)
-- I took part in [HoTTest Summer School 2022](https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html)
-- My [CV](http://kubaneko.github.io/files/kubaneko_cv.pdf)
+Interested in functional programming (Haskell,agda), compilers (GCC) and metatheory for dependent types.