Sanjit A. Seshia is Professor in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He is part of Group in Logic and the Methodology of Science which develops theory and tools to aid the construction of provably dependable and secure systems. Their work spans several abstraction layers, from mathematical models, through software, to electronic and biological substrates.

Books Authored by Sanjit A. Seshia

Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

This book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems.

Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

This book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems.

Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

This book takes a cyber-physical approach to introduce the engineering concepts underlying embedded systems. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.

Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

This book takes a cyber-physical approach to introduce the engineering concepts underlying embedded systems. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.

Book Categories

Computer Science
15
Introduction to Computer Science
32
Introduction to Computer Programming
52
Algorithms and Data Structures
24
Artificial Intelligence
24
Computer Vision
29
Machine Learning
6
Neural Networks
22
Game Development and Multimedia
25
Data Communication and Networks
5
Coding Theory
16
Computer Security
8
Information Security
34
Cryptography
3
Information Theory
17
Computer Organization and Architecture
22
Operating Systems
1
Image Processing
10
Parallel Computing
4
Concurrent Programming
22
Relational Database
3
Document-oriented Database
13
Data Mining
16
Big Data
17
Data Science
23
Digital Libraries
22
Compiler Design and Construction
26
Functional Programming
11
Logic Programming
26
Object Oriented Programming
21
Formal Methods
69
Software Engineering
3
Agile Software Development
7
Information Systems
5
Geographic Information System (GIS)

Mathematics
67
Mathematics
14
Algebra
1
Abstract Algebra
27
Linear Algebra
3
Number Theory
8
Numerical Methods
2
Precalculus
10
Calculus
3
Differential Equations
5
Category Theory
10
Proofs
19
Discrete Mathematics
24
Theory of Computation
14
Graph Theory
2
Real Analysis
1
Complex Analysis
14
Probability
45
Statistics
7
Game Theory
5
Queueing Theory
13
Operations Research
16
Computer Aided Mathematics

Supporting Fields
21
Web Design and Development
1
Mobile App Design and Development
28
System Administration
2
Cloud Computing
10
Electric Circuits
6
Embedded System
26
Signal Processing
4
Network Science
3
Project Management

Operating System
Programming/Scripting
6
Ada
13
Assembly
34
C / C++
8
Common Lisp
2
Forth
35
Java
13
JavaScript
1
Lua
15
Microsoft .NET
1
Rexx
12
Perl
6
PHP
68
Python
12
R
1
Rebol
13
Ruby
2
Scheme
3
Tcl/Tk

Miscellaneous