Explore projects

Instruction sheet describing the basics of VEGA operations. Intended for printing, to keep next to the EL-B 216 control room computer.

LION code

Code for "Data-driven Approach for Disturbance Rejection for Dual-Stage Actuator Hard Disk Drives"

Proof assistant based on first-order logic and set theory