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.