# Sapna Jaidka

> researcher

**Wikidata**: [Q136026953](https://www.wikidata.org/wiki/Q136026953)  
**Source**: https://4ort.xyz/entity/sapna-jaidka

## Summary
Sapna Jaidka is a computer scientist and researcher affiliated with the University of Waikato. She earned her PhD in 2020, focusing on formal modeling and analysis of safety-critical interactive systems using Coloured Petri Nets. Her work was supervised by Steve Reeves and Judy Bowen.

## Biography
- Born: [Not specified]
- Nationality: [Not specified]
- Education: Doctor of Philosophy (University of Waikato, 2020)
- Known for: Research in formal modeling and analysis of safety-critical systems
- Employer(s): University of Waikato
- Field(s): Computer science

## Contributions
Sapna Jaidka's doctoral thesis, titled *Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets*, was completed in 2020 under the supervision of Steve Reeves and Judy Bowen. The work focused on developing formal methods to ensure the safety and reliability of interactive systems, particularly in critical applications. Her research contributed to the field of computer science by advancing techniques for modeling and analyzing complex systems, which is essential for industries requiring high reliability, such as aerospace, healthcare, and automotive.

## FAQs
### Q: What is Sapna Jaidka's area of expertise?
A: Sapna Jaidka specializes in formal modeling and analysis of safety-critical interactive systems, particularly using Coloured Petri Nets.

### Q: Who were Sapna Jaidka's doctoral advisors?
A: Sapna Jaidka's doctoral advisors were Steve Reeves and Judy Bowen.

### Q: Where did Sapna Jaidka complete her PhD?
A: Sapna Jaidka completed her PhD at the University of Waikato in 2020.

## Why They Matter
Sapna Jaidka's work on formal modeling and analysis of safety-critical systems has significant implications for industries where system reliability is paramount. Her research provides tools and methodologies that can enhance the safety and dependability of interactive systems, reducing the risk of failures in critical applications. Her contributions to the field of computer science have the potential to influence future developments in system design and verification, ensuring that complex systems are more robust and secure.

## Notable For
- Developed formal methods for modeling and analyzing safety-critical interactive systems.
- Supervised by Steve Reeves and Judy Bowen, two prominent figures in the field of computer science.
- Published a doctoral thesis on the application of Coloured Petri Nets in ensuring system safety.

## Body
### Education and Research
Sapna Jaidka completed her Doctor of Philosophy at the University of Waikato in 2020. Her thesis, *Formal modelling and analysis of safety-critical Interactive systems using Coloured Petri Nets*, focused on developing formal methods to ensure the safety and reliability of interactive systems. The research was supervised by Steve Reeves and Judy Bowen, both of whom are recognized experts in the field of computer science.

### Academic Contributions
Sapna Jaidka's work in formal modeling and analysis of safety-critical systems has contributed to the advancement of techniques for ensuring system reliability. Her research is particularly relevant to industries where the safety of interactive systems is critical, such as aerospace, healthcare, and automotive. The methodologies she developed can help in designing and verifying systems that meet high standards of safety and dependability.

### Supervisors and Collaborations
Sapna Jaidka's doctoral advisors, Steve Reeves and Judy Bowen, are well-known figures in the field of computer science. Steve Reeves is a New Zealand computer scientist and engineer, while Judy Bowen is also a prominent researcher in the field. Their guidance has been instrumental in shaping Sapna Jaidka's research and contributions to the field.

### Impact of Research
The formal methods developed by Sapna Jaidka have the potential to influence future developments in system design and verification. By ensuring that interactive systems are more robust and secure, her work can contribute to the safety and reliability of critical applications. Her research provides valuable insights into the challenges and solutions associated with modeling and analyzing complex systems.

## References

1. [Source](https://hdl.handle.net/10289/13778)
2. [Source](https://profiles.waikato.ac.nz/sapna.jaidka)