Admin/page/main-content/munich.content
author berghofe
Mon, 05 Aug 2002 14:35:33 +0200
changeset 13455 f88a91ff8ac6
parent 11109 ce1cefc6c14c
permissions -rw-r--r--
Removed theory NatDef.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
%title%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     2
Isabelle at Munich
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     3
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     4
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     5
%body%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     6
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     7
<h1>Isabelle at Munich</h1> 
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     8
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     9
<p>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    10
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    11
<a href="http://isabelle.in.tum.de/">Isabelle</a> is a generic theorem
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    12
proving environment developed at Cambridge University (<a
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    13
href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a>) and TU
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    14
Munich (<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a>).
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    15
This is the local page of the Munich group.
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    16
10019
wenzelm
parents: 8455
diff changeset
    17
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    18
<h2>People</h2>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    19
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    20
The following people are involved in Isabelle applications or
10462
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    21
development in our group (alphabetical order):
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    22
<p>
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    23
<b>Researches:</b>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    24
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    25
<ul>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    26
11109
wenzelm
parents: 10977
diff changeset
    27
<li><a href="http://www.in.tum.de/~bauerg/">Gertrud Bauer</a>
wenzelm
parents: 10977
diff changeset
    28
<li><a href="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</a>
wenzelm
parents: 10977
diff changeset
    29
<li><a href="http://www4.in.tum.de/~kleing/">Gerwin Klein</a>
wenzelm
parents: 10977
diff changeset
    30
<li><a href="http://www4.in.tum.de/~narasche/">Wolfgang Naraschewski</a>
wenzelm
parents: 10977
diff changeset
    31
<li><a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
wenzelm
parents: 10977
diff changeset
    32
<li><a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
wenzelm
parents: 10977
diff changeset
    33
<li><a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
wenzelm
parents: 10977
diff changeset
    34
<li><a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
wenzelm
parents: 10977
diff changeset
    35
<li><a href="http://www4.in.tum.de/~streckem/">Martin Strecker</a>
wenzelm
parents: 10977
diff changeset
    36
<li><a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    37
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    38
</ul>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    39
10462
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    40
<p>
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    41
<b>Students:</b>
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    42
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    43
<ul>
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    44
11109
wenzelm
parents: 10977
diff changeset
    45
<li><a href="mailto:buttenbe@in.tum.de">Christian Buttenberg</a> </li>
wenzelm
parents: 10977
diff changeset
    46
<li><a href="http://home.informatik.tu-muenchen.de/~kirsch/">Alexandra Kirsch</a> </li>
wenzelm
parents: 10977
diff changeset
    47
<li><a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
wenzelm
parents: 10977
diff changeset
    48
<li><a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
10462
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    49
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    50
</ul>
adf901eb9c40 added students
kleing
parents: 10345
diff changeset
    51
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    52
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    53
<h2>Projects</h2>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    54
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    55
The main Isabelle related projects at TU Munich are currently:
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    56
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    57
<ul>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    58
11109
wenzelm
parents: 10977
diff changeset
    59
<li><b><a href="Bali/index.html">Isabelle/Bali</a></b> Java and JVM
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    60
formalization --- type system, semantics, compilers
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    61
11109
wenzelm
parents: 10977
diff changeset
    62
<li><b><a href="Isar/index.html">Isabelle/Isar</a></b> Intelligible
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    63
semi-automated reasoning --- readable formal proof documents
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    64
10180
149878bae19c fixed hrefs: index.html;
wenzelm
parents: 10019
diff changeset
    65
<li><b><a href="IOA/index.html">Isabelle/IOA</a></b> Verification of
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    66
distributed, reactive systems using I/O Automata
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    67
11109
wenzelm
parents: 10977
diff changeset
    68
<li><b>Isabelle/HOOL</b> Object-oriented verification of
8061
18cfe8facb79 prettyfied
kleing
parents: 8056
diff changeset
    69
object-oriented programs
18cfe8facb79 prettyfied
kleing
parents: 8056
diff changeset
    70
11109
wenzelm
parents: 10977
diff changeset
    71
<li><b><a href="VerifiCard/">Isabelle/VerifiCard</a></b> Tool-assisted
wenzelm
parents: 10977
diff changeset
    72
Specification and Verification of JavaCardŽ Programs
10977
4b47d8aaf5af added Martin Strecker, Christian Buttenberg, Alexandra Kirsch and project
kleing
parents: 10462
diff changeset
    73
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    74
</ul>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    75
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    76
<p>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    77
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    78
<b>Important local information:</b> Students are welcome to
10180
149878bae19c fixed hrefs: index.html;
wenzelm
parents: 10019
diff changeset
    79
participate, see <a href="stud/index.html">Isabelle Projekte für
149878bae19c fixed hrefs: index.html;
wenzelm
parents: 10019
diff changeset
    80
Studenten</a> (in German) for more information.