Project initiator: Stavros Konstantinidis (http://cs.smu.ca/~stavros/)
Nelma Moreira & Rogerio Reis: as of version 3, LaSer's back end is based on FAdo
6: Baxter Madore (August 2024, current version)
Incorporating the approximate maximality question, and adding time limits to computations.
5: Matthew Rafuse (January 2018)
Incorporating into LaSer satisfaction of DNA properties, introducing text areas for entering user input, and making the views.py code modular.
4: Abisola Adeniran (October 2016)
Incorporating into LaSer the construction problem.
3: Casey Meijer (June 2014)
Deciding maximality of all available properties, generation of executable code
2: Meng Yang (June 2012)
Deciding satisfaction of: Input-preserving transducer, Error-detection, and Error-correction properties
1: Krystian Dudzinski (June 2010)
Deciding satisfaction of: Trajectory and Input-altering transducer properties