Jan Kuper
Papers
1
Total Citations
2
H-Index
1
About
Jan Kuper is a leading researcher in functional programming and its application to embedded and cyber-physical systems. His work centers on bridging the gap between high-level, mathematically rigorous specifications and efficient, deterministic hardware implementation. A key contribution is his pioneering approach to using functional languages—particularly Haskell and its embedded domain-specific languages—to specify and verify complex algorithms, such as GraphSLAM for simultaneous localization and mapping in robotics. By enabling design-time analysis and guaranteeing deterministic performance on FPGAs, Kuper’s methodology addresses the critical challenge of computational complexity in real-time systems. His 2017 paper on this topic, though early in its citation impact, represents a foundational step toward provably correct, hardware-accelerated robotics. Beyond this, Kuper has made significant strides in functional reactive programming and the design of CλaSH, a compiler that translates Haskell to digital hardware. His work empowers engineers to reason formally about system behavior, reducing verification costs and accelerating development. With a career dedicated to making functional programming a practical tool for embedded systems, Kuper’s research continues to influence both academic theory and industrial practice in dependable, high-performance computing.
Research Focus
Key Achievements
Top Papers
- 1