Можете рассказать, кем является Джеффри Рихтер и какую роль он играет в области программной инженерии?