Homepage Sitemap Contact

Home « Group « Alumni

Dr. habil. Robert Wille
My Publications

My main research focus is on reversible logic which shows promising applications e.g. in the area of low-power design and quantum computation. However, till today no design flow for reversible logic exists - this must be changed. In particular, approaches for synthesis, verification, and debugging need improvements. Besides that, I am trying to improve the existing SAT- and SMT-solvers and their application in formal hardware verification.

Dr. Philipp Niemann
My Publications

I am working on quantum circuits and reversible logic. My investigations focus on data structures that allow for the representation of larger functions in an efficient way and, at the same time, can be used for the synthesis of corresponding circuits.

Dr. Vladimir Herdt
My Publications

I am interested in the verification of systems on high levels of abstraction. My current research focus is on fully automatic formal methods for property checking as well as bug hunting in SystemC (TLM) models. The inherent concurrency of the models in combination with the large input space, requires sophisticated proof techniques.

Dr. Mehran Goli
My Publications

My research interest is system level design and verification. Currently I am working on SystemC designs visualization for understanding of a given system. The problem is that the extraction of data from system designs written in SystemC is crucial. It brings this challenge that how can both, the structure and the behavior of a given SystemC design be retrieved without restricting the language means and/or modifying the existing infrastructures?

Dr. Saman Fröhlich
My Publications

I am concerned with Approximate Computing and Artificial Intelligence (AI). In particular, I am trying to develop methods to incorporate Approximate Computing techniques into AI algorithms such that the benefit from the use of Approximate Computing is maximized. At the same time, it must be ensured that the functionality of the AI is guaranteed.

Christina  Cociancig, M.Sc.

The focus of my research lies in the field of natural language processing (NLP). Therefore, artificial intelligence, computational linguistics and machine learning are important aspects of my work. The goal is to fill as many gaps in linguistic research with intelligent systems that can be applied in everyday life.

Lennart Weingarten, B.Sc.
My Publications

Within the scope of my employment at the Collaborative Research Center 1232, I am developing a framework to process experimental data that are conducted in the field of material science. As part of this framework, various functionalities are provided concerning the visualization, the qualitative assessment as well as the analysis of correlations of those heterogeneous data sets. I am orchestrating newest web-technologies like Node.js and the document-oriented database system MongoDB to implement these functionalities.

Dr. Julian Lilkendy

Julian Lilkendey is a Data Steward at the DSC. For researchers in the natural and especially marine sciences, he is the contact person for all questions related to the sustainable management of research data, including data literacy trainings, support in proposal writing, and implementation of the FAIR principles in research projects.

Dr. Hoang M. Le
My Publications

My research area is the formal verification of systems at high levels of abstraction. Currently the focus is the development of an automated formal verification flow for SystemC TLM designs integrating property checking, debugging, and coverage analysis.

Dr. Rehab Massoud
My Publications

I am interested in systems temporal behaviour modeling and verification. The problem I am currently addressing is to formally verify that a system fulfills its Real-Time specifications. As software nowadays is held responsible for the most critical bugs in embedded systems, I am investigating how to prove meeting certain software Real-Time execution specifications.

Dipl. Inf., Dipl. Math. Christina Plump
My Publications

My main research area is the verification of cryptographic security properties. In researching this topic I combine my interest for cryptology, algebra, number theory, logics and proof techniques, in order to find holistic security proofs that are relevant and applicable in practice.

Dr. Marcel Walter
My Publications

My research topic is algorithm design for synthesis, optimization, and layout of classical and emerging computer technologies. For this purpose, I apply both heuristic and exact approaches. Besides CMOS, I have experience in the fields of Reversible Logic, Quantum Computing, DNA Computing, and Optical Computing, Digital Microfluidic Biochips (DMFB) as well as Quantum-dot Cellular Automata (QCA) and Nanomagnet Logic (NML).

Payam Habiby, M.Sc.
My Publications

My research mainly aims to the development of solutions to enhance the testability of integrated circuits and to improve the quality of the manufacturing test. In this regard, I am modeling state-of-the-art test access mechanisms on system-level, which allows me to orchestrate formal methods yielding to an optimization of certain characteristics already in an early design phase.

Dr. Salva Daneshgadeh Cakmakci

My research interests include network security and data science. My investigations focus on the applications of machine learning to network traffic data to build models for identifying cyberattacks and abnormal behaviors. Currently, I am working on correlating different security solutions like Security Information and Event Management (SIEM), Cyber Threat Intelligence (CTI), and cybersecurity data analytics to the Security Operations Centers (SOC).

Mohammed Barhoush, M.Sc.

I am interested in the polynomial formal verification of arithmetic circuits. In particular, I am trying to calculate the space and time complexity of verifying various arithmetic circuits such as multipliers and adders.

Dr. Cornelia Große, Dipl.-Psych.
My Publications

I work in the domain of Educational Psychology and investigate topics of learning and instruction. My present work focuses on supporting learners to solve mathematical problems which are presented within a real context. For this purpose, methods are developed and their effectiveness is tested experimentally. Various methods are considered, ranging from fostering reading competencies to discussing common errors.

Dr. David Lemma
My Publications

My research focuses on power aware design, especially at the system level. In the nearby future, embedded designs will require to be thought of as the result of both functionality and power requirements and will require a unified workflow. The idea is to use modern techniques to aid the development of this integrated workflow for different application scenarios.

Dr. Mazyar Seraj
My Publications

My area of research focuses on Computer Science Education, specially Interactive Educational systems. I am currently working on enhancement of students' performance who want to learn programming languages via visual programming environments in the context of smart environments.

Bernd Langpap

My research focuses on the optimization of robotic software to hardware deployment mainly driven through formalized nonfunctional requirements. This includes as well basic research on the domains of software component profiling on different architectures as well as the semantic analysis of software component networks.

Helmar Hutschenreuter. M.Sc.

My research is focussed on the combination of IT security and artificial intelligence. Hence, I am particularly interested in how AI can be used to secure IT systems by analysing these systems and identifying threats, potential risks or attacks. Furthermore, the definition of appropriate security goals and mechanisms has to be based on this knowledge.

Dr. Chandan Bandyodpadhyay

My research interest is in developing synthesis algorithms for reversible and quantum circuits. Implementation of quantum circuit needs several constraints to be addressed and Nearest Neighbor (NN) is one such constraint on which I am focusing now. I am also working on synthesis schemes to convert quantum circuits to fault-tolerant designs.

Dr. Saeideh Shirinzadeh
My Publications

I am working in the area of solving optimization problems using probabilistic techniques such as evolutionary algorithms (EAs). In particular, I am aiming for applying these concepts in order to solve multi-objective optimization (MOO) problems which frequently occur in electronic design automation. My vision is to integrate them in existing design flows in a more comprehensive fashion.

Abraham Temesgen Tibebu, M.Sc.
My Publications

My research interests are design understanding, model checking, verification and synthesis of hardware-software systems.

Dr. Harshad Dhotre
My Publications

My field of research is low power Design For Test (DFT) for integrated circuits. The identification of risky and vulnerable test patterns is very important for a reliable post-production test. Therefore, my work focuses on the development of a test pattern analysis methodology within this field.

Timo Kohorst, B.Sc.

I contribute to establish a data exchange format specification for the screening data that are generated by the Collaborative Research Center SFB1232. On the basis of that, I develop parsing and handling routines as well as a database structure and implement a web interface for end users.

Dr. Frank Sill Torres
My Publications

My research focus is on (Ultra) Low Power VLSI Design, cross-layer strategies for reliable system design and chip design using the nanotechnology Field-Coupled Nanocomputing (FCN).

Steffen Frerix, M.Sc.

I work on the HDL-based synthesis of novel in-memory computer architectures in which processing of data is performed within advanced non-volatile memory devices. In my research, I aim to focus on efficient synthesis solutions at a high level of abstraction and prove the correctness of resulting implementations with formal verification techniques.

Dr. Oliver Keszöcze
My Publications

I work on natural language processing (NLP) of german and english texts to create formal descriptions of systems. I use these descriptions to perform formally verify the system. Furthermore I work on reversible logic and biochips.

Dipl.-Inf. Tino Flenker
My Publications

My research focus is on "Design Understanding". I am studying how to support developers in understanding an unknown or new design. The goal is to simplify training of new team members or debugging of the design. Formal methods known from property checking will be used for automation.

Dr. Zaid Saleem Ali Al Wardi
My Publications

I had my BSc. and MSc. Degree from the university of Baghdad before I work as a university instructor in my home country. Now, I'm a scholarship holder to get the PhD. degree, and my research is focused on employing Hardware Description Languages for Reversible Logic Circuit Synthesis.

Prof. Dr.-Ing. Görschwin Fey
My Publications

Since March 2012 I am heading the Group of Reliable Embedded Systems under a cooperative professor ship associated to leading the Department of Avionics Systems at the Institute of Space Systems of the German Aerospace Center (DLR).

Dr. Stephan Eggersglüß
My Publications

My field of activity is the Satisfiability-Problem (SAT). One main focus of my research interests is the efficient solving of SAT-instances. The other main focus is located in the field of 'Test of digital circuits'. In this field I analyse the generation of test pattern for dynamic fault models on basis of the Satisfiability-Problem.

Dr. Nils Przigoda
My Publications

The main focus of my research activities is the formal verification of models such as UML. Furthermore, I am working on reversible logic and quantum computing.

Dr. Amr Sayed Ahmed
My Publications

My research focus is on the formal verification of arithmetic floating-point designs. In particular, I am developing appropriate formal verification techniques for decimal floating-point designs. As decimal floating-point is a quite recent addition to the IEEE Standard for Floating-Point Arithmetic (IEEE Std754-2008), new verification technologies are needed to verify the compliance of hardware designs with the standard.

Dr. Kenneth Schmitz
My Publications

The main field of my work is test generation in the design flow of digital circuits and systems. Here I am working on methods for both full and compact test generation for production test as well as for the validation of the design process at high levels of abstraction. In particular, I am working with formal proof techniques.

Ingrid Bode

Team assistant in the Graduate School "System Design" and the Group of Computer Engineering and IT-Security (Embedded Security)

Dr. Arun Chandrasekharan
My Publications

My focus of research is highly reliable embedded systems, from both hardware and software viewpoints. In particular I look into the architectural aspects of embedded processors and how reliability can be incorporated into hardware-software co-design. Besides I am also interested in high level synthesis.

Martina Mörz

I am the secretary of the Group of Reliable Embedded Systems.

Dr. Jonas Gomes Filho
My Publications

I received my Master and PhD degrees from the University of Sao Paulo in Brazil, where I have worked on reconfigurable computing, networks-on-chip (NoC), and AI algorithms. Currently, I am working on the development of complex swarm systems, a new system paradigm which is characterized by a large number of heterogeneous components that dynamically change their structure and, by this, open new possibilities for the development of many novel applications.

Dr. Muhammad Hassan
My Publications

My research focus is on ESL design, verification and (virtual) prototyping. The methodology enables the designer to efficiently, and cost-effectively optimize the design in comparison to RTL methodology. The main question I am trying to answer is if the software performs as expected (in terms of correctness and efficiency) on the target architecture, and if the architecture is capable to give the advertised functionality

Prof. Dr.-Ing. Tim Güneysu
My Publications

Since October 2015 I'm the head of the Group on Computer Engineering and IT-Security (Embedded Security) that was established as part of the initiative of excellence to strengthen the cooperation between the University of Bremen and the German Research Center for Artificial Intelligence.

Dipl.-Ing. Florian Bache

I work on different topics in the field of embedded security. In particular, I am investigating technologies that protect security-critical hardware against passive and active attacks.

Dr. Niels Thole
My Publications

In the context of the graduate school „System Design“ I'm researching simulation and formal verification of failure tolerant systems. Due to single transistors becoming smaller and requiring less voltage with each passing generation, it becomes more probable that a signal changes by outer influence like cosmic rays. For this reason, failure tolerance takes an important role in the design of new systems. Failure tolerance is meant to ensure that such a fault in a signal does not lead to an error that's visible for the user. In this context I specifically examine the processor Leon3.

Dipl.-Ing. Gökçe Aydos
My Publications

Reliability is great concern in space-systems due to the lack of physical access, high costs of a space-launch and ionizing radiation from the sun. Especially the latter leads to transient and permanent changes on digital circuits which eventually leads to unwanted behavior.
My research interests lie in fault-tolerance techniques for digital systems at gate- as well as system-level by using hardware-software interaction.

Dipl.-Inf. Arman Allahyari-Abhari
My Publications

My task in the workgroup is to explore new techniques for formalizing the natural language and combine the outcome with existing approaches. Furthermore I am interested in exact methods for verifying and testing conventional circuits as well as synthesis for quantum circuits.

Dr.  Michael Kirkedal Thomsen
My Publications

I have my Master and PhD degrees from DIKU, Department of Computer Science, University of Copenhagen with a background in programming languages, program transformation, computer architectures, and theoretical aspect such as logic and complexity.
Lately I have applied this to the field of reversible computation, mainly designing languages to describe reversible logic and reversible logic circuits, and formalising the reversible logic model.
A hobby field of mine is distributed systems, where a special interest is implementations in Erlang (or other actor model languages).

Dr. Arighna Deb
My Publications

I am working in the area of reversible logic. In particular, my research work focuses on developing approaches for synthesis and optimization. Besides that, I am interested in testing of reversible circuits.

Dr. Ulrich Kühne
My Publications

My research is mainly about formal verification. I investigate how correctness can be considered early in the design process. I am the scientific coordinator of the Graduate School "System Design".

Dr. Mathias Soeken
My Publications

In the work-group I am working on formal verification of models that are used for the specification of systems such as UML. Furthermore, I am interested in reversible logic and quantum computing.

Dr. Stefan Frehse
My Publications

My research is about robustness check of digital circuits with use of formal methods. The features sizes in VLSI circuits shrinking continuously. Thus, circuits becoming more and more vulnerable against transient faults. The currently developed methods of robustness verification have to be improved for real-world applications.

Dr. Finn Haedicke
My Publications

In my work I integrate contextual knowledge into system-level verification. This is done by using and extending word-level solvers and combining them with current verification approaches.

Dr. Heinz Riener
My Publications

The development of correct and reliable concurrent programs is tedious and error-prone. Failures may show up only under very specific interleavings of the execution threads. Similarly the field of concurrent programming lacks tool support for the needs of programmers. My research focuses on the design of automatic debugging methods for concurrent programs, including the detection of failures, the localization of the corresponding faults, and finally the repair of the programs.

Dr. Melanie Diepenbeck
My Publications

My research area is (formal) verification at the Electronic System Level (ESL). In particular, the focus is on descriptions at higher levels of abstraction.

Dr. Jan Malburg
My Publications

My previous research were in the area of automatic testing and automatic test case generation. In the work-group, I am working in the area of automatic debugging of embedded systems. In particular the analysis of the data-flow.

Dr. Laura Tague
My Publications

My research interests cover the area of reversible logic and quantum computing. In particular, I investigate how decision diagramm can be used for the embedding of Boolean functions and for the synthesis and debugging of reversible circuits.

Dr. Julia Seiter
My Publications

My research is about formal verification at the Electronic System Level, which considers systems at a higher level of abstraction. I am also interested in reversible logics and quantum computing.

Dr. Eleonora Schönborn
My Publications

The focus of my research is on reversible logic, which e.g. provides the basis for quantum computing and shows promising applications in the area of low-power design. In particular, I study the synthesis of reversible circuits based on hardware description languages. Besides that, I am involved in teaching.

Dr. Judith Peters
My Publications

There is a gap each between the natural language description of a system, its formal description and its implementation, which leads to incorrectness in system development processes. Within the graduate school “system design” I deal with trying to close these gaps one with (semi-) automatic natural language processing and the other with code generation from formal descriptions (like UML).

Dr. Marc Michael
My Publications

My research is based on the analysis and the verification of software and hardware. Currently the focus are SystemC-based models interacting with real hardware.

Petra Tietjen

I am the secretary of the Group of Reliable Embedded Systems and I am taking care of staff and project-specific issues.

Dr. Shuo Yang
My Publications

My research interest is mainly on visualization of circuits specified in Hardware Description Languages. Currently, I am focusing on the development of visualization methods for hardware systems described in ¨higher"levels.

Nathalie Hilken

I work as team assistant in the Graduate School "System Design" and take care of all management area tasks, personnel matters and the administrative organization.

Dr. Nicole Drechsler
My Publications

I am working as lecturer and research assistent in the area of evolutionary algorithms and applications. The considered approaches are mainly taken from the world of digital circuit design.

Dipl.-Inf. Alexander Finder
My Publications

Until now I was interested in heuristic and exact optimization procedures in logic synthesis. Actually my research interests are focused on analyzing and debugging of circuits.

Dipl.-Ing. Mohamed Bawadekji
My Publications

My research interests lie in the area of system-level design and verification. Currently I focus on developing new simulative methods for System-On-Chip (SoC) verification at higher level of abstraction.

Dr. Mehdi Dehbashi
My Publications

My research is in the area of debugging approaches for embedded systems by formal and semi-formal methods.

Dipl. -Ing. Alexander Tyapkov, M.Sc.

In general I am interested in topics of Human-Computer Interaction (HCI) as the creation of user interfaces, the development of novel interaction techniques, their implementation and evaluation. In the working group I am concentrating on the development of a user-friendly debugging interface.

Dr. Nabila Abdessaied
My Publications

My main focus lies in the research field of "reversible logic and quantum computing". In particular, I am interested in the optimization of reversible and quantum circuits in terms of costs, number of gates, depth, and complexity.

Dipl.-Kfm. Jan Wessels

My activities enclose the general support in business and managerial issues. Within these activities I focus on entrepreneurship and marketing.

Dr. Beate Kapturek
My Publications

My main focus lies on the one hand in research and there specially in the technical documentation and formal specification from circuits and systems on the other hand in care of courses and seminars in basic and main studies.

Dr. Hongyan Zhang
My Publications

My main focus lies in the research of „testing for reversible circuits“. In particular, I am working on ATPG for reversible circuits.

Dipl.-Inf. Oliver Bösche

My scope is the timing analysis of digital circuits with the focus on the efficient identification of false paths or the generation of stimuli for specific paths, respectively.
In particular, I investigate and develop approaches based on formal methods. These methods promise a high degree of robustness which is very important for practical use.

Dipl.-Inf. Dipl.-Math. Sebastian Offermann
My Publications

My principally research interests cover the subject areas of revesible circuits, logic synthesis and the Boolean satisfiability problem (SAT).

Dipl.-Inf. Christian Genz
My Publications

My role in the the work-group is about developing techniques for design-space exploration and visualization. These techniques are priory used in hardware-software co-design, to develop integrated environments which optimize the VLSI-CAD.

Dr. Daniel Tille
My Publications

In the past, my research interest has been SAT-Solving. Now, at the group of computer architecture, I mainly focus on Automatic Test Pattern Generation. Goal is to combine these two techniques.

Jean Christoph Jung, M.Sc.
My Publications

My research interest is the application of constraint programming techniques, such as arc-consistency, in the area of SMT-solving. In particular, I am trying to combine bit vector logic with the SAT problem.

Dr. Sebastian Kinder
My Publications

During my studies of Computer Science I did researches on binary decision diagrams. Nowadays I am working in the area of formal verification and validation.

Dipl.-Inf. Marc Messing
My Publications

My main interests are in full search space exploration with techniques known from circuit design, using word level information for circuit verification and fault ordering heuristics for ATPG.

Dr. Frank Rogin
My Publications

I work at the Fraunhofer Institute for Integrated Circuits, Division Design Automation and strengthen the group from Dresden. My interests mainly lie, faithfully the slogan of the Fraunhofer Gesellschaft, in the application oriented research. Here some must be done in order to successfully use theoretical procedures and experimental methods in industrial practice. In this field I deal with static and dynamic analysis to assure the quality of circuits as well as to support formal verification.

Tanja Rethemeyer

I am since February 2006 a secretary in the AG computer architecture. To my tasks organizational and administrative technical activities belong.

Dr. Cecile Braunstein

I am a almost-one year postdoctoral researcher. My research interest is in the application of formal methods for the verification of SoC. More precisely, I study the link between a model, its design and its specification. My works aim at alleviating the model checking for a given component. On the other hand, I work on an abstraction method that builds a component abstraction directly from its specification. This research plans to verify a composed component in the framework of the counter-example guided abstraction refinement (CEGAR).
homepage: www-asim.lip6.fr/~cecile

Dr. Sujan Pandey
My Publications

My primary research interests are in the area of on-chip bus architecture synthesis, synthesis for robustness, and low power design. The main aim is to develop algorithms, which address the future SoC design challenges.

Dr. Junhao Shi
My Publications

With increasing complexity of VLSI circuits, the costs for the test phase have risen dramatically. So testability issues have to be considered from the very beginning of the design process to control the test costs and to guarantee the testability of the circuit at the end of the manufacturing process.

Dr. Rüdiger Ebendt
My Publications

In the past, my research interests focussed on the development of efficient algorithms and data structures for logic synthesis and simulation-based verification of circuits and systems. I think that there is still much work to do, as the problems arising here often are real "brainteasers". For the future, I plan to consider evolutionary (i.e., genetic) algorithms or search methods as known from Artificial Intelligence.

Dipl. Msc. Doina Logofatu
My Publications

In the group I working on solving of SAT-problems and their applications in praxis. I am especially interested in the classes maxSAT and max weighted SAT.

Dr. Mario Hilgemeier
My Publications

I'm mostly concerned with the development of evolutionary algorithms, especially for electronic circuit design. Learning and working together to find better solutions for hard problems is fun.

Before I had this dream job, some time went into my now rather neglected private home page.

Dipl.-Inf. M.Muazzam Ali

I am doing research in Circuits and Systems Design and Verification.

Dr. Daniel Große
My Publications

My research interest is formal verification of circuits. The goal of formal verification is to prove the correctness of circuits (in contrast to simulation based approaches whose limitations were highlighted e.g. by the Pentium Bug).
Especially, I examine how information of high-level descriptions can be used effectively in the formal verification process. Thereby the system description language SystemC plays an important role.

Dr. André Sülflow
My Publications

The focus of my research is automation in debugging and diagnosis of reliable systems. Formal verification and semi-formal methods are studied in this area.

Guests (alphabetical)

Prof.  Susmita Sur-Kolay

Description coming soon

Dr.-Ing. Martha Johanna Sepúlveda Flórez

I hold a Post-Doctoral position at the Electrical Engineering Department at the University of São Paulo (Brazil). My research is focused on two lines: 1) high performance on-chip communication structures based on NoC for 2D and 3D technologies, including verification, design optimization and the inclusion of Quality-of-Service in network-based systems; and 2) embedded security design. It includes research on and implementation of innovative and low cost protection techniques (crypto/no crypto based) against side-channel attacks, fault attacks and denial-of-service attacks.

Indranil Sen Gupta

Prof. Kaushik Roy

I am a Professor of ECE at Purdue University, West Lafayette, USA, where I also hold the Roscoe H. George Chair. My research interests include VLSI design/CAD for nano-scale Silicon and non-Silicon technologies, low-power electronics for portable computing and wireless communications, spintronics, and VLSI testing and verification. You can visit my web page for more information.

Hernan Peraza

I work as a PhD student in the group of Computer Architecture. My research interests include Evolutionary Algorithms (EA) and Multi-Objective Optimization (MOO). The main focus is the optimization of the process of circuit design. For this purpose, I plan to apply EAs and MOO to VLSI CAD problems, e.g. targeting applications in HW-SW-codesign and co-simulation.

Prof. D. Michael Miller
My Publications

I am visiting the computer architecture group until March 31, 2009 while on sabbatical leave from the University of Victoria, Canada where I am a Professor of Computer Science. My research interests include: logic design of reversible and quantum circuits, decision diagrams, multiple-valued logic and spectral logic. My UVic web page is located at www.cs.uvic.ca/~mmiller

Prof. Priyank Kalla

I am an Associate Professor in the Electrical & computer engineering Department at the Univ. of Utah, USA. My area of interests are in fundamental CAD techniques for Synthesis and Verification of Digital VLSI and post-VLSI systems. I am on sabbatical leave, and spending some time from March - July at the Univ. of Bremen. My current research projects are in Logic & Physical Synthesis of Photonic Logic and also in Application of Computer Algebra Techniques in Design Automation.
For more information, see: http://www.ece.utah.edu/~kalla

Prof. Dr. Gerhard W. Dueck
My Publications

My research is in the area of Logic Synthesis. In the last years the focus has been on the synthesis and minimization of reversible logic functions. Reversible logic plays a significant role in the design of emerging quantum computers.

Dipl-Ing. Sergej Deutsch

I am a PhD student at Duke University in Durham (North Carolina, USA) in the research group of Prof. Krishnendu Chakrabarty. My current research focuses on design-for-testability and ATPG for integrated circuits, including 3D-stacked ICs.

Kamalika Datta

Prof.  Krishnendu Chakrabarty

I am a Professor of Electrical and Computer Engineering at Duke University, Durham (North Carolina), USA. I am also a Chair Professor of Software Theory at Tsinghua University, Beijing, China for 2009-2012 and a Visiting Chair Professor in Computer Science and Information Engineering at National Cheng Kung University in Taiwan for 2012. My research interests include: testing and design-for-testability of integrated circuits; digital microfluidics, biochips, and cyberphysical systems; optimization of digital print and production system infrastructure . You can visit my web page for more information.
More Information: http://www.ee.duke.edu/~krish/


Sitemap Kontakt