Daniel Raggi

01 — About

About me

I'm a mathematician and computer scientist based in Cambridge, UK. My background is in formal reasoning, logic, and the role of representation in problem-solving.

After completing my PhD, I spent six years as a Research Associate at the University of Cambridge, working on heterogeneous reasoning and how the choice of representation shapes what we can discover.

Today I apply that same rigour across everything I do, whether that's teaching a student to write their first proof, building science-driven software, or dialling in a recipe for a perfect West Coast IPA.

🎓

PhD, Intelligent Systems University of Edinburgh

🔬

Research Associate, 6 years University of Cambridge

Teaching

Private tuition and maths competition coaching, from primary school to undergraduate level.

Software

Web and app development, including a science-based beer brewing platform.

Brewing

Proportion Brewing: custom beer brewed to specification in the Cambridge area.

02 — Teaching

What I teach

Private tuition in mathematics and computer science at every level, plus competition preparation for schools. In-person in the Cambridge, UK area, or online anywhere.

Mathematics

Algebra, calculus, analysis, linear algebra, probability, and statistics. Emphasis on proof and problem-solving.

GCSE A-Level Further Maths Undergraduate

Computer Science

Programming, data structures, algorithms, and computational thinking. Python, Java, and functional approaches.

GCSE A-Level Undergraduate Self-study

⊢

Logic & Proof

Formal logic, set theory, and proof techniques for students making the transition to rigorous mathematics.

A-Level Undergraduate Transition

☆

Maths Competitions

Preparation for Maths Kangaroo and other mathematical competitions. I work with individual students and with primary and secondary schools to build problem-solving skills that go beyond the curriculum.

Primary Secondary Maths Kangaroo Schools

Structured Courses

Deep dives

Multi-session courses that take a topic from foundations through to real depth.

Course I

Logic & Computability

Formal systems, from propositional and predicate logic through to Turing machines, decidability, and the limits of computation.

Propositional Logic Predicate Logic Turing Machines Decidability Gödel's Theorems

Course II

Mathematics of Computer Science

The mathematical toolkit for computer science: discrete structures, combinatorics, graph theory, number theory, and formal proof.

Discrete Maths Graph Theory Combinatorics Number Theory Formal Proofs

03 — Software

What I build

Featured Project

Proportion Brewing Assistant

A science-first beer brewing application. Every calculation is grounded in the chemistry and physics of brewing, not rules of thumb.

Beyond recipe building, it integrates water treatment calculators, mash chemistry, and outcome prediction: what efficiency, attenuation, and flavour profile to expect given your water, grain bill, and process.

Recipe builder with real-time predictions
Water treatment & mineral adjustment
Mash pH and efficiency modelling
Prediction of chemistry and perception of final beer
Lautering, boil-off, and fermentation calculators

Try the app →

Glowing Ember

English Strong Bitter · 20L batch · WLP002 English Ale · Eff. 86%

OG1.059

FG1.016

ABV5.6%

IBU30

EBC22

Atten.73%

Grain Bill

Grain	Weight	%	EBC
Pale Malt	2.80 kg	62.2%	6
Mild Ale Malt	1.40 kg	31.1%	8
Dark Crystal	0.30 kg	6.7%	250
Total	4.50 kg

Mash Schedule

Step	Temp	Duration	pH
Sacch.	60°C	90 min	5.4
Sacch.	67°C	30 min	5.4

Water Profile

Ion	Source	Final
Ca²⁺	120 ppm	103 ppm
Mg²⁺	4 ppm	11 ppm
Na⁺	14 ppm	14 ppm
Cl⁻	31 ppm	72 ppm
SO₄²⁻	51 ppm	170 ppm
HCO₃⁻	280 ppm	0 ppm

Hop Schedule

Variety	Amount	AA	Time
Northdown	30g	8.5%	60 min
East Kent Goldings	30g	5%	0 min
Northdown	20g	8.5%	0 min

Fermentation

Stage	Temp	Duration	Pressure
Primary	20°C	7 days	ambient
Cold crash	3°C	2 days	ambient

Carbonation

Target CO₂	2.4 vol
Residual CO₂	0.86 vol
Priming sugar (sucrose)	114.6g

{}

Websites & Apps

Modern websites and custom applications, delivered fast. AI-augmented development means shorter timelines and lower costs without cutting corners on quality.

HTML / CSS / JS React Full-stack AI-augmented

⚙

Tools that replace overhead

Internal tools, dashboards, and automations built so your team can manage them directly. Replace ongoing IT costs with something you own and understand.

Automation Dashboards Self-serve

04 — Brewing

Proportion Brewing

I brew beer to specification in the Cambridge, UK area. Whether you have a particular style in mind or want something designed from scratch, I approach every batch with the same scientific rigour I bring to everything else.

Water chemistry, mash profiles, fermentation control: every variable is measured and managed to produce exactly what you're after.

Brew to spec

Tell me what you want (style, strength, bitterness, flavour profile) and I'll design and brew it. Any style.

Cambridge area

Collection or local delivery in the Cambridge, UK area.

Beer profile explorer

Pick a style as a starting point, or drag the sliders to design your own beer.

abv 0

roastiness 0

maltiness 0

caramel 0

sweetness 0

bitterness 0

spicy / floral hop 0

fruity / citrus hop 0

yeast fruit (esters) 0

yeast spice (phenols) 0

Copied!

Clarity, rigour, creativity