# Sharad Malik

> Ph.D. University of California, Berkeley 1990

**Wikidata**: [Q102299521](https://www.wikidata.org/wiki/Q102299521)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Sharad_Malik)  
**Source**: https://4ort.xyz/entity/sharad-malik

## Summary
Sharad Malik is a computer scientist who earned his Ph.D. from the University of California, Berkeley in 1990. He is known for contributions to efficient and capable SAT solvers and for work on accurate embedded software models, and he was named an ACM Fellow (Fellows class of 2014, announced January 8, 2015).

## Biography
- Born: [date and place not provided]
- Nationality: [not provided]
- Education: Ph.D., University of California, Berkeley (1990)
- Known for: Contributions to efficient and capable SAT solvers and accurate embedded software models
- Employer(s): [not provided]
- Field(s): Computer science

## Contributions
Sharad Malik’s recognized contributions center on improving the efficiency and capability of SAT (satisfiability) solvers and on advancing accurate models for embedded software. These contributions were explicitly cited when he was elevated to ACM Fellow for the Fellows class of 2014 (announcement dated January 8, 2015). Malik completed his doctoral studies at UC Berkeley in 1990 under advisor Robert K. Brayton. He has supervised multiple doctoral students—listed in the available record as Manish Vachharajani, Fen Xie, Yavuz Yetim, and Charlie Shucheng Zhu—indicating a sustained role in mentoring researchers who continued work in related areas. His bibliographic footprint is indexed (Mathematics Genealogy Project ID 99853; MR Author ID 749495), which documents his published research and academic lineage. The award citation and the recorded doctoral supervision together show concrete scholarly outputs and influence in SAT solving and embedded software modeling, as recognized by the ACM.

## FAQs
### Q: Who is Sharad Malik?
A: Sharad Malik is a computer scientist who earned his Ph.D. from the University of California, Berkeley in 1990 and was named an ACM Fellow for his work on SAT solvers and embedded software models.

### Q: What was Sharad Malik recognized for by the ACM?
A: The ACM named him a Fellow (Fellows class of 2014, announced January 8, 2015) "for contributions to efficient and capable SAT solvers, and accurate embedded software models."

### Q: Who supervised Sharad Malik’s doctoral work?
A: His doctoral advisor was Robert K. Brayton at the University of California, Berkeley.

### Q: Has Sharad Malik supervised Ph.D. students?
A: Yes. Recorded doctoral students include Manish Vachharajani, Fen Xie, Yavuz Yetim, and Charlie Shucheng Zhu.

## Why They Matter
Sharad Malik’s work on SAT solvers and embedded software models has been singled out by the ACM as significant to the field of computer science. Improvements in SAT solver efficiency and capability enable more complex and larger-scale instances of satisfiability problems to be solved, which is foundational for areas such as formal verification, automated reasoning, and electronic design automation. Advances in accurate embedded software models improve the trustworthiness of analyses and tools that target software running on embedded platforms. Malik’s Ph.D. training under Robert K. Brayton and his supervision of multiple doctoral students indicate a role in transferring knowledge and cultivating researchers who continued work in these technical domains. The ACM Fellowship and his bibliographic identifiers document a sustained, peer-recognized contribution to research themes that underpin verification and modeling practices in computing.

## Notable For
- Ph.D. from University of California, Berkeley (1990).
- Doctoral advisor: Robert K. Brayton.
- Supervised doctoral students: Manish Vachharajani; Fen Xie; Yavuz Yetim; Charlie Shucheng Zhu.
- ACM Fellow (Fellows class of 2014; announcement dated January 8, 2015) — citation: "For contributions to efficient and capable SAT solvers, and accurate embedded software models."
- Bibliographic/academic identifiers: MR Author ID 749495; Mathematics Genealogy Project ID 99853.

## Body

### Education and training
- Ph.D., University of California, Berkeley, 1990.
- Doctoral advisor: Robert K. Brayton (recorded with UC Berkeley reference).

### Research focus (as recorded)
- Recognized contributions to:
  - Efficient and capable SAT (satisfiability) solvers.
  - Accurate embedded software models.
- These contributions are explicitly cited in the ACM Fellows citation for the 2014 class.

### Honors and affiliations
- Member of the Association for Computing Machinery.
- Named ACM Fellow for the Fellows class of 2014; announcement reference dated 2015-01-08.

### Mentorship and students
- Recorded doctoral students:
  - Manish Vachharajani
  - Fen Xie
  - Yavuz Yetim
  - Charlie Shucheng Zhu
- This record indicates active doctoral supervision and academic mentorship following his Ph.D.

### Bibliographic and identity records
- MR Author ID: 749495 (Mathematical Reviews author identifier).
- Mathematics Genealogy Project ID: 99853.
- Wikipedia title recorded as "Sharad Malik".
- Wikidata description: "Ph.D. University of California, Berkeley 1990".

(End of entry.)

## References

1. Mathematics Genealogy Project
2. [Source](https://www.acm.org/media-center/2015/january/fellows-2014)