# Wilfredo Rogelio Marrero

> Ph.D. Carnegie Mellon University 2001

**Wikidata**: [Q102280607](https://www.wikidata.org/wiki/Q102280607)  
**Source**: https://4ort.xyz/entity/wilfredo-rogelio-marrero

## Summary  
Wilfredo Rogelio Marrero is a computer scientist and academic affiliated with DePaul University, where he serves as an associate professor. He earned his Ph.D. in Computer Science from Carnegie Mellon University in 2001 under the supervision of renowned researcher Edmund M. Clarke. His work lies at the intersection of formal methods and software engineering.

## Biography  
- **Born**: Unknown date and place  
- **Nationality**: United States  
- **Education**: Ph.D., Carnegie Mellon University (2001)  
- **Known for**: Research in formal verification and software systems  
- **Employer(s)**: DePaul University (current); Carnegie Mellon University (alumni)  
- **Field(s)**: Computer Science  

## Contributions  
Wilfredo Rogelio Marrero's scholarly output centers on formal methods and their application to software reliability and system design. Much of his early research was conducted during his time at Carnegie Mellon University, where he worked closely with Edmund M. Clarke, a pioneer in model checking. Marrero co-authored several technical papers in formal verification, contributing to advancements in automated reasoning tools used in software validation processes. While specific titles and years of publication are not listed here, his collaborative efforts helped refine methodologies critical to ensuring correctness in complex computing systems. These contributions have supported broader developments in dependable software architectures and influenced educational curricula in high-level computer science programs such as those at DePaul University, where he now teaches.

## FAQs  
### Q: Where did Wilfredo Rogelio Marrero earn his Ph.D.?  
A: He earned his Ph.D. in Computer Science from Carnegie Mellon University in 2001.

### Q: Who was Wilfredo Rogelio Marrero’s doctoral advisor?  
A: His doctoral advisor was Edmund M. Clarke, a leading figure in formal verification and Turing Award winner.

### Q: What does Wilfredo Rogelio Marrero do currently?  
A: He is an associate professor in the School of Computing at DePaul University in Chicago.

## Why They Matter  
Wilfredo Rogelio Marrero contributes to foundational areas of computer science through both research and teaching. By advancing formal methods—a discipline essential for verifying software correctness—he supports safer and more reliable computational infrastructures across industries. As part of Edmund M. Clarke’s academic lineage, Marrero continues influential traditions in theoretical and applied computer science. At DePaul University, he shapes future technologists by integrating rigorous scientific principles into practical education. Without such contributions, progress in dependable software development could slow, particularly in safety-critical domains like aerospace, finance, and healthcare.

## Notable For  
- Earning a Ph.D. in Computer Science from Carnegie Mellon University in 2001  
- Being advised by Edmund M. Clarke, a leader in formal verification and Turing laureate  
- Serving as associate professor at DePaul University's School of Computing  
- Contributing to research in formal methods and software verification techniques  
- Holding membership in academic communities focused on theoretical and practical computing

## Body  

### Academic Lineage and Early Career  
Wilfredo Rogelio Marrero completed his doctorate in Computer Science at Carnegie Mellon University in 2001. During this period, he studied under Edmund M. Clarke, whose groundbreaking work laid the foundation for modern model-checking technologies. This mentorship placed Marrero within a distinguished tradition of scholars dedicated to improving software quality through mathematical rigor.

### Professional Affiliation  
Marrero currently holds the position of associate professor at DePaul University, located in Chicago, Illinois. The institution, established in 1898, operates as a major private Catholic university specializing in higher education. Within its School of Computing, Marrero plays a key role in shaping curriculum and conducting advanced instruction in core computer science disciplines.

### Scholarly Focus  
His professional focus revolves around formal methods—techniques rooted in logic and discrete mathematics that ensure software behaves correctly according to specification. These approaches are vital in developing secure and error-resistant systems. Through collaboration and publication, Marrero has contributed to refining algorithmic frameworks that support scalable verification tools widely adopted in academia and industry alike.

## References

1. Mathematics Genealogy Project
2. [Source](https://www.cdm.depaul.edu/Faculty-and-Staff/pages/faculty-info.aspx?fid=120)