Biography
Mr. Muhammad Tayyab completed his MS in
computational Logic from Institute of Artificial Intelligence, at Dresden University of Technology, Germany in 2007.
He has been working at the department of Computer Science and IT, UOL since
February 2008. His research interests include Non-monotonic reasoning, weak
completion semantics and Description logics.
Education
SrNo. |
Year |
Degree |
Board/University |
1 |
2007 |
M.Sc. in Computational Logic |
Dresden University of Technology, Germany |
2 |
2003 |
BSCS |
University of Central Punjab |
Experience
SrNo. |
From |
To |
Category |
Designation |
Organization |
1 |
2008
| 2020 |
Academic Experience |
Assistant Professor |
University of Lahore |
Publications
Conferences
SrNo. |
Year |
Level |
City |
Country |
Confence |
1 |
2018 |
attendee |
Lahore |
Pakistan |
Advancements in computational sciences |
Awards
Courses Taught
SrNo. |
Type |
Title |
University |
Semester |
1 |
core |
Discrete Structures |
University of Lahore |
spring 2018 |
2 |
core |
Design and Analysis of Algorithms |
University of Lahore |
spring 2018 |
3 |
core |
Theory of Automata and Formal Languages |
University of Lahore |
spring 2017 |
4 |
core |
Discrete Structures |
UOL |
Fall 19 |
5 |
core |
Discrete Structures |
UOL |
Spring 20 |
6 |
core |
Design and Analysis of Algorithms |
UOL |
Fall 19 |
Project Supervisor
Services
Books
Research Fundings
Languages and Skills
SrNo. |
Langues |
Skills |
1 |
English |
Fluent |
2 |
German |
good |
Active Collabrations
SrNo. |
From - To |
Type |
Country |
Organization |
1 |
October 2017 - now |
research |
Germany |
Dresden University of Technology |
Consulting Experience