The formal human systems laboratory is actively soliciting Ph.D. students and Post Docs with an interest in human performance modeling and a strong background in formal methods, computer science, computer engineering, or applied mathematics. Interested applicants should contact
Matthew L. Bolton for more information.

Lab Director

Matthew L. Bolton, Ph.D.
Associate Professor
Industrial and Systems Engineering
University at Buffalo

EMail: mbolton at
Curriculum Vitae:
Google Scholar:

Students and Personnel

Current PhD Students

Elliot Biltekoff

Svetlana Riabova

Current MS Students

Pengyuan Wan

Current Undergraduate Students

Emma Crooks

Rachael Steegmann

Former PhD Students

Xi Zheng

Xiaomei Wang

Jiajun Wei

Kylie Molinaro

Adam Houser

Meng (Felix) Li, Ph.D.

Bassam Hasanain, Ph.D.

Former MS Students

Corey Hall, M.S.

Joseph Johnson, M.S.

Sade Singleton, M.S.

Former Visiting Students

Thomas Darget, ENSEEIHT

Charly Rab, ENSEEIHT

Imane Mellouli, ENSEEIHT

Dan Pan, Tsinghua University

Victor Proto, ENSEEIHT

Contact Information


Matthew L. Bolton
The Department of Industrial and Systems Engineering (M/C 251)
University at Buffalo
Bell Hall
Amherst, NY 14228
Email:mbolton at
Office:407 Bell Hall
Phone:  (716) 645-2359