Juan Simões Juan Simões
Writing CV Teaching Projects

Projects

Open Source Impact

Building tools that advance science and software engineering

High-quality biological research software and functional programming libraries that solve real problems for researchers and developers.

🧬Scientific Computing

LineageFlow

Comprehensive embryology analysis platform — A toolkit for quantitative cell lineage analysis in developing organisms, developed during my PhD research on embryonic development.

Research Impact:

  • • Novel approach: Developed automated morphogenetic field identification
  • • Research contribution: Part of PhD thesis research
  • • Publication foundation: Enabled Physical Biology research
  • • PhD achievement: Core contribution to doctoral thesis

Technical Excellence:

  • • Modular Haskell architecture supporting 10+ analysis algorithms
  • • Declarative interface enabling reproducible scientific workflows
  • • Real-time 3D visualization with WebGL integration
  • • Nix-based deployment ensuring cross-platform reproducibility
Haskell Research Nix

Impact: Advanced computational methods for embryonic development studies

CSDC DAO

Decentralized research collaboration platform — A full-stack social network enabling researchers to self-organize and collaborate through democratic governance structures. Built as an experiment in decentralized academic collaboration.

Platform Features:

  • • Democratic Governance: Dual voting systems (Simple Majority & Majority Consensus)
  • • Social Networking: User profiles, forums, file sharing, and communication tools
  • • Organizational Units: Hierarchical structures with chairperson and membership management
  • • Decentralized Storage: IPFS integration for distributed file management

Technical Stack:

  • • Full-stack application with Haskell/Servant backend and Elm frontend
  • • PostgreSQL database with JWT authentication
  • • Docker Compose and Nix-based deployment
  • • Real-time updates and REST API architecture
Haskell Web PostgreSQL IPFS Docker

Status: Working full-stack decentralization platform

GNUHealth Nix Docker

Configurable Docker deployment for GNUHealth medical information systems. Simplifies deployment using Nix reproducibility and Docker containerization, practical for small deployments when teaching medical information systems.

Docker Nix Education

⚡Advanced Haskell Libraries

constraint-classes

Haskell library addressing type class limitations using ConstraintKinds. Enables flexible abstractions while preserving type inference.

Haskell

reflex-elm

Elm-inspired development model for Haskell web applications. Combines Reflex reactive programming with Elm's architecture.

Haskell Web

LATS

Linear Algebra in Typed Space. An experiment in replacing typed dimensions with typed linear spaces.

Haskell

🌍Impact Areas

Research: LineageFlow enables computational embryology studies
Platform Engineering: Urbit hosting infrastructure at Tlon
Education: Teaching medical and engineering students
Open Source: Functional programming libraries and tools

Connecting research with practical software engineering.