{
  "name": "Adam Ouksili",
  "discipline": "Computer Science × Mathematics",
  "education": "Rutgers University",
  "graduation": "2029",
  "location": "NYC Metropolitan Area",
  "email": "adam@adamouksili.com",
  "github": "https://github.com/adamouksili",
  "linkedin": "https://linkedin.com/in/adamouksili",
  "focus": [
    "Developer tools",
    "Consumer products",
    "Mathematical computing"
  ],
  "projects": [
    {
      "id": "theoremis",
      "number": "01",
      "title": "Theoremis",
      "category": "FORMAL MATHEMATICS / DEVELOPER TOOLS",
      "description": "From a handwritten idea to a verifiable proof.",
      "summary": "A math-native IDE that turns handwritten proofs into verifiable formal mathematics.",
      "url": "https://theoremis.com",
      "image": "/assets/theoremis-ui.png",
      "complexity": 3,
      "tags": [
        "proofs",
        "logic",
        "mathematics",
        "editor"
      ]
    },
    {
      "id": "overlappd",
      "number": "02",
      "title": "Overlappd",
      "category": "DISCOVERY / CONSUMER PRODUCTS",
      "description": "Discovery that starts with what you mean.",
      "summary": "A discovery product organized around intent, not popularity.",
      "url": "https://overlappd.com",
      "image": "/assets/overlappd-ui.png",
      "complexity": 2,
      "tags": [
        "search",
        "intent",
        "networks",
        "discovery"
      ]
    },
    {
      "id": "adam-system",
      "number": "03",
      "title": "ADAM / SYSTEM",
      "category": "PERSONAL SITE / INTERACTIVE MATH",
      "description": "This website, and a place to try things out.",
      "summary": "My personal website, with projects, notes, and interactive math experiments.",
      "complexity": 1,
      "tags": [
        "graph",
        "simulation",
        "algorithms",
        "geometry",
        "systems"
      ]
    }
  ]
}