Interesting topics I worked (or I've been still working) on:

• applying genetic algorithms for digital circuit synthesis - C++ implementation (Poland) (paper)
• fully automatic web-hosting system (Linux, FreeBSD, OpenBSD, Solaris) (Poland)
• C++ software for processing real time data (TCP/IP networking, CORBA) (Austria)
• Embedded Linux applications for real-time software (traffic light controller) (Denmark)

• since 1992 programming in Pascal/C/C++, since 2000 - professionally
• since 1999 using GNU/Linux exclusively
• 2000 started programming/designing web applications (PHP, Python, Javascript, CSS)
• 2001 M.Sc. Eng. in Computer Science (Technical University of Szczecin, Poland)
• 2004 started working on mission and safety critical real time systems (C/C++ on embedded Linux)
• 2011 started programming in python (fell in love with it)

Develop myself professionally and personally, pushing my limits, delivering high quality value. That brings me satisfaction and fulfilment in life.

• self-control and self-regulation
• honesty, authenticity, and genuineness
• curiosity and interest in the world
• hope, optimism, and future-mindedness
• love of learning

The list above is the result of the VIA Survey of Character Strengths
from www.authentichappiness.sas.upenn.edu

• natural languages: polish (native), english (advanced), german (advanced)
• programming languages: C, C++, Python, PHP, JS
• other languages: bash, awk, html+css
• other tools (very incomplete list): latex, subversion, git, vim, mysql, apache, nginx, ...

More complete list is on linkedin.

• mountaineering, hiking
• mountain biking
• trail running
• yoga
• photography

• e-mail: info @ this domain
• social networks for professionals: LinkedIn

This website is operated by Miroslaw Opoka.

Working for 15 years in the field of practical and theoretical software development.

• Recent research interest: Model Driven Software Engineering, Systematic Quality Assessment of Models, Applications and extensions of Object Constraint Language.
• Recent lectures: Formal Specification, Semantic of Programming Languages, Model Engineering, Selected Topics of Software Engineering.
• Software development commercial and for research, teaching and private purposes.

The world left behind rocky horizon seems to be unreal with its absurd problems. Here, everything takes another meaning. The rhythm of the time slows down, amazing things happen, thoughts cannot keep up with events, and words cannot keep up with thoughts...

Continuously and consciously discovering the beauty of the nature and searching for the depths of body and mind by exploring holistic, effective, effortless and injury-free approaches to human activities. Focusing on mindful and loving relationship and parenting. Using professional skills to assure abundance for my family and provide value to other people.

• judgment, critical thinking, and open-mindedness
• appreciation of beauty and excellence
• curiosity and interest in the world
• kindness and generosity
• honesty, authenticity, and genuineness

The list above is the result of the VIA Survey of Character Strengths
from www.authentichappiness.sas.upenn.edu

• natural languages: polish (native), english (advanced), german (advanced)
• specification languages: uml + ocl, z notation, casl, alloy
• other languages: latex + bibtex, html+css, bash
• working enviroment: GNU Linux/Debian, vim, git

• mountaineering, nature watching, and photography
• mindfulness meditation and yoga
• total immersion swimming and uphill running

• e-mail: info @ this domain
• social networks for professionals: LinkedIn, Xing