Motivation and inspiration for using the theory of free noncommutative functions often comes from free probability. An important application area is "dimensionless" matrix inequalities; these arise, e.g., in various optimization problems of system engineering. Among other related areas are those of polynomial identities in rings, formal languages and finite automata, quasideterminants, noncommutative symmetric functions, operator spaces and operator algebras, and quantum control.