Donald Gunter 

Veteran and programmer focusing on system 2 programming and value based decision making. I specialize in ROBDD, quality assurance in decision making, and ethics and morals in AI and human systems.