Jürgen Giesl is affiliated with RWTH Aachen University in Germany, where their work primarily focuses on the field of Computer Science. Their research spans multiple subfields including Artificial Intelligence, Computational Theory and Mathematics, Software, Information Systems, and Hardware and Architecture.
The main topics covered in their research include Formal Methods in Verification, Logic, Programming, and Type Systems, Software Testing and Debugging Techniques, Natural Language Processing Techniques, Semantic Web and Ontologies, Software Engineering Research, and Software Reliability and Analysis Research.
Jürgen Giesl has contributed to a range of recent publications. Notable papers include:
Their frequent collaborators include Florian Frohn, Jan-Christoph Kassing, Nils Lommen, Marcel Hark, and Jera Hensel. These coauthors contribute to a significant number of joint publications, indicating ongoing research partnerships.
Jürgen Giesl's work is often published in well-regarded venues, with the majority of publications appearing in arXiv (Cornell University). Other publication venues include EPiC series in computing, Formal Methods in System Design, RWTH Publications (RWTH Aachen), and Zenodo (CERN European Organization for Nuclear Research).
Thomas Arts;Jürgen Giesl
Jürgen Giesl;Peter Schneider-Kamp;René Thiemann
Jürgen Giesl;René Thiemann;Peter Schneider-Kamp;Stephan Falke
Jürgen Giesl;René Thiemann;Peter Schneider-Kamp
Jürgen Giesl;René Thiemann;Peter Schneider-Kamp;Stephan Falke
Carsten Fuhs;Jürgen Giesl;Aart Middeldorp;Peter Schneider-Kamp
Jürgen Giesl;Cornelius Aschermann;Marc Brockschmidt;Fabian Emmes
Jürgen Giesl;René Thiemann;Peter Schneider-Kamp
Jürgen Giesl;Marc Brockschmidt;Fabian Emmes;Florian Frohn
Jürgen Giesl;Thomas Arts;Enno Ohlebusch
Jürgen Giesl;Matthias Raffelsieper;Peter Schneider-Kamp;Stephan Swiderski
Jürgen Giesl;Stephan Swiderski;Peter Schneider-Kamp;René Thiemann
Marc Brockschmidt;Fabian Emmes;Stephan Falke;Carsten Fuhs
Carsten Otto;Marc Brockschmidt;Christian von Essen;Jürgen Giesl
Thomas Arts;Jürgen Giesl
Marc Brockschmidt;Fabian Emmes;Stephan Falke;Carsten Fuhs
Jürgen Giesl;Aart Middeldorp
Jürgen Giesl
Jürgen Giesl
Jürgen Giesl;Thomas Arts
Jürgen Giesl;Peter Schneider-Kamp;René Thiemann
If you think any of the details on this page are incorrect, let us know.
As computer science continues to evolve, numerous online degrees offer flexible options for advancing your education and career. Earning credentials from one of the highly accredited online universities can provide a solid foundation recognized by employers nationwide.
For those interested in creative and technical fields, pursuing a game design masters online can open doors to roles in game development, animation, and interactive media. Alternatively, students keen on digital security can explore a cyber security bachelor degree online, addressing the growing demand for information security professionals.
Expanding further, some interdisciplinary pathways such as construction degrees also incorporate elements of technology, project management, and data analysis—skillsets highly valued in today’s technology-driven world.
These related online programs are not only versatile but also affordable, making them accessible to a broad range of students seeking specialized, in-demand skills in the digital age.
Donghua University
Northwest A&F University
Hannover Medical School
University of California, San Diego
Swedish University of Agricultural Sciences
Fred Hutchinson Cancer Research Center
Copenhagen University Hospital
Microsoft (United States)
University of Reading
University of Queensland
University of Gothenburg
University of North Carolina at Chapel Hill
University of Alberta
Kharazmi University
York University
University of Central Florida
