Lukasz Czajka

Computer Scientist @ Heliax arrow icon

About Lukasz Czajka

Lukasz Czajka is a computer scientist known for his expertise in computational logic and functional programming, and for developing the CoqHammer automated reasoning system.

Known information

Lukasz Czajka is a computer scientist with a specialized background in computational logic, including areas such as type theory, lambda calculus, and automated reasoning for proof assistants. His professional interests are deeply rooted in functional programming, as well as the theory and implementation of programming languages and software verification. He is notably the main developer of the CoqHammer automated reasoning system for the Coq proof assistant. Additionally, Lukasz Czajka has contributed to the design and development of Juvix, a project under Heliax that focuses on advancing the functionalities of programming languages.

About Heliax

Heliax is a remote-first company specializing in distributed ledger technology, known for its flexible work environment and collaborative culture.

report flag Report inaccurate information

People similar to Lukasz Czajka

Isaac Sheff

Computer Scientist @ Heliax

Isaac Sheff is a computer scientist specializing in distributed systems, security, and programming language techniques, with a focus on adapting consensus protocols for cross-domain transactions.

Jan Mas Rovira

Computer Scientist @ Heliax

Jan Mas Rovira is a computer scientist and logician with a focus on type theory, proof assistants, and compilers.

Joe Bebel

Computer Scientist @ Heliax

Joe Bebel is a theoretical computer scientist focused on computational complexity theory, probabilistically checkable proofs, and SNARKs, with an interest in applying theoretical results to real-world systems.

Unlock exclusive insights

Sign up to reveal more information.

loader Sign up for free