Tag: 1980s-present

Seven researchers helped establish end-user programming as the idea that people should be able to create useful software without becoming professional programmers first.

Seven researchers helped evolve fuzzing from random crash discovery into coverage-guided, symbolic, sanitizer-assisted security testing at enormous scale.

Seven researchers helped turn formal verification into an algorithmic search problem through temporal logic, state exploration, symbolic representations, and practical model-checking tools.

Seven researchers helped build reinforcement learning from temporal-difference methods and Q-learning to deep RL, self-play, and AlphaGo.

Seven roboticists helped bring behavior-based control, warehouse robotics, autonomous driving, social robots, field systems, distributed robots, and aerial swarms into real machines.

Seven pioneers helped make encrypted communication, mix networks, Tor, off-the-record messaging, and modern end-to-end encryption practical.

Seven researchers and entrepreneurs helped define computer viruses, commercialize antivirus, and professionalize malware analysis and detection.

Seven security researchers helped evolve intrusion detection from audit-trail analysis and statistical profiling to anomaly detection and machine learning.

Seven researchers helped define the limits and practical protocols for reaching agreement across unreliable and even malicious distributed machines.

Seven language creators helped make text processing, automation, web programming, embedding, and rapid development dramatically more accessible.