I'm Artyom a 19 yo programmer (C, Common Lisp) and IT researcher (i haven't any scientific regalia, i'm not a scientist).
๐จ Currently i work over conformist a pattern matching library for common lisp
๐ญ I'm interested in various areas of IT:
- Programming languages design
- Functional programming
- Formal verification
- Fundamentals of IT
๐ But, since i became a student, i haven't much time to study new things. For example: formal verification. I think, that is a very interesting area, unfortunately my knowleges of it, honestly speaking, insufficient. However, i endeavour, and fog of incomprehension, that exists in my head, soon will dissipate.
๐ Currently i learning functional and genetic programming.
In real life. except programming i interested in poetery โจ and phylosophy โ๏ธ.
I'm russian, and my name maybe hard to pronounce to unprepared people, so i refer to IPA: ษrหtสฒษตm.