Upmarc people

Exempel. Click "Edit directory information" om your directory page to edit the short description. You may need to click "Clear cache" om this page after that.

A-Ö

Parosh Abdulla
Professor in Computer Systems
Mohamed Faouzi Atig
Researcher
David Black-Schaffer
Lecturer
Johannes Borgström
Research Fellow
Sofia Cassel
PhD Student
Jonathan Cederberg
PhD Student

I work on verification of shape invariants for data structures written in C. My supervisor is Prof. Parosh Abdulla.
Pontus Ekberg
PhD Student
David Eklöv
PhD Student
David Eklöv
PhD Student
Stefan Engblom
Lecturer
Martin Ericsson
Research Assistant
Roland Grönroos
Research Coordinator
I am
webmaster, planning premises and chemical representative and chemical planning at Polacksbacken
safety officer at Information Technology
assistant programme director for WISENET
research coordinator for UPMARC
skyddsombud
I have been coordinator for ASTEC and ARTES
that has ended.
Nan Guan
PhD Student
Per Gunningberg
Professor in Computer Communication

Director of WISENET
Magnus Gustafsson
PhD Student

I am a doctoral student at the Division of Scientific Computing at Uppsala University. Sverker Holmgren is my principal advisor. My research is focused on the development and implementation of massive-scale parallel and adaptive algorithms, particularly for high-dimensional time-dependent partial differential equations.
Erik Hagersten
Professor in Computer Architecture
Frédéric Haziza
PhD Student

PhD student in Computer Sciences
Marcus Holm
PhD Student
Sverker Holmgren
Professor in Scientific Computing
Bengt Jonsson
Professor in Computer Systems
Lisa Kaati
Visiting Researcher
Stefanos Kaxiras
Professor in 'datorteknik med inriktning mot datorarkitektur'
Muneeb Khan
PhD Student
Elisabeth Larsson
Senior Lecturer

Director of CIM
Researcher in and board member of UPMARC
Main research interests: Radial basis function approximation and high performance computing.
Nikos Nikoleris
PhD Student
Sven-Olof Nyström
Lecturer
Xiaoyue Pan
PhD Student
Joachim Parrow
Professor in Computing Science
Palle Raabjerg
PhD Student
Jarmo Rantakokko
Senior Lecturer
Othmane Rezine
PhD Student
Othmane Rezine
PhD Student
Olov Rosén
PhD Student
Konstantinos Sagonas
Senior Lecturer
Andreas Sandberg
PhD Student
Martin Stigge
PhD Student
Martin Tillenius
PhD Student
Björn Victor
Senior Lecturer

Researcher in formal methods for mobility and security, teaches secure computer systems, cryptography, computer networks, and operating systems.
Yi Wang
Professor in Embedded Systems
Tobias Wrigstad
Senior Lecturer
Yunyun Zhu
PhD Student
Johan Östlund
PhD Student

Teaching (Fall 2010):

Alumni

Mihaela Bala
Project Assistant
Yu-Fang Chen
Post Doctoral

I moved to Academia Sinica, Taiwan around Oct 2009

My research interests includes Formal Verification, Temporal Logic, and Automata Theory.
Below is a list of my selected publications. If you have any question or ideas for discussion, please do not hesitate to contact me.
Mediating for Reduction (on Minimizing Alternating Buchi Automata)
P.A. Abdulla, Y.-F. Chen, L. Holik, and T. Vojnar
The 29th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009)

Tool Support for Learning Buechi Automata and Linear Temporal Logic
Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, W.-C. Chan, C.-J. Luo, and J.-S. Chang
Formal Aspects of Computing, 21:259-275, 2009

Learning Minimal Separating DFA's for Compositional Verification
Y.-F. Chen, A. Farzan, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang
The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), LNCS 5505, 31-45, March 2009.

GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, W.-C. Chan, and C.-J. Luo
The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, 346--350, March/April 2008.

Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
A. Farzan, Y.-F. Chen, E.M. Clarke, Y.-K. Tsay, and B.-Y. Wang
The 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008), LNCS 4963, 2--17, March/April 2008.

GOAL: A Graphical Tool for Manipulating Buechi Automata and Temporal Formulae
Y.-K. Tsay, Y.-F. Chen, M.-H. Tsai, K.-N. Wu, and W.-C. Chan
The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007), LNCS 4424, 466--471, March/April 2007.

Tool

  • GOAL: a graphical interactive tool for defining and manipulating Omega automata and temporal logic formulae. This tool is developped together with Prof. Yih-Kuen Tsay begin_of_the_skype_highlighting     end_of_the_skype_highlighting and other group members. Here is a WIKI for GOAL.

Jesper Wilhelmsson
PhD Student