Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
[[http://www.uw.edu.pl/en/][<img src="%ATTACHURLPATH%/coatofarms-uw.png" alt="Warsaw University" width="102" height="114" />]] *Profile* The [[http://www.mimuw.edu.pl/english/departments/iinf/][Institute of Informatics of Warsaw University]] is one of three institutes within the [[http://www.mimuw.edu.pl/english/][Faculty of Mathematics, Informatics and Mechanics]], [[http://www.uw.edu.pl/en/][Warsaw University]]. It currently has about 40 faculty positions (including 15 professors), a number of auxiliary positions for academic staff with M.Sci. degrees, about 50 <nop>PhD students enrolled for its <nop>PhD program, and a few technical and administrative support positions. The Institute is responsible for various forms of studies in Computer Science at the Faculty, including its 5-year MSc curriculum with annual enrolment of about 130 students selected in a highly competitive procedure, widely recognised by independent rankings as the best studies in Computer Sciences in Poland. The research carried out at the Institute covers many diverse areas of Computer Science. This includes work on software specification and development, functional programming and type theory, software engineering, data bases, algorithmics and complexity theory, artificial intelligence, applications of logic and universal algebra in foundations of computer science, etc. The Institute has been involved in a considerable number of research projects, within both national and international (mainly European) research programs. *Fields of expertise* The Institute of Informatics at Warsaw University has a strong background and gathers specialists in many foundational aspects of Computer Science including theoretical and more applied work on system specification and development, foundations of software engineering, semantics of programming, logics of programs, theory of programming languages, security, and type systems for both functional and object-oriented languages etc. It has also achievements in algebraic specification, model theory and unification. Moreover, the team consists of people involved in development of several modularised specification languages (EML, CASL) and has experience in using and development of proof checkers (Coq, PVS). *Involvment* The group is involved in the following work packages and tasks. The leadership over a work package or task is marked with a %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif: * [[WorkPackage.WorkPackage1][Work Package 1]]: Security Requirements * Task 1.3: Framework-Specific Security * Task 1.4: Application-Specific Security * [[WorkPackage.WorkPackage3][Work Package 3]]: Logic-based Verification * Task 3.1: Byte Code Specification and Verification %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * Task 3.2: Logic for Resources and Information Flow * Task 3.5: Combining Type-based and Logical Analyses * Task 3.6: Program Verification Environment * Task 3.7: Annotation Generation * [[WorkPackage.WorkPackage4][Work Package 4]]: Proof Carrying Code * Task 4.2: Certificates * Task 4.3: Generation of Certificates * [[WorkPackage.WorkPackage6][Work Package 6]]: Dissemination, training and exploitation * Task 6.2: Dissemination activities * Task 6.3: Liaison with other initiatives *Team members* * [[http://www.mimuw.edu.pl/~chrzaszc/][Jacek Chrząszcz]] * [[http://www.mimuw.edu.pl/~alx/index.e.php][Aleksy Schubert]] * [[http://www.mimuw.edu.pl/~tarlecki/][Andrzej Tarlecki]] * [[http://www.mimuw.edu.pl/~urzy/][Paweł Urzyczyn]] * Daria Walukiewicz-Chrząszcz * Patryk Czarnik *Contacts* [[http://www.mimuw.edu.pl/~alx/index.e.php][Aleksy Schubert]], and [[http://www.mimuw.edu.pl/~tarlecki/][Andrzej Tarlecki]], and [[http://www.mimuw.edu.pl/~chrzaszc/][Jacek Chrząszcz]].
End of topic
Skip to action links
|
Back to top
r1.5 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
UniversityOfWarsaw
to top
Ideas, requests, problems regarding the Mobius site