Welcome to Data Constructors' Website

We are a consulting team of researchers and engineers specializing in data analysis, software development, and formal verification.

Our commitment lies in developing cutting-edge solutions for both our own projects and our clients. We are passionate about technology and continuously seek new challenges and opportunities to apply our expertise.

Technologies we are familiar with or willing to try soon:

Data Analysis:

• Familiar with: Python, NumPy, SciPy, Pandas, and other known libraries. R Studio.

• Willing to try: Julia, or more performant Python-like languages such as Taichi and Mojo.

Software Development:

• Familiar with: Mainstream languages such as Python or JavaScript (TypeScript).
• Happy to work with: Functional programming languages such as Haskell and OCaml.
• Willing to try: Elixir, C, or Rust.

Formal Verification:

• Using proof assistants such as Agda, Lean, or Isabelle/HOL.

The tool we use depends on the project's requirements and the team's expertise. However, we are always open to learning new technologies and methodologies, if necessary.

Why to work with us?

• Expert Team: Our professionals possess a strong academic backgrounds and extensive practical experience.
• Adaptive Solutions: We tailor our approach to address every challenge with precision and creativity.
• Trailblazing Mindset: We constantly seek new ventures and thrilling projects.

Let's create something extraordinary together!