جست‌وجوی استاد و پژوهشگر

• Software Model Checking
• Satisfiability Modulo Theories (SMT)
• Craig Interpolation
• +۴ مورد دیگر

Alexander Nutz is a Researcher at the University of Freiburg's Department of Computer Science, affiliated with the Software Modeling and Verification Group. His primary research focuses on software model checking, satisfiability modulo theories (SMT), and Craig interpolation. He contributes to the development of verification tools such as SMTInterpol and the Ultimate Program Analysis Framework. Nutz has held teaching roles in courses like Automata Theory, Decision Procedures, and Program Analysis since 2012, collaborating extensively with colleagues on seminar leadership and course assistance. Education: PhD in Computer Science from the University of Freiburg (2019), focusing on 'Data Flow in Program Verification.' Professional activities include jury membership in the SV-COMP competition (2014-2016, 2018) and contributions to the AVACS research project. His work emphasizes program analysis, verification frameworks, and automated reasoning techniques. Research interests span formal methods, program analysis, and the application of SMT solving to real-world systems like smart contracts. Nutz's projects include enhancing verification tools for memory safety checks and integrating data flow graphs into verification processes. Key contributions: Development of Ultimate Kojak and Automizer tools, exploration of map abstraction techniques, and advancements in interpolation-based verification methods. His publications address challenges in non-linear arithmetic verification and automated reasoning for complex software systems.

• Cryptography
• Cybersecurity
• Wireless Communications
• +۴ مورد دیگر

Dr. Guang Gong is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo and a former University Research Chair. She is an IEEE Fellow with expertise in cryptography, security, and wireless communications. Her research focuses on lightweight cryptographic systems, IoT security, blockchain-based security, privacy-preserving machine learning, and signal design for CDMA/OFDM/MIMO systems. Notable contributions include the WG stream cipher family and submissions to NIST's Lightweight Cryptography competition. Education: Post-doctorate in Electrical Engineering, Fondazione Ugo Bordani, Italy (1992) Doctorate in Electrical Engineering, UESTC, China (1990) Master's in Applied Mathematics, Northwest Telecommunication Eng. Inst., China (1985) Bachelor's in Mathematics, Xiachang Normal College, China (1981) Research Interests: Lightweight cryptography, IoT security, blockchain, privacy-preserving machine learning, physical-layer security, and signal design for wireless systems. Her work bridges theoretical cryptography with practical implementations for embedded devices and RFID systems. Recent Trends in Publications: Focus on zero-knowledge proofs (zkSNARKs), secure blockchain frameworks, relay attack detection, and optimized cryptographic algorithms. Recent work explores privacy-preserving protocols for high-dimensional data and secure hardware implementations of lightweight ciphers. Awards: 2023 George Boole International Prize 2016 Research Excellence Award (UWaterloo) 2006 Outstanding Performance Award (UWaterloo) Multiple fellowships and recognitions in China and Italy Teaching & Mentorship: Teaches courses like ECE 409 (Cryptography), ECE 628 (Network Security), and ECE 614 (Communications). Actively supervises graduate students in cybersecurity and wireless systems. Current openings for graduate applications. Labs & Collaborations: Leads research on secure IoT systems, blockchain integration, and hardware-software co-design for cryptographic primitives. Collaborations include projects with NIST and industry partners for lightweight cipher implementations.

• Combinatorics
• Number Theory
• Discrete Mathematics
• +۳ مورد دیگر

Pavel Shuldiner is a Research Fellow (Postdoctoral Fellow) at the University of Waterloo, working under the supervision of Wayne Oldford. His appointment spans from May 1, 2023, to October 31, 2024. He can be reached at pavel.shuldiner@uwaterloo.ca and is located in room M3 3102. Shuldiner's research focuses on advanced combinatorial problems, number theory, and discrete mathematics. His work explores topics such as clique covers in graph theory, modular arithmetic properties of partitions, and noncommutative symmetric functions. His recent studies include investigations into Bernoulli sums and their probabilistic interpretations, as well as the structural characterization of colored m-ary partitions. His publications reflect a deep engagement with theoretical mathematics, spanning from extremal graph theory to algebraic combinatorics. He has contributed to understanding residue classes of partition numbers and developing Pieri rule-based frameworks for Schur-like bases in noncommutative symmetric function spaces. Shuldiner has not been listed as having formal advisees, but his research aligns with collaborative efforts in combinatorics and theoretical computer science. His work is supported through his postdoctoral fellowship under Oldford’s supervision, though specific grants are not detailed in the provided information.

• Number Theory
• Modular Group
• Dynamical Systems
• +۵ مورد دیگر

Muhammed Uludag is a Professor of Mathematics at Galatasaray University, specializing in number theory, dynamical systems, and algebraic geometry. His work often intersects with modular group theory, transfer operators, and complex analysis. He is a co-organizer of significant mathematical events like the Journées Arithmétiques 2019 and has contributed to projects such as TEMOG, exploring connections between mapping class groups and Thompson's groups. Research Interests: Dr. Uludag focuses on the modular group, the conumerator function, and the involution 'jimm,' which explores symmetries in Lebesgue's measure and transcendental number theory. His recent work includes studies on dynamical systems related to continued fractions, binary quadratic forms, and Teichmüller theory. He actively collaborates on projects like InfoMod, a computational tool for Gauss' binary quadratic forms. Publications: Over 20 peer-reviewed articles span topics from measure theory to geometric group theory. Notable works include A subtle symmetry of Lebesgue's measure (2017) and Jimm, a fundamental involution (2015), exploring exotic involutions and transcendental conjectures. Awards: Recipient of the Turkish Academy of Sciences Award (2010) for translating Proofs From The Book into Turkish, a seminal text in mathematical exposition. Teaching & Outreach: Teaches advanced courses such as Ergodic Theory and contributes to initiatives like the Istanbul Graduate School of Mathematics. His work bridges pure mathematics with pedagogical innovation, emphasizing conceptual clarity over technicality.

• Automated Reasoning
• Formal Methods
• Theorem Proving
• +۳ مورد دیگر

Johannes Schoisswohl is a PreDoc Researcher at TU Wien's Department of Formal Methods in Systems Engineering. His research focuses on automated reasoning, theorem proving, and formal methods in computer science. He is involved in projects such as ForSmart (2023–2027) and SFB SPyCoDe (2023–2026), exploring topics like quantifier elimination, unification algorithms, and decision procedures for arithmetic systems. His work bridges theoretical foundations with practical applications in automated deduction and formal verification. Education: Diplom-Ingenieur (Dipl.-Ing.) and Bachelor of Science (BSc). His academic contributions include seminal papers on conflict-driven quantifier elimination (VIRAS framework), superposition-based reasoning with delayed unification, and inductive benchmarks for automated systems. His research emphasizes improving automated reasoning tools for real-world verification challenges. Notable projects include contributions to the ALASCA system for quantified linear arithmetic and the development of reflection-based techniques for automating induction. His publications span conferences like CADE, LPAR, and CICM, showcasing advancements in formal methods and logic-based AI.

• Cryptography
• Computer Security
• Data Compression
• +۳ مورد دیگر

Stefano Trevisani is a PreDoc Researcher at the Security and Privacy department of Technische Universität Wien (E192-06). His research focuses on cryptography, computer security, and mathematical logic. Key areas include arithmetization-oriented hashing, compression functions, and algebraic structures like branching interval algebra. Cryptography Computer Security Data Compression Algebra Computational Complexity Trevisani’s publications highlight innovations in secure hashing algorithms (e.g., Arion permutation) and theoretical advancements in branching algebra fragments. His work bridges applied cryptographic protocols with foundational mathematical logic. He contributes to the SFB SPyCoDe project (2023–2026), focusing on secure systems and cryptographic efficiency. Contact: stefano.trevisani@tuwien.ac.at .

Francesca Balestrieriمشاهده پروفایل

استادیار

• Arithmetic Geometry
• Number Theory
• Philosophy of Mathematics
• +۳ مورد دیگر

Francesca Balestrieri is an Assistant Professor in the Department of Computer Science, Mathematics, and Environmental Science at the American University of Paris (AUP). She holds a DPhil in Arithmetic Geometry from the University of Oxford (2017) and a Laurea Magistrale in Scienze Filosofiche from Ca' Foscari University of Venice (2020). Her research focuses on arithmetic geometry, specifically rational points and zero-cycles on algebraic varieties, with interdisciplinary interests in philosophy and artificial intelligence. She has held postdoctoral positions at the Max Planck Institute for Mathematics in Bonn and a Marie Curie Fellowship at IST Austria. She teaches courses in mathematics, data science, and AI at AUP. PhD: DPhil in Arithmetic Geometry, University of Oxford (2013–2017) MSc: Mathematics and Foundations of Computer Science, University of Oxford (2012–2013) BA/MA: Mathematical Tripos, University of Cambridge (2009–2012) Her research bridges pure mathematics with applied fields like technology policy, reflected in her co-authored books *Guerra digitale* (2019) and *Tecnologie dell'impero* (2024), analyzing tech geopolitics. Recent work includes studies on Brauer-Manin obstructions, Campana points, and AI applications. She also explores the philosophy of mathematics, particularly Wittgenstein’s rule-following paradox. Notable awards include the 2-year Marie Curie Individual Fellowship (2019–2021). She actively contributes to teaching, including courses on calculus, statistics, and probability, while leading projects on AI ethics and machine learning applications in speech editing and environmental modeling.

Keith Devlinمشاهده پروفایل

استاد مدعو

• Mathematics Education
• Science Outreach
• Information Theory
• +۴ مورد دیگر

Keith Devlin is an Adjunct Professor of Mathematics Education and Science Outreach at the University of Southern Denmark's Department of Mathematics and Computer Science, appointed in 2022. He is renowned for his dual role as a mathematician and science communicator, popularly known as 'The Math Guy' on American National Public Radio. With a PhD from the University of Bristol (1971), he has held academic positions at institutions like Stanford University, King's College London, and the University of Lancaster, and led initiatives such as the Stanford Mathematics Outreach Project. His research focuses on applying mathematical thinking to information theory, communication models, reasoning systems, and mathematics education. He has authored over 80 articles and 29 books, including influential works like The Millennium Problems and Introduction to Mathematical Thinking . Notable awards include the Carl Sagan Prize for Science Popularization (2007) and the American Mathematical Society Fellowship (2012). Devlin’s outreach efforts bridge academia and the public, including co-founding the Human-Sciences and Technologies Advanced Research Institute (H-STAR) and the BrainQuake educational gaming company. His work emphasizes the societal role of mathematics, blending rigorous scholarship with accessible communication.

Mustafa Altunمشاهده پروفایل

استاد

• Nano-crossbar Arrays
• Switching Lattices
• Logic Synthesis
• +۷ مورد دیگر

Mustafa Altun is a Professor at Istanbul Technical University in the Department of Electronics and Communication Engineering. With an h-index of 11 and 78 research outputs, he has established himself as a prominent researcher in electronics engineering and neural network hardware implementations. His research focuses on key areas including: Nano-crossbar Arrays and Switching Lattices Logic Synthesis and Boolean Function Realization Neural Network Hardware Implementation Low-voltage Circuit Design Fault Tolerant Computing Electrodeposition for Li-ion Battery Anodes Dr. Altun's recent work demonstrates a strong emphasis on energy-efficient hardware implementations of artificial neural networks using approximate arithmetic blocks to reduce power consumption while maintaining acceptable accuracy levels. His research on silicon anode electrodeposition has explored how artificial light-induced processes can increase silicon loading for improved battery performance. These dual research directions reflect his commitment to advancing both computing hardware and energy storage technologies. His scientific achievements have been recognized with prestigious awards including the ODTÜ Mustafa N. Parlar Research Incentive Award (2022), EU H2020 Success Award (2015), and the Young Scientist Award (2020). His work has been supported by multiple projects funded by TUBITAK and SRP. Dr. Altun has supervised 16 students according to available data and has led numerous research projects focusing on novel circuit architectures for efficient computing, particularly in neural networks and fault-tolerant systems. His laboratory work continues to push the boundaries of nano-crossbar array computing and its practical applications.

• Number Theory
• Algebraic Geometry
• Modular Forms
• +۳ مورد دیگر

Josep Gonzalez Rovira is a Professor at the Universitat Politècnica de Catalunya (UPC), affiliated with the Departament de Matemàtiques at the Escola Politècnica Superior d'Enginyeria de Vilanova i la Geltrú (EPSEVG). His research focuses on Number Theory, Algebraic Geometry, and computational aspects of modular forms and curves. He is a core member of the STNB (Seminari de Teoria de Nombres de Barcelona) research group, contributing to projects like 'Aritmética de funciones L y estructuras de Galois' and 'Técnicas computacionales en teoría de números.' Key research interests include modular curves, elliptic curves, Q-curves, automorphism groups, and applications to cryptography. He has authored over 80 publications, including studies on division polynomials, bielliptic curves, and Frobenius distributions. His work often intersects computational methods, as seen in projects involving SageMath and collaborations on hyperelliptic curves. Josep has advised doctoral students like Santiago Molina (2011) and contributed to grants funded by Spain's Plan Nacional and Catalan agencies. His academic contributions include editorial roles in journals like Experimental Mathematics and Publicacions Matemàtiques , reflecting his leadership in advancing algebraic number theory and arithmetic geometry.

Kevin Woodsمشاهده پروفایل

استاد

• Mathematics
• Theoretical Computer Science
• Integer Points in Polyhedra
• +۴ مورد دیگر

Kevin Woods is a Professor of Mathematics at Oberlin College, where he has taught since 2006. His research focuses on the intersection of mathematics and theoretical computer science, particularly integer points in polyhedra, generating functions, and combinatorial problems. He has authored numerous publications in prestigious journals and conferences, including Discrete & Computational Geometry, SIAM Journal on Discrete Mathematics, and the American Mathematical Monthly. His work often involves collaborations with researchers like Tristram Bogart and John Goodrick, exploring topics such as numerical semigroups, Presburger arithmetic, and quasi-polynomial behavior. Woods has also contributed to expository writing, including a book review on symmetry in mathematical exploration. Educated at Wake Forest University (undergraduate), the University of Michigan (PhD), and as a postdoc at UC Berkeley, Woods emphasizes both research and teaching. He has developed notable lecture notes for courses like 'The Mathematics of Social Choice' and has taught a wide range of undergraduate and graduate mathematics courses at Oberlin College. His GitHub repository highlights computational tools related to his research on numerical semigroups. Woods' research spans algebraic combinatorics, discrete geometry, and algorithmic mathematics, with applications to problems in optimization and computational complexity. His contributions to parametric Presburger arithmetic and quasi-polynomial counting methods have had significant impacts in both pure and applied mathematical domains.

Peter Kochمشاهده پروفایل

دانشیار

• Electronics
• Signal Processing
• Digital Filters
• +۳ مورد دیگر

Peter Koch is an Associate Professor at the Department of Electronic Systems, Aalborg University, affiliated with The Technical Faculty of IT and Design. His expertise spans Electronics, Signal Processing, and Software Defined Radio. He holds a PhD in Electronic Engineering (1996) and an MSc in Electronic Engineering (1989). Research focuses on digital filters, superconducting circuits, and embedded systems. Notable projects include SENSATION (self-sustaining computation systems) and GATOSS (air traffic optimization via satellite surveillance). He received the 2020 Teacher of the Year award at the Faculty of Engineering and Science. Key projects: 19 initiatives since 2001 Publications: 82 works, including 2025 Journal of Instrumentation study on superconducting circuits Active in IEEE and EURASIP conferences Advises 1 PhD student and contributes to interdisciplinary collaborations in superconductivity and AI-driven signal processing.

• Arithmetic Geometry
• Algebraic Number Theory
• Number Theory
• +۲ مورد دیگر

Saikat Biswas is an Assistant Professor of Instruction in the Department of Mathematical Sciences at the University of Texas at Dallas (UTD), part of the School of Natural Sciences and Mathematics. His research focuses on Arithmetic Geometry and Algebraic Number Theory. He holds a PhD and MS in Pure Mathematics from Florida State University (2011 and 2009, respectively) and an MSc in Pure Mathematics from the University of St Andrews (2005). Research Interests: Biswas specializes in advanced topics such as Neron models, Jacobians, Brauer groups, Tamagawa torsors, and the Shafarevich-Tate group, contributing to foundational areas of algebraic geometry and number theory. His work bridges theoretical frameworks with computational methods in arithmetic structures. Awards: He received the Dwight B Goodner Fellowship for Excellence in Teaching from Florida State University in 2011, recognizing his pedagogical contributions. Professional Appointments: Prior to UTD (2023–Present), he served as an Instructional Assistant Professor at Texas A&M University (2017–2023), Research Assistant Professor at Arizona State University (2014–2017), and held roles at the University of Minnesota at Morris (2013–2014) and Georgia Institute of Technology (2011–2013). Labs/Teams: No specific labs or teams explicitly mentioned in the provided text.

• Positioning Systems
• Optical Engineering
• Sensors Technology
• +۵ مورد دیگر

Elena Aparicio Esteve is a Lecturer in the Department of Electronics at the University of Alcalá. She holds a PhD in Electronics from the same institution, awarded in 2022 for her thesis on '3D positioning system with optical sensors using encoding techniques', supervised by Dr. Jesús Ureña Ureña and Dr. Álvaro Hernández Alonso. She is a core member of the GEINTRA research group, which focuses on Electronic Engineering applied to Intelligent Spaces and Transport. Her research interests center on optical positioning systems, sensor technology, and embedded systems design. Key areas include infrared and visible light positioning, multi-sensor fusion, and high-rate data acquisition architectures. Recent work emphasizes system-on-chip (SoC) design for positioning systems and optimization of quadrant photodiode-based receivers. Notable contributions include developing datasets for visible light positioning systems (QUAPOS), infrared local positioning architectures, and hybrid infrared-ultrasonic positioning solutions. Her publications span 2018–2025, with strong focus on practical implementations and hardware-software co-design. Active collaborations include contributions to the NEWFOCUS COST Action on optical wireless communication technologies. Her technical expertise spans signal processing, embedded system implementation, and sensor calibration. Current research trends involve integrating machine learning techniques with traditional positioning algorithms to enhance accuracy and robustness in dynamic environments.

Yuri Santos Regoمشاهده پروفایل

مدرس

• Geometric Group Theory
• Algebraic Topology
• Cohomological Finiteness Conditions
• +۵ مورد دیگر

Yuri Santos Rego is a Lecturer at the University of Lincoln, affiliated with the Charlotte Scott Research Centre for Algebra. Previously, he was a research assistant at Otto-von-Guericke University Magdeburg, associated with Prof. Petra Schwer’s Geometry Group and the MathCoRe research training group. He holds a PhD from Universität Bielefeld (2019) under Kai-Uwe Bux, a Master’s from Universidade Estadual de Campinas (2014), and a Bachelor’s from Universidade de Brasília (2011). His research focuses on geometric group theory, exploring properties of spaces and their symmetries, with particular interests in Coxeter groups, Thompson’s groups, cohomological finiteness, and algorithmic questions. Education: PhD in Mathematics (2019), Universität Bielefeld Master’s in Mathematics (2014), Universidade Estadual de Campinas Bachelor’s in Mathematics (2011), Universidade de Brasília His research interests span group theory, topology, and formal methods. Notable contributions include studies on Coxeter groups, arithmetic groups, and Reidemeister numbers. He has organized major conferences like the Young Geometric Group Theory XI (2023) and the GoTh Workshop (2023). His work bridges algebraic structures, geometric interpretations, and computational approaches, with applications to knot theory and spatial graphs. He also explores formal methods in mathematics, including proof assistants and cryptographic protocol verification. Grants & Funding: Supported by SPP2026 (Geometry at Infinity), MathCoRe, and NSF grants. Active in organizing events and editorial roles for the LMS Newsletter. Labs/Teams: Geometry Group (Magdeburg), MathCoRe (Magdeburg), and currently part of the Algebra research group at Lincoln.