Joseph A. Goguen was affiliated with the University of California, San Diego in the United States. Their research primarily focused on the field of computer science, with specific contributions in the subfields of artificial intelligence and computational theory and mathematics.
Their work involved topics related to logic, programming, and type systems, as well as logic, reasoning, and knowledge, and formal methods in verification.
Throughout their career, Joseph A. Goguen contributed to various academic venues. Notably, they published in:
One of their recent papers was titled Theorem Proving and Algebra, published in 2021 at arXiv (Cornell University).
They were also associated with a paper titled Non-Adenomatous Sellar and Supra-Sellar Lesions: Creating a Diagnostic Algorithm, published in 2025 in the Canadian Journal of Diabetes, although this paper was authored by Michal Coret.
Joseph A. Goguen collaborated with coauthors including Michal Coret, indicating interdisciplinary connections or collaborative projects.
J.A Goguen
J. A. Goguen;J. Meseguer
Joseph A. Goguen;Rod M. Burstall
J. A. Goguen
J. A. Goguen;J. W. Thatcher;E. G. Wagner;J. B. Wright
Kokichi Futatsugi;Joseph A. Goguen;Jean-Pierre Jouannaud;José Meseguer
Joseph A. Goguen;Joseph A. Goguen;José Meseguer;José Meseguer
Rod M. Burstall;Joseph A. Goguen
J.A. Goguen;C. Linde
Joseph A. Goguen;Jose Meseguer
Joseph A. Goguen;Rod M. Burstall
J Meseguer;J A Goguen
Joseph A. Goguen;José Meseguer
Marina Jirotka;Joseph A. Goguen
Joseph Goguen;Grant Malcolm
J.A Goguen
Joseph A. Goguen;José Meseguer
Joseph A. Goguen
J. A. Goguen;J. Meseguer
Joseph A. Goguen
Joseph A. Goguen;Razvan Diaconescu
If you think any of the details on this page are incorrect, let us know.
Expanding your computer science education in the USA can open doors to diverse and lucrative fields. Many students now consider flexible online programs to build expertise or accelerate their careers. For those seeking business leadership skills, cheapest mba online programs are a practical and budget-friendly choice. These allow learners to gain management knowledge without high tuition costs.
Time is often a concern as well. If you want to earn a qualification quickly, 1 year online masters programs let you specialize and earn a master’s degree in just 12 months. Alternatively, the fastest online degree options are ideal for those aiming to start a high-paying tech job as soon as possible.
Emerging tech fields are also within reach online. For example, those interested in machine learning and AI can choose from ai online degrees, combining affordability and cutting-edge skills. These online pathways are designed to help you find a flexible route to your dream tech career.
