Welcome to my webpage

Hi, I am Roopak Sinha, a doctoral student at the School of Engineering at the University of Auckland.

Areas of interest (academic):

1. Formal verficication of embedded systems and mathematical logic
2. Engineering software projects in Java, Delphi, C++, C.
3. Design of ASICs, FPGAs and processor architectures (starting to learn this).
4. Optimisation algorithms.

Projects:

1. Adaptive formal verification (my doctoral research topic).
2. Design of a timber optimiser for CA-NZ (www.ca-nz.co.nz).
3. Design of an "Automated Data Import Software" for a video rental computer system for ForgeLink (www.forgelink.com).
4. Virtual Laboratories, a set of simulated machines allowing students at the University of Auckland to do perform labs at home.

Informal stuff about me

About me