ABOUT I-LaSer

(Names of I-LaSer versions are those of research students who contributed to their implementation)

Project initiator: Stavros Konstantinidis (http://cs.smu.ca/~stavros/)

Significant contributors:

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