Léon van Velzen (CV)

A twenty-something interested in computational physics and electron microscopy.

Feel free to say something back.

Writings

Characterization of an aberration corrector utilizing two electrostatic mirrors for a low-voltage scanning electron microscope (master thesis) Finite difference coefficients Flow Confinement of a Laser Induced Atmospheric Helium Plasma (bachelor thesis) A dice computed from a fixed number of random bits cannot be fair The finite element method in Python Calling a function in the main thread in PyQt Viewing SPE 2 images using Python Voltage response of a low pass filter applied to a square wave Hydrogen wave functions and lifetimes The magnetic field of a rotating charged sphere Answers to 'How To Prove It: A Structured Approach' Photos of New Zealand

Software

Traceon - Electron optical calculations (work in progress)
For my master thesis I implemented the boundary element method to solve for the electrostatic potential inside axisymmetric electrostatic lenses and mirrors. Using a radial series expansion of the electrostatic potential I was able to make an extremely fast electron tracer. Hopefully I will have enough time to add magnetostatic calculations and three dimensional geometries.
Todo - A todo list implemented using dependent types
To get a program bug free people decided to sink an entire proof system in a programming language. I decided to test how well such a proof system works for getting a web application bug free (spoiler: pretty well). Don't miss out on a subset of SQL built up in a completely type safe manner.
Pyka - A more powerful Lisp language
In programming an expression like 'a + b' is evaluated in an environment which defines the values of the variables used in the expression. But what if you could manipulate the environments like any other data in your program? Like pass them around, change them or evaluate expressions inside them. I figured out that many of the most powerful programming constructs like macros or lexical scoping can be implemented using such first class environments.
Tetris
Because... why not?