# Xiaosong Li

> computer scientist at Unitec in New Zealand

**Wikidata**: [Q118135986](https://www.wikidata.org/wiki/Q118135986)  
**Source**: https://4ort.xyz/entity/xiaosong-li

## Summary
Xiaosong Li is a computer scientist based in New Zealand, currently employed at Unitec Institute of Technology. He holds a Doctor of Philosophy degree from the University of Auckland, earned in 1999, with a doctoral thesis focused on Petri Net-based techniques for graphical user interface design.

## Biography
- Born: Not publicly available
- Nationality: New Zealand
- Education: Doctor of Philosophy, University of Auckland (1999)
- Known for: Research in computer science, particularly in graphical user interface design methodologies
- Employer(s): Unitec Institute of Technology
- Field(s): Computer science, software engineering, human-computer interaction

## Contributions
Xiaosong Li's primary academic contribution is his doctoral thesis titled "A Petri Net Based Technique for Graphical User Interface Design," completed at the University of Auckland in 1999. This work explored the application of Petri Net theory to the systematic design of graphical user interfaces, providing a formal methodology for interface development. His research contributes to the field of software engineering by offering structured approaches to interface design, which can improve usability and development efficiency. As a computer scientist at Unitec Institute of Technology, he continues to engage in academic and research activities, though specific publications or projects beyond his thesis are not detailed in the available source material.

## FAQs
### Q: What is Xiaosong Li's educational background?
A: Xiaosong Li earned a Doctor of Philosophy degree from the University of Auckland in 1999, with a thesis focused on Petri Net-based techniques for graphical user interface design.

### Q: Where does Xiaosong Li work?
A: Xiaosong Li is employed as a computer scientist at Unitec Institute of Technology in New Zealand.

### Q: What is Xiaosong Li known for in his field?
A: He is known for his doctoral research on applying Petri Net theory to graphical user interface design, providing a formal methodology for interface development.

## Why They Matter
Xiaosong Li's work on Petri Net-based techniques for graphical user interface design represents an important contribution to software engineering methodology. By applying formal modeling techniques to interface design, his research helps bridge the gap between theoretical computer science and practical software development. This approach can lead to more systematic, reliable, and user-friendly interface designs, which are crucial in today's technology-driven world. His continued work as an academic at Unitec Institute of Technology helps educate the next generation of computer scientists and potentially advances the field through ongoing research and collaboration.

## Notable For
- Completed a doctoral thesis on Petri Net-based techniques for graphical user interface design at the University of Auckland in 1999
- Holds an IEEE Xplore author ID (37086277423), indicating published research in the field
- Serves as a computer scientist at Unitec Institute of Technology in New Zealand
- His work contributes to the formal methods approach in software engineering and human-computer interaction
- Participates in the New Zealand Thesis Project as indicated by Wikimedia focus list inclusion

## Body
### Academic Background and Research Focus
Xiaosong Li completed his doctoral studies at the University of Auckland, earning his PhD in 1999. His dissertation, "A Petri Net Based Technique for Graphical User Interface Design," represents a significant contribution to the field of software engineering. Petri Nets are mathematical modeling tools used to describe distributed systems, and applying them to GUI design represents an innovative approach to interface development.

### Professional Career
Currently employed at Unitec Institute of Technology in New Zealand, Li works as a computer scientist. While specific details about his current research projects or publications are not available in the source material, his position at an educational institution suggests ongoing involvement in both teaching and research activities within the computer science field.

### Research Impact and Significance
The application of Petri Net theory to graphical user interface design represents an important methodological contribution. This approach provides a formal, systematic way to design interfaces, potentially reducing errors and improving usability. Such formal methods are particularly valuable in complex software systems where interface design can significantly impact user experience and system functionality.

### Professional Recognition
Li's inclusion in the IEEE Xplore database with author ID 37086277423 indicates that he has published research that meets the rigorous standards of this prominent technical literature database. Additionally, his presence on the Wikimedia focus list for the New Zealand Thesis Project suggests recognition of his academic contributions within the broader scholarly community.

## References

1. [Source](http://hdl.handle.net/2292/542)