Amichai Shulman

Amichai Shulman is an Israeli computer scientist and entrepreneur notable for contributions to network security, formal verification, and protocol design. He has held research and executive roles at major technology companies and founded startups influencing cybersecurity, networking, and software assurance. His work spans academic institutions, industry laboratories, and standards venues.

Early life and education

Born in Israel, Shulman studied at Israeli institutions and pursued graduate research related to formal methods, protocol verification, and distributed systems. He engaged with research communities associated with Technion – Israel Institute of Technology, Tel Aviv University, Hebrew University of Jerusalem, Weizmann Institute of Science, and international collaborators at Massachusetts Institute of Technology, Stanford University, Carnegie Mellon University, University of California, Berkeley, and University of Cambridge. During his education he interacted with projects and research groups tied to IETF, IEEE, ACM, USENIX, and IFIP that focus on protocol design, verification, and network security. His academic mentors and peers included researchers with ties to DARPA, NSF, European Research Council, and prominent labs such as Bell Labs and Microsoft Research.

Academic and research career

Shulman has published and collaborated across conferences and journals including IEEE Symposium on Security and Privacy, USENIX Security Symposium, ACM SIGCOMM, ACM CCS, NDSS, CONCUR, and CACM. His research contributions tie into topics investigated at RSA Conference, Black Hat, CanSecWest, and DEF CON, and with institutions such as SRI International, MITRE Corporation, NIST, TIFFANY Labs and university centers at Princeton University, Yale University, and Columbia University. He has participated in program committees alongside researchers from Google, Facebook, Microsoft, Apple, Amazon, IBM Research, Intel Labs, Qualcomm, and Cisco Systems. His scholarly output has been cited in work connected to Formal Methods in System Design, Model Checking, Protocol Verification, Cryptographic Protocols, and Network Function Virtualization research streams linked to IETF RFCs and ETSI activities.

Contributions to cybersecurity and networking

Shulman's technical contributions influenced practical deployments and standards related to intrusion prevention, firewall design, secure routing, and application-layer controls. He worked on systems relevant to products and research from Palo Alto Networks, Juniper Networks, Check Point Software Technologies, Cisco Systems, Fortinet, Symantec, McAfee, Trend Micro, F5 Networks, and Akamai Technologies. His work intersects with protocol and architecture topics such as BGP, TLS, IPSec, OAuth, DNSSEC, HTTP/2, QUIC, SDN (Software-Defined Networking) initiatives in ONF (Open Networking Foundation), and NFV efforts in ETSI ISG NFV. He contributed ideas applicable to threat intelligence ecosystems like MISP, STIX, TAXII, and operational frameworks from CISA, ENISA, CERT Coordination Center, and FIRST. His designs and analyses informed approaches used by cloud and platform providers including Amazon Web Services, Google Cloud Platform, Microsoft Azure, Cloudflare, DigitalOcean, and OVH.

Entrepreneurship and industry roles

Shulman co-founded and led startups and product teams that brought research into commercial networking and security products, with ventures engaging investors and partners from Sequoia Capital, Andreessen Horowitz, Accel Partners, Bessemer Venture Partners, Benchmark Capital, Kleiner Perkins, Index Ventures, Greylock Partners, and Lightspeed Venture Partners. He held senior roles at companies collaborating with enterprise customers such as Bank of America, JPMorgan Chase, Goldman Sachs, Walmart, Verizon Communications, AT&T, Deutsche Telekom, Orange S.A., and Vodafone. His industry leadership included interactions with open source initiatives and foundations such as Linux Foundation, OpenStack Foundation, Apache Software Foundation, Cloud Native Computing Foundation, OpenDaylight, and Open vSwitch. Strategic partnerships involved vendors like Arista Networks, Ciena, Riverbed Technology, SolarWinds, and Splunk.

Awards and recognition

Shulman received recognition from professional societies and industry groups including ACM, IEEE Computer Society, IETF, Israel Defense Prize-related committees, and awards associated with conferences such as USENIX and RSA Conference. His work has been acknowledged by technology media and analyst firms including Gartner, Forrester Research, IDC, TechCrunch, Wired, and The Register. He has been invited to speak at venues like TEDx, World Economic Forum, Cybertech Tel Aviv, RSA Conference, Black Hat USA, and academic symposia at Harvard University, Oxford University, and ETH Zurich.

Category:Israeli computer scientists