Jump to content
Main menu
Main menu
move to sidebar
hide
Navigation
Main page
Yellow pages
Recent changes
Random article
Governance
Special pages
Interaction
About MetaKGP
Help & Support
Contribution scores
Contact page
Categories
How to guides
Academics
Departments
Places to eat
Halls of residence
Institute amenities
Societies & Clubs
Technical activities
Metakgp Wiki
Search
Search
Appearance
Create account
Log in
Personal tools
Create account
Log in
User
:
Kakashi/Dipankar Sarkar
User page
Discussion
English
Read
View source
View history
Tools
Tools
move to sidebar
hide
Actions
Read
View source
View history
General
What links here
Related changes
User contributions
Logs
View user groups
Printable version
Permanent link
Page information
Appearance
move to sidebar
hide
From Metakgp Wiki
<
User:Kakashi
Kakashi/Dipankar Sarkar
Department
Computer Science & Engineering
Research Area(s)
Formal Verification of circuits and systems
Logic and Automated theorem Proving
Year Joined
1980
Search
Search
User
:
Kakashi/Dipankar Sarkar
Add topic
