Jeremy G. Siek is affiliated with Indiana University in the United States and specializes in research within the field of computer science. Their work spans multiple subfields, with a focus on artificial intelligence, computational theory and mathematics, software, signal processing, and hardware and architecture.
Their research primarily addresses topics in logic, programming, and type systems, formal methods in verification, and security and verification in computing. Additional areas of study include advanced malware detection techniques, model-driven software engineering techniques, software engineering research, and software testing and debugging techniques.
Jeremy G. Siek has authored several papers published in a variety of venues. Notable recent publications include:
Their frequent publication venues include arXiv (Cornell University), Journal of Functional Programming, Electronic Proceedings in Theoretical Computer Science, Science of Computer Programming, and Proceedings of the ACM on Programming Languages.
Collaboration is part of their research activity, with frequent coauthors such as Philip Wadler, Wen Kokke, Peter Thiemann, and Tianyu Chen.
Jeremy G. Siek;Lie-Quan Lee;Andrew Lumsdaine
Jeremy Siek;Walid Taha
Jeremy G. Siek;Walid Taha
Douglas Gregor;Jaakko Järvi;Jeremy Siek;Bjarne Stroustrup
Ronald Garcia;Jaakko Jarvi;Andrew Lumsdaine;Jeremy G. Siek
Jeremy G. Siek;Michael M. Vitousek;Matteo Cimini;John Tang Boyland
Jeremy G. Siek;Andrew Lumsdaine
Jeremy Siek;Andrew Lumsdaine
Jeremy G. Siek;Philip Wadler
Michael M. Vitousek;Andrew M. Kent;Jeremy G. Siek;Jim Baker
Amal Ahmed;Robert Bruce Findler;Jeremy G. Siek;Philip Wadler
Jeremy G. Siek;Manish Vachharajani
Ronald Garcia;Jaakko Jarvi;Andrew Lumsdaine;Jeremy Siek
J.G. Siek;A. Lumsdaine
Lie-Quan Lee;Jeremy G. Siek;Andrew Lumsdaine
Geoffrey Belter;E. R. Jessup;Ian Karlin;Jeremy G. Siek
Justin E. Gottschlich;Manish Vachharajani;Jeremy G. Siek
Jeremy Siek;Ronald Garcia;Walid Taha
Jeremy G. Siek;Michael M. Vitousek;Matteo Cimini;Sam Tobin-Hochstadt
Jeremy G. Siek;Andrew Lumsdaine
If you think any of the details on this page are incorrect, let us know.
Exploring computer science doesn't always follow a traditional path. Many students seek flexible education options, such as the online colleges that accept low gpa. These institutions provide opportunities for those who may not meet strict admission criteria, making a computer science education more accessible.
If rapid career entry is your goal, consider programs like a 1 year computer science degree online. These accelerated tracks are intensive and designed for students aiming to quickly build skills, switch careers, or advance in tech industries.
Computer science intersects with many disciplines, opening doors to emerging fields. For example, there is a rising demand for professionals with backgrounds in both tech and sustainability. If you’re interested in the intersection of environment and technology, review the cheapest online environmental science degree or explore diverse jobs for environmental science majors, many of which value computer science knowledge.
Online computer science and related degrees offer flexibility, affordability, and new career possibilities—no matter your starting point or future ambitions.
National Cheng Kung University
National Institute for Materials Science
University of Science and Technology of China
University of Gothenburg
University of Lisbon
University of California, Berkeley
Rutgers, The State University of New Jersey
Flemish Government
Astellas Pharma (Japan)
Antoni van Leeuwenhoek Hospital
MRC Laboratory of Molecular Biology
Inserm
Chinese Academy of Sciences
National Research Council (CNR)
University of Southern California
University Carlo Cattaneo
