h1

h2

h3

h4

h5
h6

Skip to Content Jump to Main Navigation Skip to Search

Logo of UnRAVeL
Search

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

  • Deutsch

Faculties and Institutions

You Are Here: Lijun Zhang

RWTH

  • Main page
  • Intranet

Faculties and Institutes

  • Mathematics, Computer Science and Natural SciencesFaculty 1
  • ArchitectureFaculty 2
  • Civil EngineeringFaculty 3
  • Mechanical EngineeringFaculty 4
  • Georesources and Materials EngineeringFaculty 5
  • Electrical Engineering and Information TechnologyFaculty 6
  • Arts and HumanitiesFaculty 7
  • Business and EconomicsFaculty 8
  • MedicineFaculty 10

Find Institute:

Institutions

  • University Library
  • IT Center
  • Athletics and Recreation
  • Central University Administration
  • All Institutions

Navigation

  1. Academics
  2. Research
  3. The Research Training Group

You Are Here:

  1. Home
  2. The Research Training Group
  3. Guest Researchers
  4. Guests 2019
  5. Lijun Zhang
Print
Download digital business card

Sub-Navigation

Guest Researchers
  • Guests 2017
  • Guests 2018
  • Guests 2019
    • Mahsa Shirmohammadi
    • James Worrell
    • Holger Hermanns
    • Gabriele Keller
    • You Are Here:Lijun Zhang
    • Rob van Glabbeek
    • Florent Delgrange
    • Guy Avni
    • Floris Geerts
    • Toby Walsh
    • Max Klimm
    • Cyrill Stachniss
    • Pascal Schweitzer
    • Guy Katz
    • Lauri Hella
    • Tom van Dijk
    • David Jansen
    • Gilles Barthe
    • Florian Schanzenbächer
    • Lenore Zuck
    • Carlos Budde
  • Guests 2020

Person

Prof. Dr.

Lijun Zhang

Address

Contact

workPhone
Phone: +86 62661605
Email: zhanglj@ios.ac.cn
Website
 

External Links

  • Guest Talk: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

last updated: 03/12/2019

top

Footer

RWTH

  • RWTH Main Page
  • Faculty of Mathematics, Computer Science and Natural Sciences
  • Business and Economics
  • Faculty of Civil Engineering

Services

  • Contact and Maps
  • Site Credits
  • Site Map
  • Privacy Policy
  • Feedback

Social Media

  • facebook
  • Xing

Institutions

  • Department of Computer Science
  • University Library