Stephen A. Edwards

Stephen A. Edwards is an Associate Professor at the Computer Science Department of Columbia University, where he explores automating software for embedded systems and real-time control. His work focuses on compiler techniques for languages like Esterel and domain-specific solutions for device drivers and communication protocols.

Education:

• PhD in Electrical Engineering, University of California, Berkeley (1997)
• MS in Electrical Engineering, UC Berkeley (1994)
• BS in Electrical Engineering, California Institute of Technology (1992)

Research Interests span hardware synthesis, functional programming, and synchronous languages. He develops domain-specific languages to bridge software and hardware, emphasizing determinism and timing precision in embedded systems. His group's work includes projects like the FHW compiler and the Sparse Synchronous Model.

Article Trends show a focus on FPGA-based systems, garbage collection for accelerators, and parallel functional programming. These reflect his broader interests in hardware-software co-design and compiler optimization for real-time applications.

Students:

• John Hui (2021-2024, Apple)
• Max Levatich (2020-)
• Richard Townsend (2013-2019, Tufts)
• Nalini Vasudevan (2007-2011, Google)
• Marcio Buss (2004-2008)
• Jia Zeng (2002-2008)
• Cristian Soviani (2002-2007, Synopsys)

Consulting & Expert Services: He provides litigation support and expert witness services in patent cases involving software architecture and computer design, including ITC cases.

Labs & Projects: Leads research on sparse synchronous systems and hardware synthesis, with initiatives like the GAPS CLOSURE Project and FHW Compiler for translating Haskell to System Verilog.